@article{demillo1991constraint, author={Demillo, R.A. and Offutt, A.J.}, title={Constraint-based automatic test data generation}, journal={Software Engineering, IEEE Transactions on}, year={1991}, volume={17}, number={9}, pages={900--910} }