publications
publications by categories in reversed chronological order.
2020
- ATHENA: A Framework based on Diverse Weak Defenses for Building Adversarial DefensearXiv 2020
- Understanding the Impact of Solver Choice in Model-Based Test GenerationInternational Symposium on Empirical Software Engineering and Measurement 2020
2019
2018
- Ensuring the observability of structural test obligationsIEEE Transactions on Software Engineering 2018
- Investigating faults missed by test suites achieving high code coverageJournal of Systems and Software 2018