The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Remote testin can be as powerful as local testing
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Test Generation for Specifications Modeled by Input/Output Automata
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Automated Testing in Practice: The Highway Tolling System
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Testing in context: framework and test derivation
Computer Communications
Formalization of test experiments
Programming and Computing Software
Systems with priorities: Conformance, testing, and composition
Programming and Computing Software
Novel collaborative automated testing framework using DDF
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Synchronizing asynchronous conformance testing
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A fresh look at testing for asynchronous communication
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
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
The complexity of asynchronous model based testing
Theoretical Computer Science
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
Hi-index | 0.00 |