{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T13:55:26Z","timestamp":1774878926746,"version":"3.50.1"},"reference-count":46,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1016\/s0950-5849(02)00048-4","type":"journal-article","created":{"date-parts":[[2002,10,11]],"date-time":"2002-10-11T02:44:18Z","timestamp":1034304258000},"page":"473-489","source":"Crossref","is-referenced-by-count":36,"title":["A methodology of testing high-level Petri nets"],"prefix":"10.1016","volume":"44","author":[{"given":"Hong","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xudong","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(02)00048-4_BIB1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","article-title":"Test set generation from algebraic specifications using logic programming","volume":"6","author":"Bouge","year":"1986","journal-title":"Journal of System and Software"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB2","first-page":"387","article-title":"Software testing based on formal specifications: a theory and a tool","volume":"November","author":"Beront","year":"1991","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/120807.120822","article-title":"Case studies on testing object-oriented programs","author":"Doong","year":"1991","journal-title":"Proceedings of the Symposium on Testing, Analysis, and Verification"},{"issue":"2","key":"10.1016\/S0950-5849(02)00048-4_BIB4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","article-title":"The ASTOOT approach to testing object-oriented programs","volume":"3","author":"Doong","year":"1994","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"10.1016\/S0950-5849(02)00048-4_BIB5","doi-asserted-by":"crossref","DOI":"10.1145\/366378.366380","article-title":"TACCLE: a methodology for object-oriented software testing at the class and cluster levels","volume":"10","author":"Chen","year":"2001","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"10","key":"10.1016\/S0950-5849(02)00048-4_BIB6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/S0950-5849(00)00112-9","article-title":"ROCS: an object-oriented class-level testing system based on the relevant observable contexts technique","volume":"42","author":"Chen","year":"2000","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/CMPASS.1992.235766","article-title":"Using Z specifications in category partition testing","volume":"June","author":"Amla","year":"1992","journal-title":"Proceedings of the Seventh IEEE Annual Conference on Computer Assurance"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB8","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1109\/ICSE.1993.346025","article-title":"Test templates: a specification-based testing framework","volume":"May","author":"Stocks","year":"1993","journal-title":"Proceedings of the 15th International Conference on Software Engineering"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/CMPASS.1994.318466","article-title":"Using formal methods to derive test frames in category-partition testing","volume":"June","author":"Ammann","year":"1994","journal-title":"Proceedings of the 9th IEEE Annual Conference on Computer Assurance"},{"issue":"4","key":"10.1016\/S0950-5849(02)00048-4_BIB10","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","article-title":"Software unit test coverage and adequacy","volume":"29","author":"Zhu","year":"1997","journal-title":"ACM Computing Survey"},{"issue":"3","key":"10.1016\/S0950-5849(02)00048-4_BIB11","first-page":"206","article-title":"Structural testing of concurrent programs","volume":"18","author":"Taylor","year":"1992","journal-title":"IEEE TSE"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB12","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","article-title":"Principles and methods of testing finite state machines\u2014a survey","volume":"84","author":"Lee","year":"1996","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB13","series-title":"Testing Object-oriented Systems: Models, Patterns and Tools","author":"Binder","year":"2000"},{"issue":"6","key":"10.1016\/S0950-5849(02)00048-4_BIB14","first-page":"591","article-title":"Test selection based on finite state models","volume":"17","author":"Fujiwara","year":"1991","journal-title":"IEEE TSE"},{"issue":"9","key":"10.1016\/S0950-5849(02)00048-4_BIB15","first-page":"443","article-title":"Checking states and transitions of a set of communicating finite state machines","volume":"24","author":"Hierons","year":"2001","journal-title":"Microprocessors and Microsystems, Special Issue on Testing and Testing Techniques for Real-time Embedded Software Systems"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB16","doi-asserted-by":"crossref","unstructured":"G. Bochmann, A. Petrenko, Protocol testing: review of methods and relevance for software testing, Proceedings of ISSTA'94, August 1994, Seattle, Washington, USA, 1994, pp. 109\u2013124.","DOI":"10.1145\/186258.187153"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB17","series-title":"Real-Time Systems, Theory and Applications","article-title":"Using high-level Petri nets for testing concurrent and real-time systems","author":"Morasca","year":"1990"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB18","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.73751","article-title":"Replay and testing for concurrent programs","volume":"March","author":"Carver","year":"1991","journal-title":"IEEE Software"},{"issue":"1","key":"10.1016\/S0950-5849(02)00048-4_BIB19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for nondeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of ACM"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","article-title":"Testing equivalences for processes","volume":"34","author":"De Nicola","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB21","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","article-title":"Refusal testing","volume":"50","author":"Phillips","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB22","article-title":"Criteria for finite sets of paths that characterize control flow","author":"Baker","year":"1986","journal-title":"Proceedings of the 19th Annual Hawaii International Conference on System"},{"issue":"12","key":"10.1016\/S0950-5849(02)00048-4_BIB23","first-page":"1128","article-title":"Axiomatizing software test data adequacy","volume":"SE_12","author":"Weyuker","year":"1986","journal-title":"IEEE TSE"},{"issue":"6","key":"10.1016\/S0950-5849(02)00048-4_BIB24","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1145\/62959.62963","article-title":"The evaluation of program-based software test data adequacy criteria","volume":"31","author":"Weyuker","year":"1988","journal-title":"Communications of the ACM"},{"issue":"6","key":"10.1016\/S0950-5849(02)00048-4_BIB25","first-page":"565","article-title":"Analysis and refinement of software test data adequacy properties","volume":"SE_17","author":"Parrish","year":"1991","journal-title":"IEEE TSE"},{"issue":"7","key":"10.1016\/S0950-5849(02)00048-4_BIB26","first-page":"742","article-title":"Clarifying some fundamental concepts in software testing","volume":"19","author":"Parrish","year":"1993","journal-title":"IEEE TSE"},{"issue":"1","key":"10.1016\/S0950-5849(02)00048-4_BIB27","first-page":"21","article-title":"Test data adequacy measurement","volume":"8","author":"Zhu","year":"1993","journal-title":"SEJ"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB28","series-title":"Mathematics of Dependable Systems","first-page":"275","article-title":"Understanding software test adequacy\u2014an axiomatic and measurement approach","author":"Zhu","year":"1995"},{"issue":"9","key":"10.1016\/S0950-5849(02)00048-4_BIB29","first-page":"194","article-title":"Axiomatic assessment of control flow based software test adequacy criteria","volume":"10","author":"Zhu","year":"1995","journal-title":"Software Engineering Journal"},{"issue":"1","key":"10.1016\/S0950-5849(02)00048-4_BIB30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(199603)6:1<3::AID-STVR108>3.0.CO;2-D","article-title":"A formal interpretation of software testing as inductive inference","volume":"6","author":"Zhu","year":"1996","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB31","unstructured":"H. Zhu, X. He, A theory of behaviour observation in software testing, Technical Report CMS-TR-99-05, School of Computing and Mathematical Sciences, Oxford Brookes University, September 1999."},{"key":"10.1016\/S0950-5849(02)00048-4_BIB32","unstructured":"H. Zhu, X. He, Constructions of behaviour observation schemes in software testing, Proceedings of Fifth IEEE Symposium on HASE'2000, 15\u201317 November 2000, Albuquerque, New Mexico, USA, 2000, pp. 7\u201316."},{"key":"10.1016\/S0950-5849(02)00048-4_BIB33","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/TSE.1983.236871","article-title":"A data flow oriented program testing strategy","volume":"SE_9","author":"Laski","year":"1983","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"6","key":"10.1016\/S0950-5849(02)00048-4_BIB34","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1109\/TSE.1984.5010308","article-title":"On required element testing","volume":"SE_10","author":"Ntafos","year":"1984","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"4","key":"10.1016\/S0950-5849(02)00048-4_BIB35","first-page":"367","article-title":"Selecting software test data using data flow information","volume":"SE_11","author":"Rapps","year":"1985","journal-title":"IEEE TSE"},{"issue":"10","key":"10.1016\/S0950-5849(02)00048-4_BIB36","first-page":"1483","article-title":"An applicable family of data flow testing criteria","volume":"SE_14","author":"Frankl","year":"1988","journal-title":"IEEE TSE"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB37","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modeling with high-level Petri nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S0950-5849(02)00048-4_BIB38","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0950-5849(94)00438-X","article-title":"High-level algebraic Petri nets","volume":"37","author":"Kan","year":"1995","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB39","series-title":"On Semantics of Petri Nets, Formal Models in Programming","first-page":"347","author":"Reisig","year":"1985"},{"issue":"4","key":"10.1016\/S0950-5849(02)00048-4_BIB40","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/32.491648","article-title":"A formal analysis of the subsume relation between software test adequacy criteria","volume":"22","author":"Zhu","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB41","unstructured":"H. Zhu, X. He, A theory of testing high-level Petri nets, Proceedings of International Conference on Software\u2014Theory and Practice, IFIP World Computer Congress 2000, Beijing, August 21\u201325, 2000, pp. 443\u2013450."},{"key":"10.1016\/S0950-5849(02)00048-4_BIB42","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-61363-3_12","article-title":"A formal definition of hierarchical predicate transition nets","volume":"1091","author":"He","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB43","unstructured":"H. Zhu, Validating algebraic class testing in final algebra, ISSTA 2002, Technical Report CMS-TR-02-02, School of Computing and Mathematical Sciences, Oxford Brookes University, UK, April 2002."},{"key":"10.1016\/S0950-5849(02)00048-4_BIB44","unstructured":"A. Gopal, T. Budd, Program testing by specification mutation, Technical Report TR 83-17, University of Arizona, November 1983."},{"key":"10.1016\/S0950-5849(02)00048-4_BIB45","first-page":"211","article-title":"Erros in algebraic specifications and an experimental mutation testing tool","volume":"July","author":"Woodward","year":"1993","journal-title":"SEJ"},{"key":"10.1016\/S0950-5849(02)00048-4_BIB46","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"31","author":"Brookes","year":"1984","journal-title":"Journal of the ACM"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902000484?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902000484?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T21:54:38Z","timestamp":1555106078000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902000484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":46,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0950584902000484"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)00048-4","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}