Model-Based Trace-Checking (original) (raw)
Related papers
Techniques and Challenges for Trace Processing from a Model-Checking Perspective
2014
BabelTrace: A Collection of Transducers for Trace Validation
Lecture Notes in Computer Science, 2013
Design of Software Model Checker
2012
Abstracting Models from Execution Traces for Performing Formal Verification
Communications in Computer and Information Science, 2009
A model checker for Java bytecode, with novel applications
2017
Traceability in Model-Based Testing
Klaus-Peter Fischer-Hellmann, Udo Bleimann
Future Internet, 2012
Electronic Notes in Theoretical …, 2001
2000
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design, 2004
From Model Checking to Runtime Verification and Back
Runtime Verification
Generating Trace-Sets for Model-based Testing
2007
An Experiment of Traceability-Driven System Testing
Journal of Information Processing Systems, 2008
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
Exploiting traces in static program analysis: better model checking through {{\tt printf}}$$ s
International Journal on Software Tools for Technology Transfer, 2008
Extending Model Checking with Dynamic Analysis
Lecture Notes in Computer Science
SEAT: A usable trace analysis tool
2005
A tutorial on runtime verification
Model checker execution reports
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
What Is a Trace? A Runtime Verification Perspective
Lecture Notes in Computer Science, 2016
Goanna: Syntactic Software Model Checking
Lecture Notes in Computer Science, 2008
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science, 2008
Traceability and model checking to support safety requirement verification
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014
Tapir: Language Support to Reduce the State Space in Model-Checking
2009
A runtime assertion checker for the Java Modeling Language (JML)
2002
Bogor: an extensible and highly-modular software model checking framework
2003
Model Execution Tracing: A Systematic Mapping Study
Software and Systems Modeling (Sosym), 2019
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science, 2009
Logic and trace-based object-oriented application testing
2004
A Rewriting-based Approach to Trace Analysis
2005
Program model checking as a new trend
2002
A Case Study in Automated Verification Based on Trace Abstractions
BRICS Report Series, 1995
Software model checking: extracting verification models from source code
Software Testing, Verification and Reliability, 2001
Reverse Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study
Lecture Notes in Computer Science, 2007