{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:03:02Z","timestamp":1725616982274},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/gas.2013.6632584","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T18:13:32Z","timestamp":1382379212000},"page":"15-21","source":"Crossref","is-referenced-by-count":1,"title":["Towards model checking of computer games with Java PathFinder"],"prefix":"10.1109","author":[{"given":"Nastaran","family":"Shafiei","sequence":"first","affiliation":[]},{"given":"Franck","family":"van Breugel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873671"},{"key":"17","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/1822348.1822363","article-title":"What went wrong: A taxonomy of video game bugs","author":"lewis","year":"2010","journal-title":"FDG"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100131"},{"key":"15","first-page":"585","article-title":"PRISM 4. 0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"CAV"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810352"},{"journal-title":"Automated Quantitative Software Verification","year":"2010","author":"kattenbelt","key":"13"},{"journal-title":"Personal communication","year":"2012","author":"kingsley","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.85.3"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"21","first-page":"37","article-title":"Fighting state space explosion: Review and evaluation","author":"pela?nek","year":"2008","journal-title":"FMICS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1808877.1808884"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"23","article-title":"Rules of play: Game design fundamentals","author":"salen","year":"2004","journal-title":"The MIT Press"},{"journal-title":"Automatic On-demand Delegation of Calls in Java Pathfinder","year":"2013","author":"shafiei","key":"24"},{"key":"25","article-title":"Testing video games can't possibly be harder than an afternoon with Xbox","author":"starr","year":"2007","journal-title":"Right? Seattle Weekly"},{"key":"26","article-title":"Alea jacta est","author":"stoelinga","year":"2002","journal-title":"Verification of Probabilistic"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"28","article-title":"Measuring progress of model checking randomized algorithms","author":"zhang","year":"2010","journal-title":"Master's thesis"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.28"},{"key":"3","first-page":"22","article-title":"Efficient model checking of networked applications","author":"artho","year":"2008","journal-title":"Tools"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.99.5"},{"journal-title":"101 BASIC Computer Games","year":"1973","author":"ahl","key":"1"},{"key":"30","first-page":"283","article-title":"A progress measure for explicitstate probabilistic model-checkers","author":"zhang","year":"2011","journal-title":"ICALP"},{"key":"7","first-page":"2","article-title":"Execution generated test cases: How to make systems code crash itself","author":"cadar","year":"2005","journal-title":"SPIN"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0176-4"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321638"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"journal-title":"Bayesian Inference for Probabilistic Programs Via Symbolic Execution","year":"2012","author":"claret","key":"8"}],"event":{"name":"2013 3rd International Workshop on Games and Software Engineering - Engineering Computer Games to Enable Positive, Progressive Change (GAS)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,18]]}},"container-title":["2013 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6619588\/6632578\/06632584.pdf?arnumber=6632584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:19:23Z","timestamp":1498076363000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6632584\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/gas.2013.6632584","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}