About this Business, Management and Accounting article
A Unified Framework for Evaluating Test Criteria in Model-checking-assisted Test Case Generation by Zeng, Bolong; Tan, Li is a Business, Management and Accounting article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Business, Management and Accounting.
- Author
- Zeng, Bolong; Tan, Li
- Publisher
- Springer US; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC; Society for Mining, Metallurgy and Exploration Inc. (ISSN 1387-3326)
- Published
- 2014
- Language
- EN
- Field
- Business, Management and Accounting (Social Sciences)