Sciweavers

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

9

ICSE
2008
IEEE-ACM

favoriteEmaildiscussreport

155views Software Engineering» more ICSE 2008»

State extensions for java pathfinder

14 years 5 months ago

State extensions for java pathfinder

Download javapathfinder.sourceforge.net

Tihomir Gvero, Milos Gligoric, Steven Lauterburg,

Real-time Traffic

ICSE 2008 | Software Engineering |

claim paper

Related Content

» Model Checking Real Time Java Using Java PathFinder

» JPFSE A Symbolic Execution Extension to Java PathFinder

» Checking SessionOriented Interactions between Web Services

» PlatformSpecific Restrictions on Concurrency in Model Checking of Java Programs

» Extraction of componentenvironment interaction model using state space traversal

» Optimizing Generation of Object Graphs in Java PathFinder

» A Framework for StateSpace Exploration of JavaBased Actor Programs

» Partial Verification of Software Components Heuristics for Environment Construction

» Test input generation for java containers using state matching

Post Info
More Details (n/a)

Added	17 Nov 2009
Updated	17 Nov 2009
Type	Conference
Year	2008
Where	ICSE
Authors	Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Comments (0)