A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Parallelism for free: efficient and optimal bitvector analyses for parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
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
Advanced compiler design and implementation
Advanced compiler design and implementation
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Autolink - Putting SDL-Based Test Generation Into Practice
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Formal Test Automation: The Conference Protocol with TGV/TORX
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
An Overview of Lutess: A Specification-Based Tool for Testing Synchronous Software
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
A Test Case Generation Algorithm for Real-Time Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Temporal logic can be more expressive
SFCS '81 Proceedings of the 22nd Annual Symposium on Foundations of Computer Science
Automatic test generation on a (U)SIM smart card
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Conformance testing for real-time systems
Formal Methods in System Design
Model-based testing of a WAP gateway: an industrial case-study
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Testing real-time systems using UPPAAL
Formal methods and testing
How did you specify your test suite
Proceedings of the IEEE/ACM international conference on Automated software engineering
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
An introduction to test specification in FQL
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Seamless testing for models and code
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Automatic verification and conformance testing for validating safety properties of reactive systems
FM'05 Proceedings of the 2005 international conference on Formal Methods
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Generating tests from EFSM models using guided model checking and iterated search refinement
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Automated verification of executable UML models
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Information reuse for multi-goal reachability analyses
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
Hi-index | 0.00 |
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EFSM). To specify coverage criteria we use observer automata with parameters, which monitor and accept traces that cover a given test criterion of an EFSM. The flexibility of the technique is demonstrated by specifying a number of well-known coverage criteria based on control- and data-flow information using observer automata with parameters. We also develop a method for generating test cases from coverage criteria specified as observers. It is based on transforming a given observer automata into a bitvector analysis problem that can be efficiently implemented as an extension to an existing state-space exploration such as, e.g. SPIN or Uppaal.