共 50 条
- [1] AGENT - AN ADVANCED TEST-CASE GENERATION SYSTEM FOR FUNCTIONAL TESTING [J]. AFIPS CONFERENCE PROCEEDINGS, 1985, 54 : 525 - &
- [2] Adopting IoT Framework for Energy Management of Smart Building: A Real Test-Case [J]. 2015 IEEE 1ST INTERNATIONAL FORUM ON RESEARCH AND TECHNOLOGIES FOR SOCIETY AND INDUSTRY (RTSI 2015) PROCEEDINGS, 2015,
- [4] Technology of test-case generation [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 323 - 354
- [6] Automatic Test-Case Generation [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
- [7] Scheduling of transactions for system-level test-case generation [J]. EIGHTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2003, : 149 - 154
- [8] Test-Case Prioritization for Configuration Testing [J]. ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 452 - 465
- [9] Automatic Test-Case Generation with CoVeriTest [J]. TESTS AND PROOFS (TAP 2022), 2022, 13361 : 3 - 8