Department - Author 1

Computer Science Department

Degree Name - Author 1

BS in Software Engineering



Primary Advisor

Gene Fisher


Automated black box test generation is a useful tool for developers that allows them to

quickly generate a large number of tests with a wide range of values tested. The current most

popular tool for black box test generation in Java, JML, is lacking in a number of features.

SPEST aims to improve upon existing tools, and provide a black box test generation tool that

can create human readable tests from simple pre and post conditions added as comments to

the Java source code.