Validating formal specifications using testing-based specification animation.

Shaoying Liu

Browse the full ICSE paper archive.