Lightweight detection of physical unit inconsistencies without program annotations.

John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum

Browse the full ISSTA paper archive.