Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

M. d'Amorim; S. Lauterburg; D. Marinov

doi:10.1109/tse.2008.37

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

IEEE Transactions on Software Engineering ◽

10.1109/tse.2008.37 ◽

2008 ◽

Vol 34 (5) ◽

pp. 597-613 ◽

Cited By ~ 10

Author(s):

M. d'Amorim ◽

S. Lauterburg ◽

D. Marinov

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

State Space Exploration

Download Full-text

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_26 ◽

2003 ◽

pp. 462-481 ◽

Cited By ~ 1

Author(s):

Marc Lettrari

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

Object Oriented Systems ◽

State Space Exploration

Download Full-text

Delta execution for efficient state-space exploration of object-oriented programs

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273472 ◽

2007 ◽

Cited By ~ 10

Author(s):

Marcelo d'Amorim ◽

Steven Lauterburg ◽

Darko Marinov

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

State Space Exploration

Download Full-text

Efficient timing analysis algorithms for timed state space exploration

Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems ◽

10.1109/async.1997.587166 ◽

2002 ◽

Cited By ~ 8

Author(s):

W. Belluomini ◽

C.J. Myers

Keyword(s):

State Space ◽

Space Exploration ◽

Timing Analysis ◽

State Space Exploration

Download Full-text

State space exploration in Markov models

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92 ◽

10.1145/133057.133100 ◽

1992 ◽

Cited By ~ 1

Author(s):

Edmundo de Souza e Silva ◽

Pedro Mejiá Ochoa

Keyword(s):

State Space ◽

Markov Models ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Multi-threaded Explicit State Space Exploration with State Reconstruction

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_16 ◽

2013 ◽

pp. 208-223 ◽

Cited By ~ 6

Author(s):

Sami Evangelista ◽

Lars Michael Kristensen ◽

Laure Petrucci

Keyword(s):

State Space ◽

Space Exploration ◽

State Reconstruction ◽

State Space Exploration

Download Full-text

Performance improvement of state space exploration by regular & differential hashing functions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_68 ◽

1994 ◽

pp. 364-376 ◽

Cited By ~ 2

Author(s):

Bernard Cousin ◽

Jean-michel Hélary

Keyword(s):

State Space ◽

Performance Improvement ◽

Space Exploration ◽

State Space Exploration

Download Full-text

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13675-7_4 ◽

2010 ◽

pp. 39-42 ◽

Cited By ~ 2

Author(s):

Lars M. Kristensen

Keyword(s):

Petri Nets ◽

State Space ◽

Space Exploration ◽

Coloured Petri Nets ◽

State Space Exploration

Download Full-text

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11562948_16 ◽

2005 ◽

pp. 187-201 ◽

Cited By ~ 1

Author(s):

Charles A. Lakos ◽

Lars M. Kristensen

Keyword(s):

State Space ◽

Space Exploration ◽

Object Based ◽

State Space Exploration

Download Full-text

Parallel state space exploration of linear systems with inputs using XSpeed

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728644 ◽

2015 ◽

Cited By ~ 1

Author(s):

Rajarshi Ray ◽

Amit Gurung

Keyword(s):

State Space ◽

Linear Systems ◽

Space Exploration ◽

State Space Exploration

Download Full-text

A time stamp reduction method for state space exploration using colored Petri nets

SIMULATION ◽

10.1177/0037549711410768 ◽

2011 ◽

Vol 88 (5) ◽

pp. 592-616 ◽

Cited By ~ 13

Author(s):

Mercedes E. Narciso ◽

Miquel A. Piera ◽

Antoni Guasch

Keyword(s):

Petri Nets ◽

State Space ◽

Reduction Method ◽

Space Exploration ◽

Colored Petri Nets ◽

Time Stamp ◽

State Space Exploration

Download Full-text