Efficient test-based model generation for legacy reactive systems

Authors:
T. Margaria;O. Niese;H. Raffelt;B. Steffen
Affiliations:
Gottingen Univ., Germany;FERMAT Lab., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA;FERMAT Lab., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA;Bristol Univ., UK
Venue:
HLDVT '04 Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
Year:
2004

Citing 0
Cited 12

LearnLib: a library for automata learning and experimentation

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML

Architecting Dependable Systems V
Inferring Mealy Machines

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Dynamic testing via automata learning

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Angluin style finite state machine inference with non-optimal counterexamples

Proceedings of the First International Workshop on Model Inference In Testing
From ZULU to RERS: lessons learned in the ZULU challenge

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
On handling data in automata learning: considerations from the CONNECT perspective

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Automata learning with automated alphabet abstraction refinement

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Regular inference for state machines with parameters

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
LearnLib: a library for automata learning and experimentation

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Algorithmic improvements on regular inference of software models and perspectives for security testing

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Active continuous quality control

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The following topics are dealt with: formal verification; formal specification; processor-oriented validation; decision diagram; validation pattern generation; behavioral modeling; fault coverage analysis; SAT solving; network architecture validation; ...