Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Software Testing (2nd Edition)
Software Testing (2nd Edition)
Utilizing Formalization to Test Programs without Available Source Code (Short Paper)
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
A study on software component selection methods
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
A Survey of Model-Driven Testing Techniques
QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
Specification-based testing begins with the documentation of customers' requirements. This informal depiction of requirements needs to undergo formalization for effective test case generation to corroborate specification-based testing so as to catapult validation testing. In this paper, we discuss a credible approach for test suite generation by formalizing the informal requirements that further proves prolific in pioneering effective test case generation. The endeavor is directed towards testing software in the absence of source code.