@ARTICLE{,
author = {E. Miller},
journal = {Computer},
title = {Special Feature Program Testing: Art Meets Theory*},
year = {1977},
volume = {10},
number = {},
pages = {42-51},
keywords={null},
doi = {10.1109/C-M.1977.217782},
url = {doi.ieeecomputersociety.org/10.1109/C-M.1977.217782},
ISSN = {0018-9162},
month={07}
}