A bug reproduction approach based on directed model checking and crash traces

Mathieu Nayrolles; Abdelwahab Hamou-Lhadj; Sofiène Tahar; Alf Larsson

doi:10.1002/smr.1789

A bug reproduction approach based on directed model checking and crash traces

Journal of Software Evolution and Process ◽

10.1002/smr.1789 ◽

2016 ◽

Vol 29 (3) ◽

pp. e1789 ◽

Cited By ~ 3

Author(s):

Mathieu Nayrolles ◽

Abdelwahab Hamou-Lhadj ◽

Sofiène Tahar ◽

Alf Larsson

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Survey on Directed Model Checking

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00431-5_5 ◽

2009 ◽

pp. 65-89 ◽

Cited By ~ 20

Author(s):

Stefan Edelkamp ◽

Viktor Schuppan ◽

Dragan Bošnački ◽

Anton Wijs ◽

Ansgar Fehnker ◽

...

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

I/O Efficient Directed Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_21 ◽

2005 ◽

pp. 313-329 ◽

Cited By ~ 10

Author(s):

Shahid Jabbar ◽

Stefan Edelkamp

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_11 ◽

2015 ◽

pp. 153-159 ◽

Cited By ~ 4

Author(s):

Ahmad Siyar Andisha ◽

Martin Wehrle ◽

Bernd Westphal

Keyword(s):

Model Checking ◽

Distance Functions ◽

Directed Model Checking

Download Full-text

Action Planning for Directed Model Checking of Petri Nets

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.07.023 ◽

2006 ◽

Vol 149 (2) ◽

pp. 3-18 ◽

Cited By ~ 10

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Petri Nets ◽

Action Planning ◽

Directed Model Checking

Download Full-text

Directed model checking with distance-preserving abstractions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-008-0092-z ◽

2008 ◽

Vol 11 (1) ◽

pp. 27-37 ◽

Cited By ~ 11

Author(s):

Klaus Dräger ◽

Bernd Finkbeiner ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Transition-Based Directed Model Checking

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00768-2_19 ◽

2009 ◽

pp. 186-200 ◽

Cited By ~ 9

Author(s):

Martin Wehrle ◽

Sebastian Kupferschmid ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Large-Scale Directed Model Checking LTL

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11691617_1 ◽

2006 ◽

pp. 1-18 ◽

Cited By ~ 28

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Large Scale ◽

Directed Model Checking

Download Full-text

The Causal Graph Revisited for Directed Model Checking

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03237-0_8 ◽

2009 ◽

pp. 86-101 ◽

Cited By ~ 5

Author(s):

Martin Wehrle ◽

Malte Helmert

Keyword(s):

Model Checking ◽

Causal Graph ◽

Directed Model Checking

Download Full-text

Parallel External Directed Model Checking with Linear I/O

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_16 ◽

2005 ◽

pp. 237-251 ◽

Cited By ~ 19

Author(s):

Shahid Jabbar ◽

Stefan Edelkamp

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Abstract reduction in directed model checking CCS processes

Acta Informatica ◽

10.1007/s00236-012-0161-3 ◽

2012 ◽

Vol 49 (5) ◽

pp. 313-341 ◽

Cited By ~ 25

Author(s):

Antonella Santone ◽

Gigliola Vaglini

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text