A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Proceedings of the 19th IEEE international conference on Automated software engineering
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
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
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |