Cross-system categorization of abnormal traces in microservice-based systems via meta-learning
Source
Proceedings FSE 2024 (ACM International Conference on the Foundations of Soft- ware Engineering) - ISSN 2994-970X-2:FSE (2025) p. 576-598
Towards improving automated testing with GraphWalker
Source
Software Testing, Verification, and Validation, ICST, International Conference on - ISSN 2159-4848- () p. 54-58
Equivalent mutants : deductive verification to the rescue
Source
Software Testing, Verification, and Validation, ICST, International Conference on - ISSN 2159-4848- () p. 326-336
Test amplification for REST APIs : using "out-of-the-box" Large Language Models
Source
IEEE software - ISSN 0740-7459-42:4 (2025) p. 43-49
Traceability support for engineering reviews of horizontal model evolution
Source
Systems engineering - ISSN 1098-1241- (2025) p.