Report on the Larch shared language
Science of Computer Programming
Systematic software development using VDM
Systematic software development using VDM
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Information and Software Technology - The Software Life Cycle
The Z notation: a reference manual
The Z notation: a reference manual
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
The cleanroom approach to quality software development
The cleanroom approach to quality software development
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Mathematica: A System for Doing Mathematics by Computer
Mathematica: A System for Doing Mathematics by Computer
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Dynamic Testing from Bounded Data Type Specifications
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
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
Operational Semantics of OBJ-3 (Extended Abstract)
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Random testing of C calling conventions
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Testing data types implementations from algebraic specifications
Formal methods and testing
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 |