{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:54Z","timestamp":1750308594700,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2017,1,5]]},"abstract":"<jats:p>Model checking software applications can result in exploring large or infinite state spaces. It is thus essential to identify and abstract variables that could potentially take on a large number of values, in order to increase state matching. In this paper we describe a tool we created as an extension to Java PathFinder, called State-Comparator, which compares states in the state space to identify variables that should be abstracted.<\/jats:p>","DOI":"10.1145\/3011286.3011299","type":"journal-article","created":{"date-parts":[[2017,1,6]],"date-time":"2017-01-06T13:30:07Z","timestamp":1483709407000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["StateComparator"],"prefix":"10.1145","volume":"41","author":[{"given":"Heila","family":"Botha","sequence":"first","affiliation":[{"name":"University of Stellenbosch, South Africa"}]},{"given":"Brink","family":"van der Merwe","sequence":"additional","affiliation":[{"name":"University of Stellenbosch, South Africa"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"University of Stellenbosch, South Africa"}]},{"given":"Oksana","family":"Tkachuk","sequence":"additional","affiliation":[{"name":"SGT Inc.\/NASA Ames Research Center, Moffett Field, California"}]}],"member":"320","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Java Pathfinder. http:\/\/babelfish.arc.nasa.gov\/hg\/jpf\/jpf-core.  Java Pathfinder. http:\/\/babelfish.arc.nasa.gov\/hg\/jpf\/jpf-core."},{"key":"e_1_2_1_2_1","unstructured":"E. M.\n       \n      Clarke\n    .\n      \n  \n   \n  The Birth of Model Checking volume \n  5000\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer Berlin Heidelberg Berlin Heidelberg 2008\n  .  E. M. Clarke. The Birth of Model Checking volume 5000 of Lecture Notes in Computer Science. Springer Berlin Heidelberg Berlin Heidelberg 2008."},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/3-540-36377-7_9","volume-title":"The Essence of Computation: Complexity, Analysis, Transformation","author":"Hatcliff J.","year":"2002"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_6"},{"key":"e_1_2_1_5_1","first-page":"2","volume-title":"Proceedings of the 2nd International Workshop on State Of the Art in Java Program analysis (SOAP), number 1","author":"Tkachuk O.","year":"2013"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382797"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011286.3011299","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3011286.3011299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:29Z","timestamp":1750273529000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011286.3011299"}},"subtitle":["Detecting Unbounded Variables Using JPF"],"short-title":[],"issued":{"date-parts":[[2017,1,5]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,1,5]]}},"alternative-id":["10.1145\/3011286.3011299"],"URL":"https:\/\/doi.org\/10.1145\/3011286.3011299","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2017,1,5]]},"assertion":[{"value":"2017-01-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}