Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Integration Testing from Structured First-Order Specifications via Deduction Modulo
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Specification-based testing for COCASL'S modal specifications
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Test selection criteria for quantifier-free first-order specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Testing data types implementations from algebraic specifications
Formal methods and testing
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
Testing techniques in software engineering
Testing techniques in software engineering
Hi-index | 0.00 |