Sciweavers

COMPSAC
2004
IEEE

Generating Regression Tests via Model Checking

14 years 4 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where COMPSAC
Authors Lihua Xu, Marcio S. Dias, Debra J. Richardson
Comments (0)