From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest., , , , и . Validation of Evolving Software, Springer, (2015)On the Integration of Software Testing and Formal Analysis., , и . LASER Summer School, том 7007 из Lecture Notes in Computer Science, стр. 158-193. Springer, (2010)Facilitating program performance profiling via evolutionary symbolic execution., , , и . Softw. Test. Verification Reliab., (2020)Classification methods and inductive learning rules: what we may learn from theory., и . IEEE Trans. Syst. Man Cybern. Syst., 36 (5): 649-655 (2006)A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications.. Peer-to-Peer Computing, стр. 165-166. IEEE Computer Society, (2002)An industrial case study of the effectiveness of test generators., , , , и . AST, стр. 50-56. IEEE Computer Society, (2012)About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance"., , , , , и . J. Softw. Evol. Process., (2022)A Survey of Field-based Testing Techniques., , , , , , , , , и 1 other автор(ы). ACM Comput. Surv., 54 (5): 92:1-92:39 (2022)On calculi for context-aware systems.. Polytechnic University of Milan, Italy, (2004)SUSHI: a test generator for programs with complex structured inputs., , , и . ICSE (Companion Volume), стр. 21-24. ACM, (2018)