Lightweight detection of physical unit inconsistencies without program annotations

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]

Authors

John-Paul Ore

This author has not been identified. Look up 'John-Paul Ore' in Google

Carrick Detweiler

This author has not been identified. Look up 'Carrick Detweiler' in Google

Sebastian G. Elbaum

This author has not been identified. Look up 'Sebastian G. Elbaum' in Google