Communications of the ACM
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Learning regular sets from queries and counterexamples
Information and Computation
Handbook of theoretical computer science (vol. B)
An introduction to computational learning theory
An introduction to computational learning theory
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
On-the-Fly Verification with Stubborn Sets
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Architecting Dependable Systems V
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
On the correspondence between conformance testing and regular inference
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software 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
Active continuous quality control
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
| Hi-index | 0.00 |
In this paper, we review behavior-based model construction from a point of view characterized by verification, model checking and abstract interpretation. It turns out that abstract interpretation is the key for scaling known learning techniques for practical applications, model checking may serve as a teaching aid in the learning process underlying the model construction, and that there are also synergies with other validation and verification techniques. We will illustrate our discussion by means of a realistic telecommunication scenario, where the underlying system has grown over the last two decades, the available system documentation consists of not much more than user manuals and protocol standards, and the revision cycle times are extremely short. In this situation, behavior-based model construction provides a sound basis e.g. for test-suite design and maintenance, test organization, and test evaluation.