John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum. Lightweight detection of physical unit inconsistencies without program annotations. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 341-351, ACM, 2017. [doi]
@inproceedings{OreDE17,
title = {Lightweight detection of physical unit inconsistencies without program annotations},
author = {John-Paul Ore and Carrick Detweiler and Sebastian G. Elbaum},
year = {2017},
doi = {10.1145/3092703.3092722},
url = {http://doi.acm.org/10.1145/3092703.3092722},
researchr = {https://researchr.org/publication/OreDE17},
cites = {0},
citedby = {0},
pages = {341-351},
booktitle = {Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017},
editor = {Tevfik Bultan and Koushik Sen},
publisher = {ACM},
isbn = {978-1-4503-5076-1},
}