Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

94

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 6 months ago

Bandera: extracting finite-state models from Java source code

Download santos.cis.ksu.edu

James C. Corbett, Matthew B. Dwyer, John Hatcliff,

Real-time Traffic

ICSE 2000 | Software Engineering |

claim paper

Related Content

» A Language Framework for Expressing Checkable Properties of Dynamic Software

» FiniteState Technology as a Programming Environment

» Unique Renaming of Java Using Source Transformation

» Reverse Engineering Goal Models from Legacy Code

» Chava Reverse Engineering and Tracking of Java Applets

» Extracting Behavior Specification of Components in Legacy Applications

» Mining InternetScale Software Repositories

Post Info
More Details (n/a)

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)