Department - Author 1
Computer Science Department
Degree Name - Author 1
BS in Software Engineering
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.