An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering
Automatically finding performance problems with feedback-directed learning software testing
Proceedings of the 34th International Conference on Software Engineering
CarFast: achieving higher statement coverage faster
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Hi-index | 0.00 |
A technique of automatically generating random software test cases is described. The nature of such test cases ensures that they will execute to completion, and their execution is predicted at the time of generation. Wherever possible the test cases are self-checking. At run-time their execution is compared witht he predicted execution. Also described are implementations of the technique that have been used to test various IBM programs-- PL/I language processors, sort/merge programs, and Graphical Data Display Manager alphanumeric and graphics support.