@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}
}