{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:50Z","timestamp":1750220750649,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"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":[[2020,6,27]]},"DOI":"10.1145\/3377816.3381747","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T01:49:05Z","timestamp":1600480145000},"page":"81-84","source":"Crossref","is-referenced-by-count":1,"title":["Using hypersafety verification for proving correctness of programming assignments"],"prefix":"10.1145","author":[{"given":"Jude K","family":"Anil","sequence":"first","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumanth Prabhu","family":"S","sequence":"additional","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kumar","family":"Madhukar","sequence":"additional","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"TCS Research, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168906"},{"volume-title":"Prague, Czech Republic","year":"2019","author":"Beyer Dirk","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314596"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems. LNCS","author":"Clarke Edmund","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.223"},{"volume-title":"2010 3rd IEEE International Conference on Broadband Network and Multimedia Technology (IC-BNMT)","year":"2010","author":"Cui Baojiang","key":"e_1_3_2_1_7_1"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Darke Priyanka","key":"e_1_3_2_1_8_1"},{"volume-title":"Automated Hypersafety Verification","author":"Farzan Azadeh","key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-25540-4_11"},{"volume-title":"FMCAD 2018","year":"2018","author":"Fedyukovich Grigory","key":"e_1_3_2_1_10_1"},{"volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"Godefroid Patrice","key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2016.07.070"},{"volume-title":"Theory and Applications of Satisfiability Testing - SAT","year":"2018","author":"Gupta Shubhani","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_15_1","first-page":"41","article-title":"A Source Code Plagiarism Detecting Method Using Sequence Alignment with Abstract Syntax Tree Elements","volume":"3","author":"Kikuchi Hiroshi","year":"2015","journal-title":"IJSI"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542513"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEET.2019.00022"},{"volume-title":"A System for Automatic Evaluation of Programs for Correctness and Performance","author":"Mandal Amit Kumar","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349314"},{"key":"e_1_3_2_1_20_1","unstructured":"ThanhVu Nguyen Timos Antopoulos Andrew Ruef and Michael Hicks. 2019. A Counterexample-guided Approach to Finding Numerical Invariants. arXiv:cs.SE\/1903.12113  ThanhVu Nguyen Timos Antopoulos Andrew Ruef and Michael Hicks. 2019. A Counterexample-guided Approach to Finding Numerical Invariants. arXiv:cs.SE\/1903.12113"},{"volume-title":"9th International Competition on Software Verification.","year":"2020","author":"Results","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIPRO.2015.7160373"},{"volume-title":"SAS 2018, Freiburg, Germany, August 29--31, 2018, Proceedings. 326--343","author":"Prabhu Sumanth","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451150"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_31"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509509"},{"volume-title":"Property Directed Self Composition","author":"Shemer Ron","key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-25540-4_9"},{"volume-title":"POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages","year":"2009","author":"Tate Ross","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993533"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul South Korea","acronym":"ICSE '20"},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377816.3381747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:52Z","timestamp":1750199932000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":29,"alternative-id":["10.1145\/3377816.3381747","10.1145\/3377816"],"URL":"https:\/\/doi.org\/10.1145\/3377816.3381747","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]}}}