Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Model-based Security Testing Using UMLsec
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing data types implementations from algebraic specifications
Formal methods and testing
Testing techniques in software engineering
Testing techniques in software engineering
Hi-index | 0.00 |