共 50 条
- [1] Efficient Generation of Test Data with Extended Cardinality Constraints 2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019), 2019, : 386 - 393
- [2] Prioritized constraints with data sampling scores for automatic test data generation SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 1129 - 1134
- [3] The Algorithm to Solve Equation Constraints in Automatic Test Data Generation 1740, Institute of Computing Technology (29):
- [4] Search-Based MC/DC Test Data Generation With OCL Constraints SOFTWARE TESTING VERIFICATION & RELIABILITY, 2025, 35 (01):
- [5] Specification analysis and test data generation by solving Boolean combinations of numeric constraints FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 267 - 274
- [6] Functional Test Generation with Distribution Constraints HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6405 : 34 - 51
- [8] Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques INFORMATION TECHNOLOGY AND CONTROL, 2013, 42 (02): : 191 - 204
- [10] Test generation in the presence of timing exceptions and constraints 2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 688 - +