المؤلفون: Bombarda, Andrea, Gargantini, Angelo

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2311.03016Test

المؤلفون: Bombarda, Andrea, Gargantini, Angelo

المساهمون: Bombarda, Andrea, Gargantini, Angelo Michele

مصطلحات موضوعية: Combinatorial testing, Benchmark, Test generator, Validation, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001138940200001; volume:209; issue:Art. n. 111920; firstpage:1; lastpage:13; journal:THE JOURNAL OF SYSTEMS AND SOFTWARE; https://hdl.handle.net/10446/265589Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85183423736

الإتاحة: https://doi.org/10.1016/j.jss.2023.111920Test
https://hdl.handle.net/10446/265589Test

المؤلفون: Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia

المصدر: EPTCS 349, 2021, pp. 13-29

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2111.08204Test

المؤلفون: Bombarda, Andrea, Bonfanti, Silvia, De Sanctis, Martina, Gargantini, Angelo, Pelliccione, Patrizio, Riccobene, Elvinia, Scandurra, Patrizia

المساهمون: PNRR - ANTHEM, Italian Ministry of University and Research

المصدر: IEEE Transactions on Software Engineering ; volume 50, issue 4, page 995-1014 ; ISSN 0098-5589 1939-3520 2326-3881

مصطلحات موضوعية: Software

الإتاحة: https://doi.org/10.1109/tse.2024.3374382Test
http://xplorestaging.ieee.org/ielx7/32/10504688/10466433.pdf?arnumber=10466433Test

المؤلفون: Ahmed, Bestoun S., Gargantini, Angelo, Bures, Miroslav

المصدر: ICST2020 and INTUITESTBEDS2020 Workshop

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2002.00404Test

المؤلفون: Gargantini, Angelo

المساهمون: Gargantini, Angelo Michele, Garn, Bernhard

مصطلحات موضوعية: Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/979-8-3503-3335-0; ispartofbook:2023 IEEE International Conference on Software Testing, Verification and Validation Workshops Proceedings; firstpage:20; lastpage:20; https://hdl.handle.net/10446/262271Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85163084983

الإتاحة: https://doi.org/10.1109/ICSTW58534.2023.00012Test
https://hdl.handle.net/10446/262271Test

المؤلفون: Ahmed, Bestoun S., Gargantini, Angelo, Zamli, Kamal Z., Yilmaz, Cemal, Bures, Miroslav, Szeles, Marek

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/1907.09029Test

المؤلفون: André, Étienne, Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1907.02133Test

المؤلفون: Bonfanti, Silvia, Gargantini, Angelo, Scandurra, Patrizia

المساهمون: Tapia Tarifa, Silvia Lizeth, Proença, José, Bonfanti, Silvia, Gargantini, Angelo Michele, Riccobene, Elvinia, Scandurra, Patrizia

مصطلحات موضوعية: Abstract state machine, Mechanical ventilator milano, Models co-simulation, Models composition, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-20871-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000897928200001; ispartofbook:Formal Aspects of Component Software. 18th International Conference, FACS 2022. Virtual Event, November 10–11, 2022. Proceedings; FACS 2022: 18th International Conference on Formal Aspects of Component Software, Virtual Event, 10–11 November 2022; volume:13712; firstpage:3; lastpage:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Tapia Tarifa, Silvia Lizeth; Proença, José; https://hdl.handle.net/10446/235471Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142747424

الإتاحة: https://doi.org/10.1007/978-3-031-20872-0_1Test
https://hdl.handle.net/10446/235471Test

المؤلفون: Bonfanti, Silvia, Gargantini, Angelo

المساهمون: Gehin, Claudine, Wacogne, Bruno, Douplik, Alexandre, Lorenz, Ronny, Bracken, Bethany, Pesquita, Cátia, Fred, Ana, Gamboa, Hugo, Bonfanti, Silvia, Gargantini, Angelo Michele

مصطلحات موضوعية: Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-20663-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000929573600008; ispartofbook:Biomedical Engineering Systems and Technologies: 14th International Joint Conference, BIOSTEC 2021, Virtual Event, February 11–13, 2021, Revised Selected Papers; BIOSTEC 2021: 14th International Joint Conference Biomedical Engineering Systems and Technologies, Virtual Event, 11-13 Febraury 2021; volume:1710; firstpage:139; lastpage:157; serie:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Gehin, Claudine; Wacogne, Bruno; Douplik, Alexandre; Lorenz, Ronny; Bracken, Bethany; Pesquita, Cátia; Fred, Ana; Gamboa, Hugo; https://hdl.handle.net/10446/240549Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85147984990

الإتاحة: https://doi.org/10.1007/978-3-031-20664-1_8Test
https://hdl.handle.net/10446/240549Test