Cited By
View all- Lathouwers SLiu YZaytsev V(2025)Extract, model, refine: improved modelling of program verification tools through data enrichmentSoftware and Systems Modeling10.1007/s10270-024-01232-7Online publication date: 8-Jan-2025
- Beyer DChien PJankola MLee N(2024)A Transferability Study of Interpolation-Based Hardware Model Checking for Software VerificationProceedings of the ACM on Software Engineering10.1145/36607971:FSE(2028-2050)Online publication date: 12-Jul-2024
- Abualhaija SAydemir FDalpiaz FDell'Anna DFerrari AFranch XFucci D(2024)Replication in Requirements Engineering: The NLP for RE CaseACM Transactions on Software Engineering and Methodology10.1145/365866933:6(1-33)Online publication date: 27-Jun-2024
- Show More Cited By