{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:31:22Z","timestamp":1730259082937,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/icst.2012.136","type":"proceedings-article","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T18:58:04Z","timestamp":1337972284000},"page":"509-518","source":"Crossref","is-referenced-by-count":3,"title":["Grammar-Based Testing Using Realistic Domains in PHP"],"prefix":"10.1109","author":[{"given":"Ivan","family":"Enderlin","sequence":"first","affiliation":[]},{"given":"Frederic","family":"Dadeau","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Giorgetti","sequence":"additional","affiliation":[]},{"given":"Fabrice","family":"Bouquet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007531"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9067-7"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90226-7"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1017"},{"journal-title":"Java Compiler Compiler - The Java Parser Generator","year":"2006","key":"15"},{"journal-title":"Functional Program Testing and Analysis","year":"1986","author":"howden","key":"34"},{"journal-title":"Design Patterns","year":"1995","author":"gamma","key":"16"},{"journal-title":"Perl Compatible Regular Expressions","year":"2011","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/800169.805431"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24580-0_6"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"key":"21","first-page":"12","article-title":"Mutation testing implements grammar-based testing","author":"offutt","year":"2006","journal-title":"MUTATION '06"},{"journal-title":"Javascript Object Notation","year":"2011","key":"20"},{"key":"22","first-page":"231","article-title":"A simple and practical approach to unit testing: The JML and JUnit way","volume":"2374","author":"cheon","year":"2002","journal-title":"LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44870-5_69"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13953-6_9"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390662"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.95"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"10","first-page":"49","article-title":"The Spec# Programming System: An Overview","volume":"3362","author":"barnett","year":"2004","journal-title":"LNCS"},{"journal-title":"Black-Box Testing Techniques for Functional Testing of Software and Systems","year":"1995","author":"beizer","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.34"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/24686.24694"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"32","article-title":"Controllable combinatorial coverage in grammar-based testing","volume":"3964","author":"la?mmel","year":"2006","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40007-3_3"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101969"},{"journal-title":"Model-Based Testing for Embedded Systems","year":"2011","author":"zander","key":"4"},{"journal-title":"ACSL ANSI C Specification Language (Preliminary Design V1 2)","year":"2008","author":"baudin","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5229-1_12"}],"event":{"name":"2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2012,4,17]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,4,21]]}},"container-title":["2012 IEEE Fifth International Conference on Software Testing, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6200016\/6200080\/06200148.pdf?arnumber=6200148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:08:06Z","timestamp":1490112486000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6200148\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icst.2012.136","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}