{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:03Z","timestamp":1750221003539,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1145\/3328433.3328453","type":"proceedings-article","created":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T12:18:43Z","timestamp":1567081123000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["IDVE"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Schuster","sequence":"first","affiliation":[{"name":"University of California"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2019,4]]},"reference":[{"volume-title":"Blame for All. In POPL '11","year":"2011","author":"Ahmed Amal","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2015. Syntax-guided synthesis. Dependable Software Systems Engineering (2015).  R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2015. Syntax-guided synthesis. Dependable Software Systems Engineering (2015)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ryoya Arai Shigeyuki Sato and Hideya Iwasaki. 2016. A Debugger-Cooperative Higher-Order Contract System in Python. In Programming Languages and Systems.  Ryoya Arai Shigeyuki Sato and Hideya Iwasaki. 2016. A Debugger-Cooperative Higher-Order Contract System in Python. In Programming Languages and Systems .","DOI":"10.1007\/978-3-319-47958-3_9"},{"key":"e_1_3_2_1_4_1","unstructured":"Stephan Arlt Cindy Rubio-Gonz\u00e1lez Philipp R\u00fcmmer Martin Sch\u00e4f and Natarajan Shankar. 2014. The Gradual Verifier. In NASA Formal Methods. 10.1007\/978-3-319-06200-6_27   Stephan Arlt Cindy Rubio-Gonz\u00e1lez Philipp R\u00fcmmer Martin Sch\u00e4f and Natarajan Shankar. 2014. The Gradual Verifier. In NASA Formal Methods . 10.1007\/978-3-319-06200-6_27"},{"volume-title":"CVC Lite: A New Implementation of the Cooperating Validity Checker. In CAV'04","year":"2004","author":"Barrett Clark","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192370"},{"volume-title":"Debugging Program Verification Proof Scripts (Tool Paper). CoRR","year":"2018","author":"Beckert Bernhard","key":"e_1_3_2_1_8_1"},{"volume-title":"Schmitt","year":"2007","author":"Beckert Bernhard","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_25"},{"volume-title":"Collaborative Verification and Testing with Explicit Assumptions. In FM'12","year":"2012","author":"Christakis Maria","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884843"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.210.3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Mike Czech Marie-Christine Jakobs and Heike Wehrheim. 2015. Just Test What You Cannot Verify!. In Fundamental Approaches to Software Engineering.  Mike Czech Marie-Christine Jakobs and Heike Wehrheim. 2015. Just Test What You Cannot Verify!. In Fundamental Approaches to Software Engineering .","DOI":"10.1007\/978-3-662-46675-9_7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"volume-title":"Contracts for Higher-order Functions. In ICFP '02","year":"2002","author":"Findler Robert Bruce","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360220"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158138"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985971"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Phillip Heidegger and Peter Thiemann. 2010. Contract-Driven Testing of JavaScript Code. In Objects Models Components Patterns.   Phillip Heidegger and Peter Thiemann. 2010. Contract-Driven Testing of JavaScript Code. In Objects Models Components Patterns .","DOI":"10.1007\/978-3-642-13953-6_9"},{"volume-title":"International Journal on Software Tools for Technology Transfer","year":"2018","author":"Hentschel Martin","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774546"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Stefan Huster Jonas Str\u00f6bele J\u00fcrgen Ruf Thomas Kropf and Wolfgang Rosenstiel. 2017. Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. In Testing Software and Systems.  Stefan Huster Jonas Str\u00f6bele J\u00fcrgen Ruf Thomas Kropf and Wolfgang Rosenstiel. 2017. Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. In Testing Software and Systems .","DOI":"10.1007\/978-3-319-67549-7_4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784737"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869505"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Claire Le Goues K. Rustan M. Leino and Micha\u0142 Moskal. 2011. The Boogie Verification Debugger (Tool Paper). In Software Engineering and Formal Methods Gilles Barthe Alberto Pardo and Gerardo Schneider (Eds.).   Claire Le Goues K. Rustan M. Leino and Micha\u0142 Moskal. 2011. The Boogie Verification Debugger (Tool Paper). In Software Engineering and Formal Methods Gilles Barthe Alberto Pardo and Gerardo Schneider (Eds.).","DOI":"10.1007\/978-3-642-24690-6_28"},{"volume-title":"Dafny: An Automatic Program Verifier for Functional Correctness. In LPAR'10","year":"2010","author":"Leino K. Rustan M.","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2402709.2402682"},{"volume-title":"The Dafny Integrated Development Environment. In Workshop on Formal Integrated Development Environment, F-IDE","year":"2014","author":"K. Rustan","key":"e_1_3_2_1_31_1"},{"volume":"201","journal-title":"J. Sousa Pinto.","author":"Lourenco C. Belo","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628156"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737971"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3310232.3310240"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951915"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"volume-title":"Haifa Verification Conference, HVC","year":"2017","author":"Strichman Ofer","key":"e_1_3_2_1_38_1"},{"volume-title":"Automating Deductive Verification for Weak-Memory Programs. In TACAS'2018","author":"Summers A. J.","key":"e_1_3_2_1_39_1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048083"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081749"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196327"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158141"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158151"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146255"}],"event":{"name":"Programming '19: Companion of the 3rd International Conference on Art, Science, and Engineering of Programming","acronym":"Programming '19","location":"Genova Italy"},"container-title":["Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328433.3328453","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328433.3328453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:48Z","timestamp":1750206348000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328433.3328453"}},"subtitle":["an integrated development and verification environment for JavaScript"],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":47,"alternative-id":["10.1145\/3328433.3328453","10.1145\/3328433"],"URL":"https:\/\/doi.org\/10.1145\/3328433.3328453","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}