Author of the publication

Preface to the special section on improving software quality through formal methods.

, and . Softw. Qual. J., 28 (2): 693-694 (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compatibility and Regression Testing of COTS-Component-Based Software, , and . Proceedings of the International Conference on Software Engineering (ICSE), page 85-95. Los Alamitos, CA, USA, IEEE Computer Society, (2007)Healing Data Loss Problems in Android Apps., , and . CoRR, (2017)Predicting Failures in Multi-Tier Distributed Systems., , , and . CoRR, (2019)AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution., and . TOCE, 12 (1): 2:1-2:26 (2012)Achieving Cost-Effective Software Reliability Through Self-Healing., , , , and . Comput. Informatics, 29 (1): 93-115 (2010)A comprehensive study of code-removal patches in automated program repair., , , and . Empir. Softw. Eng., 27 (4): 97 (2022)Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment., , , , and . ICMLA, page 785-790. IEEE, (2021)Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment., , , , and . CoRR, (2021)Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants., , , and . CoRR, (2024)COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1., , , , , , , , , and 2 other author(s). CoRR, (2019)