An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Model checking
A practical guide to testing object-oriented software
A practical guide to testing object-oriented software
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Automata on Infinite Objects and Church's Problem
Automata on Infinite Objects and Church's Problem
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing Against Formal Specifications: A Theoretical View
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Automated Test and Oracle Generation for Smart-Card Applications
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Autolink - Putting SDL-Based Test Generation Into Practice
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Test generation based on symbolic specifications
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Testing techniques in software engineering
Testing techniques in software engineering
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
| Hi-index | 0.00 |
Conformance testing is a kind of functional testing where a formally verified specification is considered and test cases are generated so that conclusions can be established regarding the possibility of acceptance/rejection of conforming/non-conforming implementations. If the focus is on a complete specification, test suites may be impractical and even infinite with unclear relations between test cases and the specification. Property oriented testing focuses on particular, eventually critical, properties of interest. The specification of one or more properties drives the test process that checks whether they are satisfied by an implementation. Properties are often stated as test purposes, targeting testing at a particular functionality. This paper presents an overview of approaches to property oriented testing for reactive systems, focusing on labelled and symbolic transition systems.