|
Project Information
|
AUSTIN is a structural test data generation tool (for unit tests) for the C language. It is designed as a research prototype and the aim of this project is to aid researchers in automated test data generation using search-based algorithms. It is based on the CIL framework and currently supports a random search, as well as a simple hill climber that is augmented with a set of constraint solving rules for pointer type inputs. If you've downloaded AUSTIN, please let me know. If you are using AUSTIN as part of your research work (e.g. comparing your tool against it), then please use the following bibtex entry. @inproceedings {austin-lakhotia, |