Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Braione, Pietro"'
Autor:
Braione, Pietro, Denaro, Giovanni
Symbolic execution is at the core of many techniques for program analysis and test generation. Traditional symbolic execution of programs with numeric inputs enjoys the property of forking as many analysis traces as the number of analyzed program pat
Externí odkaz:
http://arxiv.org/abs/2407.16827
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while control
Externí odkaz:
http://arxiv.org/abs/2209.11138
Publikováno v:
In The Journal of Systems & Software May 2023 199
Autor:
BERTOLINO, ANTONIA1 antonia.bertolino@isti.cnr.it, BRAIONE, PIETRO2 pietro.braione@unimib.it, DE ANGELIS, GUGLIELMO3 guglielmo.deangelis@iasi.cnr.it, GAZZOLA, LUCA2 luca.gazzola@disco.unimib.it, KIFETEW, FITSUM4 kifetew@fbk.eu, MARIANI, LEONARDO2 leonardo.mariani@unimib.it, ORRÙ, MATTEO2 matteo.orru@unimib.it, PEZZÈ, MAURO5,6 mauro.pezze@usi.ch, PIETRANTUONO, ROBERTO7 roberto.pietrantuono@unina.it, RUSSO, STEFANO7 sterusso@unina.it, TONELLA, PAOLO8 paolo.tonella@usi.ch
Publikováno v:
ACM Computing Surveys. Jun2022, Vol. 54 Issue 5, p1-39. 39p.
Autor:
Bertolino, Antonia, Braione, Pietro, De Angelis, Guglielmo, Gazzola, Luca, Fitsum Kifetew, Mariani, Leonardo, Orrù, Matteo, Pezzè, Mauro, Pietrantuono, Roberto, Russo, Stefano, Tonella, Paolo
Field testing refers to testing techniques that operate in the field to reveal those faults that escape in-house testing. Field testing techniques are becoming increasingly popular with the growing complexity of contemporary software systems. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d29099c6e10d3993ae215e2effc91573
Publikováno v:
Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica e patrimonio digitale
Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica e patrimonio digitale, pp.31-47, 2020, 978-88-97657-38-5
Studi AISV, 6, 31-47
Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica e patrimonio digitale, pp.31-47, 2020, 978-88-97657-38-5
Studi AISV, 6, 31-47
SIGN-HUB is a European project involving collaborators from seven countries funded within the Horizon 2020 Research and Innovation program. The scope of the project is both socio-cultural and linguistic, as its aim is to document and preserve the cul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2c88e23e5801d1beb926a1acdbc3b4a
https://hal.archives-ouvertes.fr/hal-03049351/document
https://hal.archives-ouvertes.fr/hal-03049351/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ICSE: International Conference on Software Engineering; 5/27/2018, p21-24, 4p
Integrating tools in a complex plugin ecosystem eases software development as it allows to reuse functionalities available in the ecosystem. On the other hand, the plugin developer must take care of not relying on assumptions on environment behaviors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::ed248472c9e5333a89693928139ade15
http://hdl.handle.net/10281/37621
http://hdl.handle.net/10281/37621