Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects

@inproceedings{Hughes1996DaistishSA,
  title={Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects},
  author={Merlin Hughes and P. David Stotts},
  booktitle={ISSTA},
  year={1996}
}
Daistish is a tool that performs systematic algebraic testing similar to Gannon's DAISTS tool [2]. However, Daistish creates effective test drivers for programs in languages that use side effects to implement ADTs; this includes C++ and most other object-oriented languages. The functional approach of DAISTS does not apply directly in these cases. The approach in our work is most similar to the ASTOOT system of Doong and Frankl [1]; Daistish differs from ASTOOT by using Guttag-style algebraic… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS