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)
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
An introduction to computational learning theory
An introduction to computational learning theory
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
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
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
METAFrame in Practice: Design of Intelligent Network Services
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
SAS '96 Proceedings of the Third International Symposium on Static Analysis
On-the-Fly Verification with Stubborn Sets
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Test Generation for Specifications Modeled by Input/Output Automata
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Incremental requirement specification for evolving systems
Nordic Journal of Computing
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Behavior-Based Model Construction
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Learning Balls of Strings from Edit Corrections
The Journal of Machine Learning Research
Inference of Timed Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Insights to Angluin's Learning
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Learning of event-recording automata
Theoretical Computer Science
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
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
Automata learning with automated alphabet abstraction refinement
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Towards practical computable functions on context-free languages
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
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
Inference of event-recording automata using timed decision trees
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Ten open problems in grammatical inference
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
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
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Automated inference of models for black box systems based on interface descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
LearnLib tutorial: from finite automata to register interface programs
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
| Hi-index | 0.00 |
This paper introduces regular extrapolation, a technique that provides descriptions of systems or system aspects a posteriori in a largely automatic way. The descriptions come in the form of models which offer the possibility of mechanically producing system tests, grading test suites and monitoring running systems. Regular extrapolation builds models from observations via techniques from machine learning and finite automata theory. Also expert knowledge about the system enters the model construction in a systematic way. The power of this approach is illustrated in the context of a test environment for telecommunication systems.