Communicating sequential processes
Communicating sequential processes
Extensional equivalence for transition systems
Acta Informatica
Observation equivalence as a testing equivalence
Theoretical Computer Science
Theoretical Computer Science
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes
Communication and concurrency
Design and validation of computer protocols
Design and validation of computer protocols
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Testing against formal specifications: a theoretical view
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
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
Formal methods in conformance testing: a probabilistic refinement
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Report on the standardization project “formal methods in conformance testing”
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
On conformance testing of systems communicating by rendezvous
On conformance testing of systems communicating by rendezvous
The CO-OP Method for Compositional Derivation of Conformance Testers
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
A Testing Theory for LOTOS using Deadlock Detection
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
A Queue Model Relating Synchronous and Asynchronous Communication
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Modeling basic LOTOS by FSMs for conformance testing
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
On the Coverage of Partial Validations
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Towards Automatic Distribution of Testers for Distributed Conformance Testing
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
COOPER - The Compositional Construction of a Canonical Tester
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Test Case Derivation from LOTOS Specifications
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
A Formal Approach to Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Formal Methods for Conformance Testing: Results and Perspectives
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Autolink - Putting SDL-Based Test Generation Into Practice
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Protocol-Inspired Hardware Testing
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
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
Formal Test Automation: The Conference Protocol with PHACT
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
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
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Formal Approach to Heuristically Test Restorable Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Testing Real-Time Systems Using TINA
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Online testing with reinforcement learning
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Hi-index | 0.00 |
Labelled transition system based test theory has made remarkable progress over the past 15 years. From a theoretically interesting approach to the semantics of reactive systems it has developed into a field where testing theory is (slowly) narrowing the gap with testing practice. In particular, new test generation algorithms are being designed that can be used in realistic situations whilst maintaining a sound theoretical basis. In this paper we present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments.