{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:00Z","timestamp":1750306140237,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3098238","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"428-431","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Version space learning for verification on temporal differentials"],"prefix":"10.1145","author":[{"given":"Mark","family":"Santolucito","sequence":"first","affiliation":[{"name":"Yale University, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Zaidman A. Beller M Gousios G. 2016. Oops my tests broke the build: An analysis of Travis CI builds with GitHub. PREPRINT. (2016). https:\/\/  Zaidman A. Beller M Gousios G. 2016. Oops my tests broke the build: An analysis of Travis CI builds with GitHub. PREPRINT. (2016). https:\/\/","DOI":"10.7287\/peerj.preprints.1984v1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921168.1921176"},{"key":"e_1_3_2_1_3_1","volume-title":"USENIX Annual Technical Conference (USENIX ATC).","author":"Enck William","year":"2007","unstructured":"William Enck , Patrick Drew McDaniel , Subhabrata Sen , Panagiotis Sebos , Sylke Spoerel , Albert G. Greenberg , Sanjay G. Rao , and William Aiello . 2007 . Configuration Management at Massive Scale: System Design and Experience . In USENIX Annual Technical Conference (USENIX ATC). William Enck, Patrick Drew McDaniel, Subhabrata Sen, Panagiotis Sebos, Sylke Spoerel, Albert G. Greenberg, Sanjay G. Rao, and William Aiello. 2007. Configuration Management at Massive Scale: System Design and Experience. In USENIX Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.591457"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741963"},{"key":"e_1_3_2_1_7_1","unstructured":"Tessa A Lau Pedro M Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration.. In ICML. 527\u2013534.   Tessa A Lau Pedro M Domingos and Daniel S Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration.. In ICML. 527\u2013534."},{"key":"e_1_3_2_1_8_1","volume-title":"Rationalizing neural predictions. arXiv preprint arXiv:1606.04155","author":"Lei Tao","year":"2016","unstructured":"Tao Lei , Regina Barzilay , and Tommi Jaakkola . 2016. Rationalizing neural predictions. arXiv preprint arXiv:1606.04155 ( 2016 ). Tao Lei, Regina Barzilay, and Tommi Jaakkola. 2016. Rationalizing neural predictions. arXiv preprint arXiv:1606.04155 (2016)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Mark Santolucito Ennan Zhai and Ruzica Piskac. 2016. Probabilistic Automated Language Learning for Configuration Files. In CAV. 80\u201387. https:\/\/  Mark Santolucito Ennan Zhai and Ruzica Piskac. 2016. Probabilistic Automated Language Learning for Configuration Files. In CAV. 80\u201387. https:\/\/","DOI":"10.1007\/978-3-319-41540-6_5"},{"key":"e_1_3_2_1_11_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Xu Tianyin","year":"2016","unstructured":"Tianyin Xu , Xinxin Jin , Peng Huang , Yuanyuan Zhou , Shan Lu , Long Jin , and Shankar Pasupathy . 2016 . Early detection of configuration errors to reduce failure damage . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI). Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, and Shankar Pasupathy. 2016. Early detection of configuration errors to reduce failure damage. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541983"}],"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.3098238","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3098238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":12,"alternative-id":["10.1145\/3092703.3098238","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3098238","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"}}]}}