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