Sciweavers

ICSE
2000
IEEE-ACM

Bandera: extracting finite-state models from Java source code

14 years 3 months ago
Bandera: extracting finite-state models from Java source code
James C. Corbett, Matthew B. Dwyer, John Hatcliff,
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where ICSE
Authors James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
Comments (0)