A. Reyes, D. Richardson, "Specification-based Testing of Ada Units with Low Encapsulation," Automated Software Engineering, International Conference on, pp. 22, 13th IEEE International Conference on Automated Software Engineering (ASE'98), 1998.

@article{ 10.1109/ASE.1998.732563,
author = {A. Reyes and D. Richardson},
title = {Specification-based Testing of Ada Units with Low Encapsulation},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-8750-9},
pages = {22},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.1998.732563},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Specification-based Testing of Ada Units with Low Encapsulation
SN - 0-8186-8750-9
SP
EP
A1 - A. Reyes,
A1 - D. Richardson,
PY - 1998
VL - 0
JA - Automated Software Engineering, International Conference on
ER -