A framework for automatic functional testing based on formal specifications.

Shaoying Liu, Shin Nakajima

Browse the full ICSE paper archive.