Automated Test Data Generation with SAT

@inproceedings{Seater2005AutomatedTD,
  title={Automated Test Data Generation with SAT},
  author={Robert Seater and Gregory D. Dennis},
  year={2005}
}
We present a novel technique for automatically generating a suite of test inputs to an object­oriented procedure. The suite is guaranteed to kill all mutant procedures produced from a given catalog of mutation operators, so long as those mutants could be detected by some test within user­provided bounds. Our test input generator constructs a mutation­parameterized version of the procedure, whose behavior may differ from the original by a single mutation. It encodes the original and mutation… CONTINUE READING