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
- Frattini JMontgomery LFucci DUnterkalmsteiner MMendez DFischbach J(2024)Requirements quality research artifacts: Recovery, analysis, and management guidelineJournal of Systems and Software10.1016/j.jss.2024.112120216(112120)Online publication date: Oct-2024