M. Lowry, M. Boyd, D. Kulkarni, "Towards a Theory for Integration of Mathematical Verification and Empirical Testing," Automated Software Engineering, International Conference on, pp. 322, 13th IEEE International Conference on Automated Software Engineering (ASE'98), 1998.

@article{ 10.1109/ASE.1998.732690,
author = {M. Lowry and M. Boyd and D. Kulkarni},
title = {Towards a Theory for Integration of Mathematical Verification and Empirical Testing},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-8750-9},
pages = {322},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.1998.732690},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Towards a Theory for Integration of Mathematical Verification and Empirical Testing
SN - 0-8186-8750-9
SP
EP
A1 - M. Lowry,
A1 - M. Boyd,
A1 - D. Kulkarni,
PY - 1998
VL - 0
JA - Automated Software Engineering, International Conference on
ER -