共 50 条
- [32] Automated hardware IP generation for digital signal processing applications 2006 FORTIETH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, VOLS 1-5, 2006, : 1156 - +
- [33] SDL- and MSC-Based Specification and Automated Test Case Generation for INAP Telecommunication Systems, 2002, 20 : 265 - 290
- [34] Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 288 - 298
- [36] Requirements specification for automated fall and injury risk assessment CONSUMER-CENTERED COMPUTER-SUPPPORTED CARE FOR HEALTHY PEOPLE, 2006, 122 : 134 - +
- [38] Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications TESTS AND PROOFS, TAP 2011, 2011, 6706 : 84 - 101
- [39] Automated Test Case Generation from Correct and Complete System Requirements Models 2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 3144 - 3153
- [40] Waterfall and Agile Requirements-based Model for Automated Test Cases Generation 2015 IEEE SEVENTH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INFORMATION SYSTEMS (ICICIS), 2015, : 607 - 612