{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:32:51Z","timestamp":1774837971273,"version":"3.50.1"},"reference-count":64,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115630","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"171-182","source":"Crossref","is-referenced-by-count":16,"title":["ICoq: Regression proof selection for large-scale verification projects"],"prefix":"10.1109","author":[{"given":"Ahmet","family":"Celik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Palmskog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milos","family":"Gligoric","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref33","year":"0","journal-title":"It's Travis CI's 5th birthday let's celebrate with numbers!"},{"key":"ref32","year":"0","journal-title":"InfSeqExt Git repository"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970358"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39910-0_16"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950361"},{"key":"ref36","first-page":"147","article-title":"Efficient regression verification","author":"kurshan","year":"1996","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_2"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08970-6_33"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"ref61","article-title":"Interactive theorem proving from the perspective of Isabelle\/Isar","author":"wenzel","year":"2015","journal-title":"All about Proofs Proofs for All volume 55 of Mathematical Logic and Foundations"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2854065.2854081"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_14"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"ref27","first-page":"1382","article-title":"Formal proof-the four-color theorem","volume":"55","author":"gonthier","year":"2008","journal-title":"Notices of the American Mathematical Society"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/fmp.2017.1"},{"key":"ref2","year":"0","journal-title":"coq-dpdgraph"},{"key":"ref1","year":"0","journal-title":"cloc - counts blank lines comment lines and physical lines of source code in many programming languages"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889222"},{"key":"ref22","year":"0","journal-title":"Flocq Git repository"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_18"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/2771783.2771784","article-title":"Practical regression test selection with dynamic file dependencies","author":"gligoric","year":"2015","journal-title":"International Symposium on Software Testing and Analysis"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s12046-009-0001-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1472"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660239"},{"key":"ref50","year":"0","journal-title":"StructTact Git repository"},{"key":"ref51","author":"tassi","year":"0","journal-title":"Coq manual Asynchronous and parallel proof processing"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_30"},{"key":"ref58","article-title":"PIDE as front-end technology for Coq","author":"wenzel","year":"2013","journal-title":"CoRR abs\/1304 6626"},{"key":"ref57","year":"0","journal-title":"WeakUpTo Git repository"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129514000577"},{"key":"ref55","year":"0","journal-title":"Verdi Git repository"},{"key":"ref54","year":"0","journal-title":"UniMath Git repository"},{"key":"ref53","year":"0","journal-title":"Travis CI"},{"key":"ref52","year":"0","journal-title":"Testing at the Speed and Scale of Google"},{"key":"ref10","first-page":"289","article-title":"Regression test selection techniques: A survey","volume":"35","author":"biswas","year":"2011","journal-title":"Informatica (Slovenia)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606576"},{"key":"ref40","year":"2012","journal-title":"The formalization of the odd order theorem has been completed"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2013.30"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.40"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2009.5090050"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_43"},{"key":"ref16","year":"0","journal-title":"Coq manual Utilities"},{"key":"ref17","year":"0","journal-title":"CTLTCTL Git repository"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.infsof.2009.07.001","article-title":"A systematic review on regression test selection techniques","volume":"52","author":"engstr\u00f6m","year":"2010","journal-title":"Journal of Information and Software Technology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814316"},{"key":"ref4","year":"0","journal-title":"WAD home page"},{"key":"ref3","year":"0","journal-title":"Github"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46419-0_3"},{"key":"ref8","year":"0","journal-title":"Bazel - Blog"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22102-1_4"},{"key":"ref49","year":"0","journal-title":"Speeding up the build"},{"key":"ref9","author":"beck","year":"2000","journal-title":"Extreme Programming Explained Embrace Change"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1035292.1029012"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_31"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08970-6_32"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593885"},{"key":"ref41","first-page":"305","article-title":"In search of an understandable consensus algorithm","author":"ongaro","year":"2014","journal-title":"USENIX Annual Technical Conference"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040259"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029928"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115630.pdf?arnumber=8115630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T01:53:27Z","timestamp":1659923607000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":64,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115630","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}