SemiAutomated Test Generation With SPEST
Adam Mozek · DigitalCommons - CalPoly (California State Polytechnic University) · 2015
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.