{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:34Z","timestamp":1772532934255,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540566627","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024651","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"268-284","source":"Crossref","is-referenced-by-count":217,"title":["Automating the generation and sequencing of test cases from model-based specifications"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Dick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Faivre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Aho A. V., Dahbura A. T., Lee D., Uyar M.U., An Optimisation Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours, Proc. Protocol Specification, Test and Verification VIII, 1988"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bernot G, Gaudel M-C, Marre B, Software Testing Based on Formal Specifications: a Theory and a Tool, Software Eng. Journal, Nov 1991","DOI":"10.1049\/sej.1991.0040"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"O. Coudert, J. C. Madre, \u201cTowards a Symbolic Logic Minimization Algorithm\u201d, in Proc. of VLSI Design'93, Bombay, India, January 1993.","DOI":"10.1109\/ICVD.1993.669705"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"John Dawes, The VDM-SL Reference Guide, Pitman, 1991.","DOI":"10.1201\/9781482267419"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Tim Denvir, Introduction to Discrete Mathematics for Software Engineering, Mac Millan, 1986.","DOI":"10.1007\/978-1-349-18496-5"},{"key":"18_CR6","volume-title":"Research Report RAD\/DMA\/92027","author":"J. Dick","year":"1992","unstructured":"Jeremy Dick, Alain Faivre, Automatic Partition Analysis of VDM Specifications, Research Report RAD\/DMA\/92027, Bull Research Centre, Les Clayes-sous-Bois, France, Oct 1992"},{"key":"18_CR7","first-page":"37","volume-title":"Proc. ESEC'91","author":"D. Jeremy","year":"1991","unstructured":"Jeremy Dick, J\u00e9r\u00f4me Loubersac, Integrating Structured and Formal Methods: A Visual Approach to VDM, Proc. ESEC'91, Milan, Springer-Verlag LNCS 550, pp. 37\u201359, Oct 1991"},{"key":"18_CR8","unstructured":"L.M.G. Feijs, H.B.M. Jonkers. Specification and Design with COLD-K, Philips Research Laboratories, Eindhoven, The Netherlands."},{"key":"18_CR9","unstructured":"Hall, Patrick A. V., Towards a Theory of Test Data Selection, Second IEE\/BCS Conf. Software Engineering 88. IEE Conf. Publication Number 290. pp. 159\u2013163. 1988"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Hall, Patrick A. V., Relationship between specifications and testing, Information and Software Technology, Jan\/Feb 1991","DOI":"10.1016\/0950-5849(91)90023-5"},{"key":"18_CR11","unstructured":"Hall P. A. V., Hierons R., Formal Methods and Testing, The Open Univ. Computing Dept. Tech Report No 91\/16, August 1991"},{"key":"18_CR12","unstructured":"Cliff B. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall Int., 1990."},{"key":"18_CR13","unstructured":"J. Loubersac, VtP Users' Guide, Atmosphere deliverable No. 14.1.4.2.3.1, Bull Research Centre, 1992."},{"key":"18_CR14","unstructured":"N. D. North, Automatic Test Generation for the Triangle Problem, National Physical Laboratory Report DITC 161\/90, February 1990."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"M. Phillips, CICS\/ESA 3.1 Experience, Procs. Z Users' Group, Oxford, 1989.","DOI":"10.1007\/978-1-4471-3877-8_11"},{"key":"18_CR16","unstructured":"G. T. Scullard, Test Case Selection using VDM, In Proc. VDM'88, LNCS 328, Springer Verlag."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Sidhu D. P., Lenung T. K., Formal Methods in Protocol Testing: a Detailed Study, IEEE Trans. SE Vol 15 No 4, 1989","DOI":"10.1109\/32.16602"},{"key":"18_CR18","unstructured":"J. M. Spivey, The Z Notation, Prentice Hall, 1989."},{"key":"18_CR19","unstructured":"The RAISE Language Group, The RAISE Specification Language, Report No. CRI\/RAISE\/DOC\/1\/v1, CRI, Denmark 1991."},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"J. Woodcock, M. Loomes Software Engineering Mathematics Pitman, 1988.","DOI":"10.4324\/9780203212059"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T08:07:45Z","timestamp":1626768465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0024651","relation":{},"subject":[]}}