{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:48:06Z","timestamp":1769726886538,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1035715"],"award-info":[{"award-number":["CNS-1035715"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS- 0931931"],"award-info":[{"award-number":["CNS- 0931931"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2642989","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"527-538","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Improving the accuracy of oracle verdicts through automated model steering"],"prefix":"10.1145","author":[{"given":"Gregory","family":"Gay","sequence":"first","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, USA"}]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, USA"}]},{"given":"Mats P.E.","family":"Heimdahl","sequence":"additional","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/www.ibm.com\/developerworks\/rational\/products\/rhapsody\/","author":"Rational Rhapsody IBM","year":"2014","unstructured":"IBM Rational Rhapsody . http:\/\/www.ibm.com\/developerworks\/rational\/products\/rhapsody\/ , 2014 . IBM Rational Rhapsody. http:\/\/www.ibm.com\/developerworks\/rational\/products\/rhapsody\/, 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928036"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_5"},{"issue":"4","key":"e_1_3_2_1_6_1","first-page":"300","article-title":"Comprehensive survey on distance\/similarity measures between probability density functions","volume":"1","author":"Cha S.-H.","year":"2007","unstructured":"S.-H. Cha . Comprehensive survey on distance\/similarity measures between probability density functions . International Journal of Mathematical Models and Methods in Applied Sciences , 1 ( 4 ): 300 -- 307 , 2007 . S.-H. Cha. Comprehensive survey on distance\/similarity measures between probability density functions. International Journal of Mathematical Models and Methods in Applied Sciences, 1(4):300--307, 2007.","journal-title":"International Journal of Mathematical Models and Methods in Applied Sciences"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.33"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049402"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591120"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0238-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185038"},{"key":"e_1_3_2_1_14_1","volume-title":"Klower Academic Press","author":"Halbwachs N.","year":"1993","unstructured":"N. Halbwachs . Synchronous Programming of Reactive Systems . Klower Academic Press , 1993 . N. Halbwachs. Synchronous Programming of Reactive Systems. Klower Academic Press, 1993."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75414"},{"key":"e_1_3_2_1_19_1","volume-title":"Workshop on Modeling Software System Structures in a Fastly Moving Scenario","author":"Kannan S.","year":"2000","unstructured":"S. Kannan , M. Kim , I. Lee , O. Sokolsky , and M. Viswanathan . Run-time monitoring and steering based on formal specifications . In Workshop on Modeling Software System Structures in a Fastly Moving Scenario , 2000 . S. Kannan, M. Kim, I. Lee, O. Sokolsky, and M. Viswanathan. Run-time monitoring and steering based on formal specifications. In Workshop on Modeling Software System Structures in a Fastly Moving Scenario, 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_22_1","unstructured":"MathWorks Inc. Stateflow. http:\/\/www.mathworks.com\/stateflow.  MathWorks Inc. Stateflow. http:\/\/www.mathworks.com\/stateflow."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582044"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0173-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662737.2662741"},{"key":"e_1_3_2_1_26_1","volume-title":"Software Test and Analysis: Process, Principles, and Techniques","author":"Pezze M.","year":"2006","unstructured":"M. Pezze and M. Young . Software Test and Analysis: Process, Principles, and Techniques . John Wiley and Sons , October 2006 . M. Pezze and M. Young. Software Test and Analysis: Process, Principles, and Techniques. John Wiley and Sons, October 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601351"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337326"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1806209.1806211"},{"key":"e_1_3_2_1_32_1","unstructured":"E. Weyuker. The oracle assumption of program testing.  E. Weyuker. The oracle assumption of program testing."}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","location":"Vasteras Sweden","acronym":"ASE '14","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"]},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642989","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2642989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:09Z","timestamp":1750229769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":30,"alternative-id":["10.1145\/2642937.2642989","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2642989","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}