{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:33:01Z","timestamp":1729657981113,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227029","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"1591-1594","source":"Crossref","is-referenced-by-count":5,"title":["Log-based testing"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Elyasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","author":"gordon","key":"15"},{"journal-title":"D6 1 FITTEST Logging Approach Project No 257574 FITTEST Future Internet Testing","year":"2011","author":"prasetya","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_1"},{"key":"11","first-page":"232","author":"nimmer","year":"2002","journal-title":"Automatic Generation of Program Specifications"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.48"},{"key":"3","article-title":"Log4j delivers control over logging","author":"gulcu","year":"2000","journal-title":"Java World"},{"journal-title":"Log File Analysis","year":"2001","author":"valdman","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2011.51"},{"key":"10","first-page":"169","author":"boshernitsan","year":"2006","journal-title":"From Daikon to Agitator Lessons and Challenges in Building A Commercial Tool for Developer Testing"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/EmbeddedCom-ScalCom.2009.69"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732614"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5424"},{"key":"4","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","article-title":"Aspect-oriented programming","volume":"1241","author":"kiczales","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2514\/1.49356"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227029.pdf?arnumber=6227029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:07:59Z","timestamp":1497992879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227029","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}