Cited in
(7)- COSTABS
- SACO
- AlgoWiki
- Resource-usage-aware configuration in software product lines
- Understanding parameters of deductive verification: an empirical investigation of KeY
- Influence of noisy environments on behavior of HPC applications
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
This page was built for software: SPL Conqueror
