共 50 条
- [31] Test Case Generation by Simulating Requirements Analysis Model 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 356 - +
- [35] A design validating methodology with control flow analysis EIGHTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2003, : 311 - 315
- [38] Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors 2023 36TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2023 22ND INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, VLSID, 2023, : 240 - 245
- [39] Sufficient Mutation Operators for Measuring Test Effectiveness ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 351 - 360
- [40] Measuring Software Testability via Automatically Generated Test Cases IEEE ACCESS, 2024, 12 : 63904 - 63916