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
Author(s)

Equivalent mutants : deductive verification to the rescue

Source
Software Testing, Verification, and Validation, ICST, International Conference on - ISSN 2159-4848- () p. 326-336
Author(s)

Automating software re-engineering introduction to the ISoLA 2024 track

Source
Lecture notes in computer science-15222 (2025) p. 23-29
Author(s)