@article{DEMILLO1978193,
    Author = {DeMillo, Richard A. and Lipton, Richard J.},
    File = {A probabilistic remark on algebraic program testing - demillo1978 - a - a.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Software reliability, program testing},
    Number = {4},
    Pages = {193 - 195},
    Title = {A probabilistic remark on algebraic program testing},
    URL = {http://www.sciencedirect.com/science/article/pii/0020019078900674},
    Volume = {7},
    Year = {1978},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019078900674},
    bdsk-url-2 = {https://doi.org/10.1016/0020-0190(78)90067-4},
    date-added = {2020-11-21 10:23:24 +0100},
    date-modified = {2020-11-21 10:23:24 +0100},
    doi = {10.1016/0020-0190(78)90067-4}
}

@article{DEMILLO1978193, Author = {DeMillo, Richard A. and Lipton, Richard J.}, File = {A probabilistic remark on algebraic program testing - demillo1978 - a - a.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Software reliability, program testing}, Number = {4}, Pages = {193 - 195}, Title = {A probabilistic remark on algebraic program testing}, URL = {http://www.sciencedirect.com/science/article/pii/0020019078900674}, Volume = {7}, Year = {1978}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019078900674}, bdsk-url-2 = {https://doi.org/10.1016/0020-0190(78)90067-4}, date-added = {2020-11-21 10:23:24 +0100}, date-modified = {2020-11-21 10:23:24 +0100}, doi = {10.1016/0020-0190(78)90067-4} }