DMCA
Bandera: Extracting Finite-state Models from Java Source Code (2000)
Cached
Download Links
- [www.cis.ksu.edu]
- [www.cse.msu.edu]
- [www.cis.ksu.edu]
- [www.cis.ksu.edu]
- [www.cis.ksu.edu]
- DBLP
Other Repositories/Bibliography
by
James C. Corbett
,
Matthew B. Dwyer
,
John Hatcliff
,
Shawn Laubach
,
Corina S. Pasareanu
,
Hongjun Zheng
Venue: | IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING |
Citations: | 654 - 33 self |