共 50 条
- [42] Automated validation of software models 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 91 - 96
- [44] Automated support of software maintenance Information and Software Technology, 1991, 33 (01): : 74 - 85
- [47] A Software Framework for Automated Verification APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1031 - +
- [49] SoK: Automated Software Diversity 2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 276 - 291
- [50] AUTOMATED APPLICATION SOFTWARE GENERATOR AUTOTESTCON 89 CONFERENCE RECORD: SYSTEMS READINESS TECHNOLOGY CONFERENCE - AUTOMATIC TESTING IN THE NEXT DECADE & THE 21ST CENTURY, 1989, : 175 - 180