Using production grammars in software testing

  title={Using production grammars in software testing},
  author={Emin G{\"u}n Sirer and Brian N. Bershad},
Extensible typesafe systems, such as Java, rely critically on a large and complex software base for their overall protection and integrity, and are therefore difficult to test and verify. Traditional testing techniques, such as manual test generation and formal verification, are too time consuming, expensive, and imprecise, or work only on abstract models of the implementation and are too simplistic. Consequently, commercial virtual machines deployed so far have exhibited numerous bugs and… CONTINUE READING
Highly Cited
This paper has 127 citations. REVIEW CITATIONS