共 50 条
- [41] Research on Framework of Test Case Generation of Web Applications Based on Z Specification 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 555 - 558
- [42] Specification test coverage adequacy criteria = specification test generation inadequacy criteria? EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 178 - 186
- [44] Visual software requirements specification based on communication model KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2000, 62 : 191 - 198
- [45] Test Generation for Subtractive Specification Errors 2012 IEEE 30TH VLSI TEST SYMPOSIUM (VTS), 2012, : 258 - 263
- [46] A Requirements Driven Digital Twin Framework: Specification and Opportunities IEEE ACCESS, 2020, 8 : 107781 - 107801
- [48] NL-Based Automated Software Requirements Elicitation and Specification ADVANCES IN COMPUTING AND COMMUNICATIONS, PT 2, 2011, 191 : 30 - +
- [49] Automated conversion from a requirements document to an executable formal specification 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 437 - 437