A
Antonia Bertolino
Researcher at Istituto di Scienza e Tecnologie dell'Informazione
Publications - 228
Citations - 5473
Antonia Bertolino is an academic researcher from Istituto di Scienza e Tecnologie dell'Informazione. The author has contributed to research in topics: Test case & Test suite. The author has an hindex of 36, co-authored 228 publications receiving 5017 citations. Previous affiliations of Antonia Bertolino include National Research Council.
Papers
More filters
Proceedings ArticleDOI
Software Testing Research: Achievements, Challenges, Dreams
TL;DR: A consistent roadmap of the most relevant challenges to be addressed in software testing research is proposed, constituted by some important past achievements, while the destination consists of four identified goals to which research ultimately tends, but which remain as unreachable as dreams.
Proceedings ArticleDOI
Automatic synthesis of behavior protocols for composable web-services
TL;DR: A method to automatically derive from the web-service signature an automaton modeling its behavior protocol, called StrawBerry, which combines synthesis and testing techniques and is practical and realistic.
Journal ArticleDOI
Using spanning sets for coverage testing
Martina Marré,Antonia Bertolino +1 more
TL;DR: This paper provides a generic algorithm to find spanning sets for control flow and data flow-based test coverage criteria and suggests several useful applications of spanning sets that help reduce and estimate the number of test cases needed to satisfy coverage criteria.
Proceedings ArticleDOI
WS-TAXI: A WSDL-based Testing Tool for Web Services
TL;DR: An early-stage implementation of WS-TAXI is presented, obtained by the integration of two existing softwares: soapUI, a popular tool for WS testing, and TAXI, an application previously developed for the automated derivation of XML instances from a XML schema.
Journal ArticleDOI
Using software architecture for code testing
TL;DR: This research exploits the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors, using labeled transition systems called ALTSs.