Testing generic Ada packages with APE
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
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 |