Generating Regression Tests via Model Checking.

Lihua Xu, Marcio S. Dias, Debra J. Richardson

Browse the full COMPSAC paper archive.