Automatic Testing through Planning


We describe a strategy to automatically test software built using preand postconditions. The strategy searches for valid routine calls: calls for which the preconditions are satisfied. If such calls fail (because the postcondition or another check is violated), we have found a bug. The testing strategy automatically builds a model of the software under test… (More)


6 Figures and Tables


Citations per Year

Citation Velocity: 5

Averaging 5 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Leitner2006AutomaticTT, title={Automatic Testing through Planning}, author={Andreas Leitner and Roderick Bloem}, year={2006} }