Cooperative Verifier-Based Testing with CoVeriTest, paper in STTT, just got published.

Dr. Philip Mayer

Picture of Dr. Philip Mayer

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

E-Mail
lastname@pst.ifi.lmu.de

More Information

For more information, see my Programming & Software Engineering Group web site.