Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs

Authors:
Bernard Boigelot;Patrice Godefroid
Affiliations:
-;-
Venue:
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Year:
1997

Model checking without a model: an analysis of the heart-beat monitor of a telephone switch using VeriSoft

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Dynamically discovering likely program invariants to support program evolution

Proceedings of the 21st international conference on Software engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatic generation of program specifications

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Software Model Checking: The VeriSoft Approach

Formal Methods in System Design
Model Checking Merged Program Traces

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00