Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Engineering
Semi-Automated Test Generation With Spest, Adam Mozek
Semi-Automated Test Generation With Spest, Adam Mozek
Computer Science and 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.