{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T06:11:37Z","timestamp":1769148697667,"version":"3.49.0"},"reference-count":41,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s0164-1212(02)00055-9","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T23:34:13Z","timestamp":1051745653000},"page":"143-156","source":"Crossref","is-referenced-by-count":15,"title":["API documentation with executable examples"],"prefix":"10.1016","volume":"66","author":[{"given":"Daniel","family":"Hoffman","sequence":"first","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"October","key":"10.1016\/S0164-1212(02)00055-9_BIB1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/2.796139","article-title":"Embracing change with extreme programming","author":"Beck","year":"1999","journal-title":"Computer"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB2","series-title":"Extreme Programming Explained","author":"Beck","year":"1999"},{"issue":"2","key":"10.1016\/S0164-1212(02)00055-9_BIB3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0164-1212(98)10005-5","article-title":"Testing object-oriented programs: from formal specification to test scenario generation","volume":"42","author":"Chang","year":"1998","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB4","series-title":"Proceedings of SEKE\u201999","first-page":"207","article-title":"Test scenario and test case generation based on Object-Z formal specification","author":"Chen","year":"1999"},{"issue":"5","key":"10.1016\/S0164-1212(02)00055-9_BIB5","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1002\/spe.452","article-title":"A framework for table driven testing of Java classes","volume":"32","author":"Daley","year":"2000","journal-title":"Software \u2013 Practice and Experience"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB6","series-title":"Proceedings 2001 Australian Software Engineering Conference","first-page":"3","article-title":"Increase software trustability with self-testable classes in Java","author":"Deveaux","year":"2001"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB7","series-title":"Theory of Instruction: Principles and Applications","author":"Engelmann","year":"1991"},{"issue":"2","key":"10.1016\/S0164-1212(02)00055-9_BIB8","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/32.485225","article-title":"Mathematical notation in formal specification: too difficult for the masses?","volume":"22","author":"Finney","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/S0164-1212(02)00055-9_BIB9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0164-1212(98)00003-X","article-title":"Measuring the comprehensibility of Z specifications","volume":"42","author":"Finney","year":"1998","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB10","series-title":"Refactoring\u2013\u2013Improving the Design of Existing Code, Chapter 4: Building Tests","author":"Fowler","year":"1999"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB11","series-title":"The Java Language Specification","author":"Gosling","year":"1996"},{"issue":"9","key":"10.1016\/S0164-1212(02)00055-9_BIB12","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","article-title":"Seven myths of formal methods","volume":"7","author":"Hall","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB13","series-title":"Proceedings 2001 Australian Software Engineering Conference","first-page":"61","article-title":"Testing Java monitors through deterministic execution","author":"Harvey","year":"2001"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB14","series-title":"Proceedings of the Conference on Software Maintenance","first-page":"100","article-title":"A CASE study in module testing","author":"Hoffman","year":"1989"},{"issue":"5","key":"10.1016\/S0164-1212(02)00055-9_BIB15","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3","article-title":"ClassBench: a methodology and framework for automated class testing","volume":"27","author":"Hoffman","year":"1997","journal-title":"Software: Practice and Experience"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB16","series-title":"Proceedings 2000 Australian Software Engineering Conference","first-page":"235","article-title":"Tools and techniques for Java API testing","author":"Hoffman","year":"2000"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB17","series-title":"Proceedings ACM SIGAda Annual International Conference (SIGAda\u201998)","first-page":"255","article-title":"Testing generic ada packages with APE","author":"Hoffman","year":"1998"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB18","series-title":"Proceedings of COMPSAC\u201994","first-page":"293","article-title":"Behavior-based acceptance testing of software systems: a formal scenario approach","author":"Hsia","year":"1994"},{"issue":"2","key":"10.1016\/S0164-1212(02)00055-9_BIB19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/52.268953","article-title":"A formal approach to scenario analysis","volume":"11","author":"Hsia","year":"1994","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB20","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1018938021528","article-title":"Software requirements and acceptance testing","volume":"3","author":"Hsia","year":"1997","journal-title":"Annals of Software Engineering"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB21","series-title":"Object-Oriented Software Engineering","author":"Jacobsen","year":"1992"},{"issue":"March\/April","key":"10.1016\/S0164-1212(02)00055-9_BIB22","first-page":"23","article-title":"Extreme testing","author":"Jeffries","year":"1999","journal-title":"Software Testing and Quality Engineering"},{"issue":"1","key":"10.1016\/S0164-1212(02)00055-9_BIB23","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/2.562936","article-title":"Design by contract: the lessons of Ariane","volume":"30","author":"J\u00e9z\u00e9quel","year":"1997","journal-title":"IEEE Computer"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB24","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01211297","article-title":"Limits of formal methods","volume":"9","author":"Kneuper","year":"1997","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"10.1016\/S0164-1212(02)00055-9_BIB25","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","article-title":"Literate Programming","volume":"27","author":"Knuth","year":"1984","journal-title":"The Computer Journal"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB26","article-title":"Literate programming","author":"Knuth","year":"1992","journal-title":"Center for the Study of Language and Information"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB27","series-title":"Proceedings 3rd International Symposium on Distributed Objects and Applications (DOA \u201901)","first-page":"20","article-title":"A case study in testing distributed systems","author":"Long","year":"2001"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB28","series-title":"Proceedings of IEEE International Conference on Automated Software Engineering","first-page":"147","article-title":"Programmatic testing of the standard template library container classes","author":"McDonald","year":"1998"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB29","series-title":"International Conference on Formal Engineering Methods (ICFEM98)","first-page":"165","article-title":"Translating Object-Z specifications to passive test oracles","author":"McDonald","year":"1998"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB30","series-title":"Reusable Software The Base Object-Oriented Component Libraries","author":"Meyer","year":"1994"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB31","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB32","series-title":"2nd ACM Workshop on Formal Methods in Software Practice","article-title":"Specifying the mode logic of a flight guidance system in CoRE and SCR","author":"Miller","year":"1998"},{"issue":"9","key":"10.1016\/S0164-1212(02)00055-9_BIB33","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/182987.182990","article-title":"Experiences with cluster and class testing","volume":"37","author":"Murphy","year":"1994","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB34","series-title":"STL Tutorial and Reference Guide","author":"Musser","year":"1996"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB35","series-title":"Java World","article-title":"Test infect your Enterprise JavaBeans","author":"Nygard","year":"2000"},{"issue":"12","key":"10.1016\/S0164-1212(02)00055-9_BIB36","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","article-title":"Partition analysis: a method combining testing and verification","volume":"SE-11","author":"Richardson","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB37","series-title":"The Z Notation: a Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB38","unstructured":"Sun Microsystems, 2001. Java Development Kit, Sun Microsystems. Available from <http:\/\/java.sun.com.products\/jdk:>"},{"issue":"3","key":"10.1016\/S0164-1212(02)00055-9_BIB39","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TSE.1980.234485","article-title":"Theories of program testing and the application of revealing subdomains","volume":"SE-6","author":"Weyuker","year":"1980","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"S","key":"10.1016\/S0164-1212(02)00055-9_BIB40","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","article-title":"A domain strategy for computer program testing","volume":"6","author":"White","year":"1980","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(02)00055-9_BIB41","series-title":"The Psychology of Computer Vision","author":"Winston","year":"1975"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000559?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000559?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T18:53:58Z","timestamp":1553194438000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121202000559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S0164121202000559"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(02)00055-9","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}