Testing Transition Systems: An Annotated Bibliography

Authors:
Ed Brinksma;Jan Tretmans
Affiliations:
-;-
Venue:
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Year:
2000

Citing 46
Cited 20

Communicating sequential processes

Communicating sequential processes
Extensional equivalence for transition systems

Acta Informatica
Observation equivalence as a testing equivalence

Theoretical Computer Science
Refusal testing

Theoretical Computer Science
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
OSI conformance testing

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes

Algebraic theory of processes
Communication and concurrency

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
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
Modeling basic LOTOS by FSMs for conformance testing

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Formal Specifications and Test: Correctness and Oracle

Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
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
Testing Can Be Formal, Too

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
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)
The Linear Time-Branching Time Spectrum (Extended Abstract)

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
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
On Asynchronous Testing

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
Executable Testers

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
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol

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
Verification of Test Suites

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

${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$: A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Controllable Test Cases for the Distributed Test Architecture

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
On-The-Fly Model-Based Testing of Web Services with Jambition

Web Services and Formal Methods
Testing Restorable Systems by Using RFD

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Estimating and quantifying the impact of using models for integration and testing

Computers in Industry
Testing techniques in software engineering

Testing techniques in software engineering
Alternating simulation and IOCO

ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Testing timed systems modeled by Stream X-machines

Software and Systems Modeling (SoSyM)
Checking models, proving programs, and testing systems

TAP'11 Proceedings of the 5th international conference on Tests and proofs
Generating test cases for constraint automata by genetic symbiosis algorithm

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Extending EFSMs to specify and test timed systems with action durations and timeouts

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A formal framework for black-box conformance testing of distributed real-time systems

International Journal of Critical Computer-Based Systems
Formal methods and testing: hypotheses, and correctness approximations

FM'05 Proceedings of the 2005 international conference on Formal Methods
Testing probabilistic distributed systems

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Applied formal methods – from CSP to executable hybrid specifications

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
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 framework to test soft and hard deadlines in timed systems

Software Testing, Verification & Reliability
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.