共 50 条
- [31] Automated Test Generation on Path-based Symbolic Execution 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 845 - 848
- [32] Data dependence based testability transformation in automated test generation 16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 245 - 254
- [33] Automated verification of model transformations based on visual contracts Automated Software Engineering, 2013, 20 : 5 - 46
- [36] Model based automated visual inspection of groove surfaces TECHNISCHES MESSEN, 1997, 64 (10): : 387 - 393
- [38] Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, (SERENE 2016), 2016, 9823 : 117 - 132
- [39] Automated test model generation from switch level custom circuits ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 184 - 187
- [40] An automated method for test model generation from switch level circuits ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 769 - 774