… , and can be automatically tested on random input, but it is also possible to define …, then random testing suffices to obtain good coverage of the definition under … the tool was successfully used, and also point out some pitfalls to avoid. Random …
ICFP 2000: 268-279 [doi]… This paper presents new support for randomized testing in PLT Redex, a domain … as a comprehensive, manually constructed test suite, Redex’s random test case … their calculus and the tool randomly generates program expressions in an attempt …
In Workshop on Scheme and Functional Programming (SFP). 2009:… algorithm for randomly testing programs that use state and callbacks. Our …Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs …
OOPSLA 2010: 555-566 [doi]… A technique of automatically generating random software test cases is described. The nature of such test cases ensures that they will execute to completion … the test cases are self-checking. At run-time their execution is compared …
IBMSJ, 22(3):229-245, 1983. [doi]… This paper considers random testing of a compiler, using randomly generated … syntax, scope rules, and type checking during our random generation. Doing so, while attaining a good distribution of test data, proves surprisingly subtle; the main …
In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]