Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
On-The-Fly Model-Based Testing of Web Services with Jambition
Web Services and Formal Methods
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Model-Based Testing of Electronic Passports
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Specification-based testing for COCASL'S modal specifications
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Symbolic execution techniques for refinement testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Model based testing with labelled transition systems
Formal methods and testing
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Generation of executable test cases based on behavioral UML system models
Proceedings of the 5th Workshop on Automation of Software Test
A conformance testing relation for symbolic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Static- and dynamic consistency analysis of UML state chart models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Compositional random testing using extended symbolic transition systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing real-time multi input-output systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Symbolic test selection based on approximate analysis
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Model-Based testing of thin-client web applications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Symbolic execution of UML-RT State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A formal method for testing reactive system from symbolic model
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
A test-based security certification scheme for web services
ACM Transactions on the Web (TWEB)
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Hi-index | 0.00 |
Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values. To implement these theories, data types which have infinite universes have to be cut down to finite variants, which are subsequently enumerated to fit in the model. This leads to an explosion of the state space. Moreover, exploiting the syntactical and/or semantical information of the involved data types is non-trivial after enumeration. To overcome these problems, we lift the family of testing relations ioco$_\mathcal{F}$ to the level of Symbolic Transition Systems (STSs). We present an algorithm based on STSs, which generates and executes tests on-the-fly on a given system. It is sound and complete for the ioco$_\mathcal{F}$ testing relations.