{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:04:45Z","timestamp":1725624285254},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/cseet.2011.5876146","type":"proceedings-article","created":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T21:03:31Z","timestamp":1308603811000},"page":"546-548","source":"Crossref","is-referenced-by-count":9,"title":["Pex4Fun: Teaching and learning computer science via social gaming"],"prefix":"10.1109","author":[{"given":"Nikolai","family":"Tillmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"de Halleux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"407","article-title":"DiffGen: Automated regression unit-test generation","author":"taneja","year":"2008","journal-title":"Proc ASE"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810441"},{"key":"ref5","first-page":"134","article-title":"Pex - white box test generation for. NET","author":"tillmann","year":"2008","journal-title":"Proc TAP"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869570"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1081706.1081749","article-title":"Parameterized unit tests","author":"tillmann","year":"2005","journal-title":"Proc ESEC\/FSE"},{"key":"ref2","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc TACAS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882447"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5071032"}],"event":{"name":"2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)","start":{"date-parts":[[2011,5,22]]},"location":"Honolulu, HI","end":{"date-parts":[[2011,5,24]]}},"container-title":["2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5783969\/5876072\/05876146.pdf?arnumber=5876146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T16:52:11Z","timestamp":1583513531000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5876146\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cseet.2011.5876146","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}