Model-Based testing and model inference

Authors:
Karl Meinke;Neil Walkinshaw
Affiliations:
School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden;Department of Computer Science, The University of Leicester, Leicester, UK
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 12
Cited 2

Learning regular sets from queries and counterexamples

Information and Computation
Testing by means of inductive program learning

ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing Test Data Adequacy through Program Inference

ACM Transactions on Programming Languages and Systems (TOPLAS)
Black Box Checking

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)
Dynamic testing via automata learning

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Increasing functional coverage by inductive testing: a case study

ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Incremental learning-based testing for reactive systems

TAP'11 Proceedings of the 5th international conference on Tests and proofs
Assessing test adequacy for black-box systems without specifications

ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
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
Test-Case design by feature trees

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Model-Based static code analysis for MATLAB models

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
An incremental learning algorithm for extended mealy automata

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
Guided GUI testing of android apps with minimal restart and approximate learning

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system. Outputs from the test executions can subsequently be checked against the model.