{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T11:15:25Z","timestamp":1774264525715,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1109\/tse.2003.1214327","type":"journal-article","created":{"date-parts":[[2003,7,23]],"date-time":"2003-07-23T15:30:38Z","timestamp":1058974238000},"page":"634-648","source":"Crossref","is-referenced-by-count":53,"title":["General test result checking with log file analysis"],"prefix":"10.1109","volume":"29","author":[{"given":"J.H.","family":"Andrews","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yingjun Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732614"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337194"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1006142.1006170"},{"key":"ref4","volume-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9781139164931"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/24.257793"},{"key":"ref7","article-title":"C-Cover","volume-title":"Bullseye Technologies","year":"2002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186324"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030644"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.730544"},{"key":"ref13","article-title":"gcov: A Test Coverage Program","year":"2001","journal-title":"Free Software Foundation"},{"key":"ref14","first-page":"361","article-title":"Derivation of Test Cases for LAP-B from a LOTOS Specification","volume-title":"Proc. Second FORmal TEchniques Int\u2019l Conf. (FORTE 1989)","author":"Gueraichi"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.230351"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230208"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/13677.22723"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.238"},{"issue":"6","key":"ref21","first-page":"28","article-title":"Method Sequence Specification and Verification of Classes","volume":"7","author":"Kirani","year":"1994","journal-title":"J. Object-Oriented Programming"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMPC.1995.380478"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1994.342801"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.8.499"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263752"},{"key":"ref26","article-title":"Apache Web Server Execution Tracing Using Third Eye","volume-title":"Proc. Fourth Int\u2019l Workshop Automated Debugging (AADEBUG 2000)","author":"Lencevicius"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/52.300036"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/52.62935"},{"key":"ref29","first-page":"116","article-title":"An Overview of Anna, a Specification Language for Ada","volume-title":"Proc. IEEE Conf. Ada Applications and Environments","author":"Luckham"},{"key":"ref30","article-title":"Nana: Improved Support for Assertions and Logging in C and C++","author":"Maker","year":"1995"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732610"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"ref34","first-page":"50","article-title":"Efficient Specification-Based Oracles for Critical Systems","volume-title":"Proc. California Software Symp.","author":"O\u2019Malley"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/32.667877"},{"key":"ref36","first-page":"1371","article-title":"An Automatic Logfile Analyzer for Parallel Programs","volume-title":"Proc. Int\u2019l Conf. Parallel and Distributed Processing Techniques and Applications","volume":"III","author":"Qiao"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"ref39","article-title":"Software Testing Using Algebraic Specification Based Test Oracles","author":"Sankar","year":"1993"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283329"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/32.67578"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/52.595959"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/32.41328"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"ref45","article-title":"Random Testing with Log File Analysis","author":"Zhang","year":"2000"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/27303\/01214327.pdf?arnumber=1214327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:59:41Z","timestamp":1742101181000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1214327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":45,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2003,7]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1214327","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}