Cited By
View all- Beyer DLemberger T(2025)Six years later: testing vs. model checkingInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00769-8Online publication date: 16-Jan-2025
- Cheng ZWu TSchrammel PTihanyi Nde Lima Filho ECordeiro LChristakis MPradel M(2024)JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model CheckingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3685303(1831-1835)Online publication date: 11-Sep-2024
- Leeson WDwyer M(2024)Algorithm Selection for Software Verification Using Graph Neural NetworksACM Transactions on Software Engineering and Methodology10.1145/363722533:3(1-36)Online publication date: 14-Mar-2024
- Show More Cited By