Segui
Antonia Bertolino
Antonia Bertolino
ISTI-CNR
Email verificata su isti.cnr.it
Titolo
Citata da
Citata da
Anno
Software testing research: Achievements, challenges, dreams
A Bertolino
Future of Software Engineering (FOSE'07), 85-103, 2007
13842007
An orchestrated survey of methodologies for automated software test case generation
S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ...
Journal of systems and software 86 (8), 1978-2001, 2013
9832013
Using spanning sets for coverage testing
M Marré, A Bertolino
IEEE Transactions on Software Engineering 29 (11), 974-984, 2003
1912003
WS-TAXI: A WSDL-based testing tool for web services
C Bartolini, A Bertolino, E Marchetti, A Polini
2009 International Conference on Software Testing Verification and …, 2009
1832009
Automatic synthesis of behavior protocols for composable web-services
A Bertolino, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the 7th joint meeting of the European software engineering …, 2009
1802009
Automatic generation of path covers based on the control flow analysis of computer programs
A Bertolino, M Marré
IEEE Transactions on Software Engineering 20 (12), 885-899, 1994
1741994
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
1662004
On the use of testability measures for dependability assessment
A Bertolino, L Strigini
IEEE Transactions on Software Engineering 22 (2), 97-108, 1996
1561996
The cow_suite approach to planning and deriving test suites in UML projects
F Basanieri, A Bertolino, E Marchetti
≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002
1432002
FAST approaches to scalable similarity-based test case prioritization
B Miranda, E Cruciani, R Verdecchia, A Bertolino
Proceedings of the 40th International Conference on Software Engineering …, 2018
1362018
The audition framework for testing web services interoperability
A Bertolino, A Polini
31st EUROMICRO Conference on Software Engineering and Advanced Applications …, 2005
1362005
CB-SPE Tool: Putting component-based performance engineering into practice
A Bertolino, R Mirandola
International Symposium on Component-Based Software Engineering, 233-248, 2004
1252004
Use case-based testing of product lines
A Bertolino, S Gnesi
ACM SIGSOFT Software Engineering Notes 28 (5), 355-358, 2003
1162003
Pluto: A test methodology for product families
A Bertolino, S Gnesi
International Workshop on Software Product-Family Engineering, 181-197, 2003
1152003
What is the vocabulary of flaky tests?
G Pinto, B Miranda, S Dissanayake, M d'Amorim, C Treude, A Bertolino
Proceedings of the 17th International Conference on Mining Software …, 2020
1112020
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
1102000
Learning-to-rank vs ranking-to-learn: Strategies for regression testing in continuous integration
A Bertolino, A Guerriero, B Miranda, R Pietrantuono, S Russo
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
1062020
Model-based generation of testbeds for web services
A Bertolino, G De Angelis, L Frantzen, A Polini
International Workshop on Formal Approaches to Software Testing, 266-282, 2008
1042008
Audition of web services for testing conformance to open specified protocols
A Bertolino, L Frantzen, A Polini, J Tretmans
Architecting Systems with Trustworthy Components: International Seminar …, 2006
1002006
Introducing a reasonably complete and coherent approach for model-based testing
A Bertolino, E Marchetti, H Muccini
Electronic Notes in Theoretical Computer Science 116, 85-97, 2005
962005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20