{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:41Z","timestamp":1763467601121,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240294","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"49-58","source":"Crossref","is-referenced-by-count":20,"title":["A new structural coverage criterion for dynamic detection of program invariants"],"prefix":"10.1109","author":[{"given":"N.","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Z.V.","family":"Heidepriem","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"95","article-title":"Core Java","volume":"1","author":"horstmann","year":"0"},{"year":"0","key":"ref11"},{"year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"ref15","first-page":"47","article-title":"Data Structures and Algorithms in Java","author":"lafore","year":"1998"},{"key":"ref16","first-page":"95","article-title":"Core Java","volume":"1","author":"horstmann","year":"0"},{"key":"ref17","first-page":"17","article-title":"Exploiting Synergy Between Testing and Inferred Partial Specifications","author":"xie","year":"2003","journal-title":"ICSE 2003 Workshop on Dynamic Analysis (WODA 2003)"},{"journal-title":"Online supplement to the book Data Structures and Algorithms in Java","year":"0","author":"goodrich","key":"ref4"},{"article-title":"Dynamically Discovering Likely Program Invariants","year":"2000","author":"ernst","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"ref7","first-page":"21","article-title":"Generating Test Data for Dynamically Discovering Likely Program Invariants","author":"gupta","year":"2003","journal-title":"the Proceedings of ICSE 2003 Workshop on Dynamic Analysis (WODA 2003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref9","article-title":"Random Testing","author":"hamlet","year":"1994","journal-title":"Encyclopaedia of Software Eng"}],"event":{"name":"18th IEEE International Conference on Automated Software Engineering","acronym":"ASE-03","location":"Montreal, Que., Canada"},"container-title":["18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8780\/27811\/01240294.pdf?arnumber=1240294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:08:52Z","timestamp":1489439332000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240294\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240294","relation":{},"subject":[]}}