Lightweight detection of physical unit inconsistencies without program annotations

Article Details
Title:	Lightweight detection of physical unit inconsistencies without program annotations
Article URLs:	https://doi.org/10.1145/3092703.3092722
Alternative Article URLs:
Authors:	John-Paul Ore	University of Nebraska - Lincoln, Computer Science and Computer Engineering
	Carrick Detweiler	University of Nebraska - Lincoln, Computer Science and Computer Engineering
	Sebastian G. Elbaum	University of Nebraska - Lincoln, Computer Science and Computer Engineering
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://nimbus.unl.edu/tools/ https://dl.acm.org/ft_gateway.cfm?id=3092722&type=zip&path=%2F3100000%2F3092722%2Fsupp%2Fissta17%2Dmainid81%2Ds%2Ezip&supp=1&dwn=1
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1638099, 1526652
DBLP Key:	conf/issta/OreDE17
Author Comments:

ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2017