共 20 条
- [1] [Anonymous], 2005, PROC GECCO
- [2] Validation of Models and Tests for Constrained Combinatorial Interaction Testing [J]. 2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 98 - 107
- [3] International Competition on Software Testing (Test-Comp) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 167 - 175
- [4] Biere Armin, 2008, Journal on Satisfiability, Boolean Modeling and Computation (JSAT), V4, P75, DOI 10.3233/sat190039
- [5] An extensible SAT-solver [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 502 - 518
- [6] Efficient combinatorial test generation based on multivalued decision diagrams [J]. Gargantini, Angelo (angelo.gargantini@unibg.it), 1600, Springer Verlag (8855): : 220 - 235
- [7] Gargantini A, 2015, 2015 IEEE 8 INT C SO
- [8] Migrating combinatorial interaction test modeling and generation to the web [J]. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 308 - 317
- [10] An Improved Meta-Heuristic Search for Constrained Interaction Testing [J]. 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 13 - 22