{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:15Z","timestamp":1747810515218,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_23","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"388-407","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Automatically Generating Information from a Z Specification to Support the Classification Tree Method"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harbhajan","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"23_CR1","unstructured":"N. Amla and P. Ammann. Using Z specifications in category partition testing. In COMPASS\u2019 92, Seventh Annual Conference on Computer Assurance, pages 15\u201318, Gaithersburg, MD, USA, 1992."},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0950-5849(97)00044-X","volume":"39","author":"T. Y. Chen","year":"1997","unstructured":"T. Y. Chen and P. L. Poon. Construction of classification trees via the classification-hierarchy table. Information and Software Technology, 39:889\u2013896, 1997.","journal-title":"Information and Software Technology"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1016\/S0950-5849(98)00107-4","volume":"40","author":"T. Y. Chen","year":"1998","unstructured":"T. Y. Chen and P. L. Poon. On the effectiveness of classification trees for test case construction. Information and Software Technology, 40:765\u2013775, 1998.","journal-title":"Information and Software Technology"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/(SICI)1099-1689(199903)9:1<27::AID-STVR172>3.0.CO;2-B","volume":"9","author":"J. Derrick","year":"1999","unstructured":"J. Derrick and E. Boiten. Testing refinements of state-based formal specifications. Journal of Software Testing, Verification, and Reliability, 9:27\u201350, 1999.","journal-title":"Journal of Software Testing, Verification, and Reliability"},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME\u2019 93, First International Symposium on Formal Methods in Europe","author":"J. Dick","year":"1993","unstructured":"J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME\u2019 93, First International Symposium on Formal Methods in Europe, pages 268\u2013284, Odense, Denmark, 19\u201323 April 1993. Springer-Verlag, Lecture Notes in Computer Science 670."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"M. C. Gaudel. Testing can be formal too. In TAPSOFT\u201995, pages 82\u201396. Springer-Verlag, March 1995.","DOI":"10.1007\/3-540-59293-8_188"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"M. Grochtmann and K. Grimm. Classification trees for partition testing. Journal of Software Testing, Verification and Reliability, 3:63\u201382, 1993.","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"23_CR8","unstructured":"P. A. V. Hall and R. M. Hierons. Formal Methods and Testing. Technical Report 91\/16, Computing Department, The Open University, August 1991."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R. M. Hierons","year":"1997","unstructured":"R. M. Hierons. Testing from a Z specification. Journal of Software Testing, Verification and Reliability, 7:19\u201333, 1997.","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s001650070003","volume":"12","author":"R. M. Hierons","year":"2000","unstructured":"R. M. Hierons and M. Harman. Testing comformance to a quasi-non-determinstic stream X-machine. Formal Aspects of Computing, 12:423\u2013442, 2000.","journal-title":"Formal Aspects of Computing"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0950-5849(00)00145-2","volume":"43","author":"R. M. Hierons","year":"2001","unstructured":"R. M. Hierons, S. Sadeghipour, and H. Singh. Testing a system specified using statecharts and Z. Information and Software Technology, 43:137\u2013149, 2001.","journal-title":"Information and Software Technology"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"R. M. Hierons","year":"2002","unstructured":"R. M. Hierons and H. Ural. Reduced length checking sequences. IEEE Transactions on Computers, 51: 1111\u20131117, 2002.","journal-title":"IEEE Transactions on Computers"},{"key":"23_CR13","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of Formal Methods Europe, 96","author":"C. A. R. Hoare","year":"1996","unstructured":"C. A. R. Hoare. How did software get so reliable without proof? In Proceedings of Formal Methods Europe, 96 (Lecture Notes in Computer Science 1051), pages 1\u201317. Springer-Verlag, 1996."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M. Holcombe and F. Ipate. Correct Systems: Building a Business Process Solution. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4471-3435-0"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/stvr.4370020104","volume":"2","author":"G. Laycock","year":"1992","unstructured":"G. Laycock. Formal specification and testing: A case study. Journal of Software Testing, Verification and Reliability, 2:7\u201323, 1992.","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"D. Lee and M. Yannakakis. Principles and methods of testing finite-state machines. Proceedings of the IEEE, 84:1089\u20131123, 1996.","journal-title":"Proceedings of the IEEE"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"H. Singh, M. Conrad, and S. Sadeghipour. Test case design based on Z and the classification-tree method. In First IEEE Conference on Formal Engineering Methods, pages 81\u201390, Hiroshima, Japan, November 1997. IEEE Computer Society.","DOI":"10.1109\/ICFEM.1997.630406"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"2","author":"P. Stocks","year":"1996","unstructured":"P. Stocks and D. Carrington. A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering, 2:777\u2013793, 1996.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:03:59Z","timestamp":1737173039000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}