The RERS grey-box challenge 2012: analysis of event-condition-action systems

Authors:
Falk Howar;Malte Isberner;Maik Merten;Bernhard Steffen;Dirk Beyer
Affiliations:
Carnegie Mellon University, Mountain View;TU Dortmund, Germany;TU Dortmund, Germany;TU Dortmund, Germany;University of Passau, Germany
Venue:
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Year:
2012

Citing 13
Cited 0

Rule-based systems

Communications of the ACM
Learning regular sets from queries and counterexamples

Information and Computation
The architecture of an active database management system

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Symbolic execution and program testing

Communications of the ACM
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Principles of Program Analysis

Principles of Program Analysis
The Self-Serv Environment for Web Services Composition

IEEE Internet Computing
Model Checking of Probabalistic and Nondeterministic Systems

Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
The state of CASC

AI Communications
JBoss Drools Business Rules

JBoss Drools Business Rules
Competition on software verification

TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The goal of the RERS Grey-Box Challenge is to evaluate the effectiveness of various verification and validation approaches on Event-Condition-Action (ECA) systems, which form a specific class of systems that are important for industrial applications. We would like to bring together researchers from all areas of software verification and validation, including theorem proving, model checking, program analysis, symbolic execution, and testing, and discuss the specific strengths and weaknesses of the different technologies.