Specification-based testing of Ada units with low encapsulation

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) ◽

10.1109/ase.1998.732563 ◽

2002 ◽

Author(s):

A.A. Reyes ◽

D.J. Richardson

Download Full-text