{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:25:38Z","timestamp":1755797138356,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000199","name":"U.S. Department of Agriculture","doi-asserted-by":"publisher","award":["2017-67021-25924"],"award-info":[{"award-number":["2017-67021-25924"]}],"id":[{"id":"10.13039\/100000199","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1638099"],"award-info":[{"award-number":["1638099"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3092722","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"341-351","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Lightweight detection of physical unit inconsistencies without program annotations"],"prefix":"10.1145","author":[{"given":"John-Paul","family":"Ore","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Carrick","family":"Detweiler","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others.","author":"Allen Eric","year":"2005","unstructured":"Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L Steele Jr , Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others. 2005 . Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L Steele Jr, Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others. 2005."},{"key":"e_1_3_2_2_2_1","volume-title":"140","author":"Sun The Fortress","year":"2005","unstructured":"The Fortress language specification. Sun Microsystems 139 ( 2005 ), 140 . The Fortress language specification. Sun Microsystems 139 (2005), 140."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89076-8_12"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999448"},{"key":"e_1_3_2_2_5_1","unstructured":"Michael R Benjamin Henrik Schmidt Paul M Newman and John J Leonard. 2010.  Michael R Benjamin Henrik Schmidt Paul M Newman and John J Leonard. 2010."},{"key":"e_1_3_2_2_6_1","volume-title":"Journal of Field Robotics 27, 6","author":"Nested","year":"2010","unstructured":"Nested autonomy for unmanned marine vehicles with MOOS-IvP. Journal of Field Robotics 27, 6 ( 2010 ), 834\u2013875. Nested autonomy for unmanned marine vehicles with MOOS-IvP. Journal of Field Robotics 27, 6 (2010), 834\u2013875."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_2_8_1","unstructured":"Percy Williams Bridgman. 1922.  Percy Williams Bridgman. 1922."},{"key":"e_1_3_2_2_9_1","unstructured":"Dimensional Analysis. Yale University Press.  Dimensional Analysis. Yale University Press."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/381788.316183"},{"key":"e_1_3_2_2_12_1","unstructured":"Al Danial. 2016. Count Lines Of Code. (2016). https:\/\/github.com\/AlDanial\/cloc  Al Danial. 2016. Count Lines Of Code. (2016). https:\/\/github.com\/AlDanial\/cloc"},{"key":"e_1_3_2_2_13_1","unstructured":"Open Source Robotics Foundation. 2010 (accessed 27 July 2016). ROS Enhancement Proposal 103. http:\/\/www.ros.org\/reps\/rep-0103.html  Open Source Robotics Foundation. 2010 (accessed 27 July 2016). ROS Enhancement Proposal 103. http:\/\/www.ros.org\/reps\/rep-0103.html"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(77)90010-8"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070517"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42346"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108798"},{"key":"e_1_3_2_2_18_1","unstructured":"Lingxiao Jiang and Zhendong Su. 2006.  Lingxiao Jiang and Zhendong Su. 2006."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134323"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359501"},{"key":"e_1_3_2_2_21_1","unstructured":"Andrew Kennedy. 1996.  Andrew Kennedy. 1996."},{"key":"e_1_3_2_2_22_1","unstructured":"Programming languages and dimensions. Number 391. PhD Thesis University of Cambridge.  Programming languages and dimensions. Number 391. PhD Thesis University of Cambridge."},{"volume-title":"Central European Functional Programming School","author":"Kennedy Andrew","key":"e_1_3_2_2_23_1","unstructured":"Andrew Kennedy . 2010. Types for units-of-measure: Theory and practice . In Central European Functional Programming School . Springer , 268\u2013305. Andrew Kennedy. 2010. Types for units-of-measure: Theory and practice. In Central European Functional Programming School. Springer, 268\u2013305."},{"key":"e_1_3_2_2_24_1","volume-title":"Peter Sin\u02c7 c \u00e1k, and Zolt \u00e1n Krizs \u00e1n","author":"Magyar Gergely","year":"2015","unstructured":"Gergely Magyar , Peter Sin\u02c7 c \u00e1k, and Zolt \u00e1n Krizs \u00e1n . 2015 . Comparison study of robotic middleware for robotic applications. In Emergent Trends in Robotics and Intelligent Systems. Springer , 121\u2013128. Gergely Magyar, Peter Sin\u02c7 c \u00e1k, and Zolt \u00e1n Krizs \u00e1n. 2015. Comparison study of robotic middleware for robotic applications. In Emergent Trends in Robotics and Intelligent Systems. Springer, 121\u2013128."},{"key":"e_1_3_2_2_25_1","unstructured":"Daniel Marjam\u00e4ki. 2013 (accessed 1 February 2017). Cppcheck: a tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/  Daniel Marjam\u00e4ki. 2013 (accessed 1 February 2017). Cppcheck: a tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5772\/5761"},{"key":"e_1_3_2_2_27_1","unstructured":"IM Mills Barry N Taylor and AJ Thor. 2001.  IM Mills Barry N Taylor and AJ Thor. 2001."},{"key":"e_1_3_2_2_28_1","volume-title":"neper, bel and decibel. Metrologia 38, 4","author":"Definitions","year":"2001","unstructured":"Definitions of the units radian , neper, bel and decibel. Metrologia 38, 4 ( 2001 ), 353. Definitions of the units radian, neper, bel and decibel. Metrologia 38, 4 (2001), 353."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.403789"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253351"},{"key":"e_1_3_2_2_31_1","unstructured":"International Bureau of Weights Measures Barry N Taylor and Ambler Thompson. 2001. The international system of units (SI). (2001).  International Bureau of Weights Measures Barry N Taylor and Ambler Thompson. 2001. The international system of units (SI). (2001)."},{"key":"e_1_3_2_2_32_1","unstructured":"Open Source Robotic Foundation. 2016.  Open Source Robotic Foundation. 2016."},{"key":"e_1_3_2_2_33_1","unstructured":"Automated Driving with ROS at BMW. (2016). http:\/\/www.osrfoundation.org\/ michaelaeberhardbmwautomateddrivingwithrosatbmw  Automated Driving with ROS at BMW. (2016). http:\/\/www.osrfoundation.org\/ michaelaeberhardbmwautomateddrivingwithrosatbmw"},{"key":"e_1_3_2_2_34_1","unstructured":"ROS Industrial Consortium. 2016. Current Members - ROS Industrial. (2016). http:\/\/rosindustrial.org\/ric\/currentmembers  ROS Industrial Consortium. 2016. Current Members - ROS Industrial. (2016). http:\/\/rosindustrial.org\/ric\/currentmembers"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240326"},{"key":"e_1_3_2_2_36_1","first-page":"2003","article-title":"Boost","volume":"1","author":"Schabel Matthias Christian","year":"2008","unstructured":"Matthias Christian Schabel and Steven Watanabe . 2008 . Boost . Units 1 , 0 (2008), 2003 \u2013 2010 . Matthias Christian Schabel and Steven Watanabe. 2008. Boost. Units 1, 0 (2008), 2003\u20132010.","journal-title":"Units"},{"key":"e_1_3_2_2_37_1","unstructured":"SoftBank. 2016.  SoftBank. 2016."},{"key":"e_1_3_2_2_38_1","unstructured":"Romeo the research robot from Aldebaran. (2016). http: \/\/projetromeo.com  Romeo the research robot from Aldebaran. (2016). http: \/\/projetromeo.com"},{"key":"e_1_3_2_2_39_1","volume-title":"Mars climate orbiter mishap investigation board phase I report, 44","author":"Stephenson Arthur G","year":"1999","unstructured":"Arthur G Stephenson , Daniel R Mulville , Frank H Bauer , Greg A Dukeman , Peter Norvig , LS LaPiana , PJ Rutledge , D Folta , and R Sackheim . 1999. Mars climate orbiter mishap investigation board phase I report, 44 pp. NASA, Washington , DC ( 1999 ). Arthur G Stephenson, Daniel R Mulville, Frank H Bauer, Greg A Dukeman, Peter Norvig, LS LaPiana, PJ Rutledge, D Folta, and R Sackheim. 1999. Mars climate orbiter mishap investigation board phase I report, 44 pp. NASA, Washington, DC (1999)."},{"key":"e_1_3_2_2_40_1","unstructured":"Zerksis D Umrigar. 1994.  Zerksis D Umrigar. 1994."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185036"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199906)29:7%3C605::AID-SPE249%3E3.0.CO;2-W"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092722","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092722","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:26Z","timestamp":1750217846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":42,"alternative-id":["10.1145\/3092703.3092722","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092722","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}