A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
HITS: a symbolic testing and debugging system for multilingual microcomputer software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
An experimental assessment of module documentation-based testing
Information and Software Technology
Hi-index | 4.10 |
Typical testing activities may involve many hundreds of tests. An automatic software test driver assists the tester by managing all of the test data, and automatically running the tests. Savings during regression testing can be significant.