Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Formal Methods for Conformance Testing: Theory Can Be Practical
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Formalization of test experiments
Programming and Computing Software
Systems with priorities: Conformance, testing, and composition
Programming and Computing Software
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Testing with inputs and outputs in CSP
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |