|
|||||
|
|
Automated generation of test suites from formal specifications of real-time reactive systems |
|
| Authors: | Mao Zheng Vasu Alagar Olga Ormandjieva |
| Affiliation: | a Department of Computer Science, University of Wisconsin-LaCrosse, La Crosse, WI 54601, USA b Department of Computer Science, Concordia University, Montreal, Quebec, Canada H3G 1M8 |
| Abstract: | |
| Keywords: | Specification-based testing Fault models Real-time reactive systems Test adequacy Metric-based test selection Optimal test selection |
| 本文献已被 ScienceDirect 等数据库收录！ | |