Sciweavers

66
Voted
ICSE
2000
IEEE-ACM

Bandera: extracting finite-state models from Java source code

15 years 14 days 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)