{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T20:27:46Z","timestamp":1769718466644,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,17]],"date-time":"2011-07-17T00:00:00Z","timestamp":1310860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1012759CNS-0958199CCF-0916893CCF-0746856"],"award-info":[{"award-number":["CCF-1012759CNS-0958199CCF-0916893CCF-0746856"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CCF-1012759CNS-0958199CCF-0916893CCF-0746856"],"award-info":[{"award-number":["CCF-1012759CNS-0958199CCF-0916893CCF-0746856"]}],"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":[[2011,7,17]]},"DOI":"10.1145\/2001420.2001437","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"133-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Change-aware preemption prioritization"],"prefix":"10.1145","author":[{"given":"Vilas","family":"Jagannath","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingzhou","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Software Foundation. DIRMINA-803. https:\/\/issues.apache.org\/jira\/browse\/DIRMINA-803.  Apache Software Foundation. DIRMINA-803. https:\/\/issues.apache.org\/jira\/browse\/DIRMINA-803."},{"key":"e_1_3_2_1_2_1","unstructured":"Apache Software Foundation. LANG-481. https:\/\/issues.apache.org\/jira\/browse\/LANG-481.  Apache Software Foundation. LANG-481. https:\/\/issues.apache.org\/jira\/browse\/LANG-481."},{"key":"e_1_3_2_1_3_1","unstructured":"Apache Software Foundation. POOL-107. https:\/\/issues.apache.org\/jira\/browse\/POOL-107.  Apache Software Foundation. POOL-107. https:\/\/issues.apache.org\/jira\/browse\/POOL-107."},{"key":"e_1_3_2_1_4_1","unstructured":"Apache Software Foundation. POOL-120. https:\/\/issues.apache.org\/jira\/browse\/POOL-120.  Apache Software Foundation. POOL-120. https:\/\/issues.apache.org\/jira\/browse\/POOL-120."},{"key":"e_1_3_2_1_5_1","unstructured":"Apache Software Foundation. POOL-146. https:\/\/issues.apache.org\/jira\/browse\/POOL-146.  Apache Software Foundation. POOL-146. https:\/\/issues.apache.org\/jira\/browse\/POOL-146."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_35"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806634"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_45"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693458"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.62"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.33"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504305"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39910-0_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070541"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972715"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"e_1_3_2_1_22_1","unstructured":"JPF home page. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/.  JPF home page. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368128"},{"key":"e_1_3_2_1_24_1","volume-title":"MFCS","author":"Makowsky J.","year":"1995","unstructured":"J. Makowsky and E. Rawe . Incremental model checking for fixed point properties on decomposable structures . In MFCS , 1995 . J. Makowsky and E. Rawe. Incremental model checking for fixed point properties on decomposable structures. In MFCS, 1995."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940089"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029012"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248262"},{"key":"e_1_3_2_1_29_1","volume-title":"ICSM","author":"Rountev A.","year":"2004","unstructured":"A. Rountev . Precise identification of side-effect-free methods in Java . In ICSM , 2004 . A. Rountev. Precise identification of side-effect-free methods in Java. In ICSM, 2004."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007523"},{"key":"e_1_3_2_1_31_1","volume-title":"CAV","author":"Sokolsky O.","year":"1994","unstructured":"O. Sokolsky and S. A. Smolka . Incremental model checking in the modal mu-calculus . In CAV , 1994 . O. Sokolsky and S. A. Smolka. Incremental model checking in the modal mu-calculus. In CAV, 1994."},{"key":"e_1_3_2_1_32_1","unstructured":"SpringSource and Groovy Community. GROOVY-1890. http:\/\/jira.codehaus.org\/browse\/GROOVY-1890.  SpringSource and Groovy Community. GROOVY-1890. http:\/\/jira.codehaus.org\/browse\/GROOVY-1890."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566187"},{"key":"e_1_3_2_1_34_1","unstructured":"The Eclipse Foundation. Eclipse JDT UI. http:\/\/www.eclipse.org\/jdt\/ui\/.  The Eclipse Foundation. Eclipse JDT UI. http:\/\/www.eclipse.org\/jdt\/ui\/."},{"key":"e_1_3_2_1_35_1","unstructured":"University of Nebraska Lincoln. Software-artifact Infrastructure Repository. http:\/\/sir.unl.edu.  University of Nebraska Lincoln. Software-artifact Infrastructure Repository. http:\/\/sir.unl.edu."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.72"},{"key":"e_1_3_2_1_38_1","volume-title":"ICSM","author":"Yang G.","year":"2009","unstructured":"G. Yang , M. B. Dwyer , and G. Rothermel . Regression model checking . In ICSM , 2009 . G. Yang, M. B. Dwyer, and G. Rothermel. Regression model checking. In ICSM, 2009."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572297"}],"event":{"name":"ISSTA '11: International Symposium on Software Testing and Analysis","location":"Toronto Ontario Canada","acronym":"ISSTA '11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2001420.2001437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:54Z","timestamp":1750244394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,17]]},"references-count":40,"alternative-id":["10.1145\/2001420.2001437","10.1145\/2001420"],"URL":"https:\/\/doi.org\/10.1145\/2001420.2001437","relation":{},"subject":[],"published":{"date-parts":[[2011,7,17]]},"assertion":[{"value":"2011-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}