L. Liu

Mutation testing implements grammar-based testing

J. Offutt, P. Ammann, Lisa Liu, 2006, Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006).

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Bertrand Meyer, Lisa Liu, Bernd Schoeller, 2007, TAP.

Automatic Testing of Object-Oriented Software

Bertrand Meyer, Andreas Leitner, Ilinca Ciupa, 2007, SOFSEM.