{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:32Z","timestamp":1778349572397,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Air Force Office of Scientific Research","award":["FA9550-15-F-0001,FA9550-15-1-0258,FA9550-16-1-0246"],"award-info":[{"award-number":["FA9550-15-F-0001,FA9550-15-1-0258,FA9550-16-1-0246"]}]},{"name":"Air Force Research Laboratory","award":["FA8750-13-2-0115,FA8750-15-1-0105,FA8650-12-3-7255"],"award-info":[{"award-number":["FA8750-13-2-0115,FA8750-15-1-0105,FA8650-12-3-7255"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS 1464311,CNS 1713253,EPCN 1509804,SHF 1527398,SHF 1736323"],"award-info":[{"award-number":["CNS 1464311,CNS 1713253,EPCN 1509804,SHF 1527398,SHF 1736323"]}],"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":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180231","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"981-992","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge"],"prefix":"10.1145","author":[{"given":"Shafiul Azam","family":"Chowdhury","sequence":"first","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumik","family":"Mohian","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidharth","family":"Mehra","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhant","family":"Gawsane","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Csallner","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450071"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728630"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/79060"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939101.1939120"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/953411.953414"},{"key":"e_1_3_2_1_10_1","volume-title":"https:\/\/github.com\/verivital\/slsf_randgen\/wiki. (2018). Accessed","author":"Chowdhury Shafiul Azam","year":"2018","unstructured":"Shafiul Azam Chowdhury. 2018. Project Homepage. https:\/\/github.com\/verivital\/slsf_randgen\/wiki. (2018). Accessed Feb 2018."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 6th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy). Springer.","author":"Chowdhury Shafiul Azam","year":"2016","unstructured":"Shafiul Azam Chowdhury, Taylor T. Johnson, and Christoph Csallner. 2016. CyFuzz: A differential testing framework for cyber-physical systems development environments. In Proc. 6th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy). Springer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1241511.1241512"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"T.H. Cormen C.E. Leiserson R.L. Rivest and C. Stein. 2001. Introduction To Algorithms. MIT Press.","DOI":"10.5555\/500824"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465482"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808901.1808909"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS-EERC.2013.24"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1689599.1689990"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852786.1852801"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/7333.918276"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220881.3220982"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362831"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2290"},{"key":"e_1_3_2_1_27_1","volume-title":"Benchmarks for Model Transformations and Conformance Checking. https:\/\/cps-vo.org\/node\/12108. (2017). Accessed","author":"Jin Xiaoqing","year":"2018","unstructured":"Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. 2017. Benchmarks for Model Transformations and Conformance Checking. https:\/\/cps-vo.org\/node\/12108. (2017). Accessed Feb 2018."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_33"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010203"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 359--370","author":"Liu B.","unstructured":"B. Liu, Lucia, S. Nejati, and L. C. Briand. 2017. Improving fault localization for Simulink models using search-based testing and prediction models. In Proc. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 359--370."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889162"},{"key":"e_1_3_2_1_34_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10, 1 (1998), 100--107. http:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol10num1\/vol10num1art9.pdf","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_36_1","volume-title":"Sound Test-Suites for Cyber-Physical Systems. In 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). 42--48","author":"Mohaqeqi M.","unstructured":"M. Mohaqeqi and M. R. Mousavi. 2016. Sound Test-Suites for Cyber-Physical Systems. In 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). 42--48."},{"key":"e_1_3_2_1_37_1","volume-title":"Johnson","author":"Nguyen Luan Viet","year":"2018","unstructured":"Luan Viet Nguyen, Khaza Hoque, Stanley Bak, Steven Drager, and Taylor T. Johnson. 2018. Cyber-Physical Specification Mismatches. ACM Transactions on Cyber-Physical Systems (<a href=\"http:\/\/www.acm.org\/TCPS\/\">TCPS<\/a>) (2018)."},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. 15th International Conference on Runtime Verification (RV).","author":"Nguyen Luan Viet","unstructured":"Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, and Taylor T. Johnson. 2015. Runtime Verification of Model-based Development Environments. In Proc. 15th International Conference on Runtime Verification (RV)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993412.3004853"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0450-9"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070528"},{"key":"e_1_3_2_1_42_1","unstructured":"Pierre Giroux. 2018. Grid-Connected PV Array - File Exchange - Matlab Central. http:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/34752-grid-connected-pv-array. (Feb. 2018). Accessed Feb 2018."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859070"},{"key":"e_1_3_2_1_44_1","volume-title":"AIAA Modeling and Simulation Technologies Conference and Exhibit. 5684","author":"Rasmussen Steven","unstructured":"Steven Rasmussen, Jason Mitchell, Chris Schulz, Corey Schumacher, and Phillip Chandler. {n. d.}. A multiple UAV simulation for researchers. In AIAA Modeling and Simulation Technologies Conference and Exhibit. 5684."},{"key":"e_1_3_2_1_45_1","volume-title":"Introducing jsfunfuzz. https:\/\/www.squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/. (2007). Accessed","author":"Ruderman Jesse","year":"2018","unstructured":"Jesse Ruderman. 2007. Introducing jsfunfuzz. https:\/\/www.squarefree.com\/2007\/08\/02\/introducing-jsfunfuzz\/. (2007). Accessed Feb 2018."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.39"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872557"},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. 3rd IEEE International Advance Computing Conference (IACC). 1414--1419","author":"Sridhar A.","unstructured":"A. Sridhar, D. Srinivasulu, and D. P. Mohapatra. 2013. Model-based test-case generation for Simulink\/Stateflow using dependency graph approach. In Proc. 3rd IEEE International Advance Computing Conference (IACC). 1414--1419."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240322"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70708"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:EMSE.0000048324.12188.a2"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.46"},{"key":"e_1_3_2_1_53_1","volume-title":"NASA HL-20 Lifting Body Airframe - Matlab & Simulink. https:\/\/www.mathworks.com\/help\/aeroblks\/nasa-hl-20-lifting-body-airframe.html. (2018). Accessed","author":"The MathWorks Inc. 2018.","year":"2018","unstructured":"The MathWorks Inc. 2018. NASA HL-20 Lifting Body Airframe - Matlab & Simulink. https:\/\/www.mathworks.com\/help\/aeroblks\/nasa-hl-20-lifting-body-airframe.html. (2018). Accessed Feb 2018."},{"key":"e_1_3_2_1_54_1","volume-title":"http:\/\/www.mathworks.com\/help\/simulink\/. (2018). Accessed","author":"The MathWorks Inc. 2018. Simulink Documentation.","year":"2018","unstructured":"The MathWorks Inc. 2018. Simulink Documentation. http:\/\/www.mathworks.com\/help\/simulink\/. (2018). Accessed Feb 2018."},{"key":"e_1_3_2_1_55_1","unstructured":"U.S. Consumer Product Safety Commission (CPSC). 2010. Recall 11-702: Fire Alarm Control Panels Recalled by Fire-Lite Alarms Due to Alert Failure. http:\/\/www.cpsc.gov\/en\/Recalls\/2011\/Fire-Alarm-Control-Panels-Recalled-by-Fire-Lite-Alarms-Due-to-Alert-Failure. (Oct. 2010). Accessed Feb 2018."},{"key":"e_1_3_2_1_56_1","unstructured":"U.S. National Highway Traffic Safety Administration (NHTSA). 2014. Defect Information Report 14V-053. http:\/\/www-odi.nhtsa.dot.gov\/acms\/cs\/jaxrs\/download\/doc\/UCM450071\/RCDNN-14V053-0945.pdf. (Feb. 2014)."},{"key":"e_1_3_2_1_57_1","volume-title":"The economic impacts of inadequate infrastructure for software testing: Planning report 02-3. (May","author":"U.S. National Institute of Standards and Technology (NIST). 2002.","year":"2002","unstructured":"U.S. National Institute of Standards and Technology (NIST). 2002. The economic impacts of inadequate infrastructure for software testing: Planning report 02-3. (May 2002)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2007.20"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_33"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180231","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180231","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:29Z","timestamp":1750210769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":60,"alternative-id":["10.1145\/3180155.3180231","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180231","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}