{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:34:51Z","timestamp":1700181291833},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1007\/bf00402650","type":"journal-article","created":{"date-parts":[[2004,11,9]],"date-time":"2004-11-09T07:19:50Z","timestamp":1099984790000},"page":"309-327","source":"Crossref","is-referenced-by-count":25,"title":["Using formal specifications to support software testing"],"prefix":"10.1007","volume":"4","author":[{"given":"Hans-Martin","family":"H\ufffdrcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Carrington, D. and Stocks, P. (1994) A tale of two paradigms: formal methods and software testing. In J. P. Bowen and J. A. Hall, eds, Z User Workshop, Cambridge, June 1994, Workshops in Computing, pp. 51?68. BCS FACS, Springer Verlag.","DOI":"10.1007\/978-1-4471-3452-7_4"},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/151257.151258","volume":"2","author":"R. Demillo","year":"1993","unstructured":"DemilloR. and OffuttA.J. (1993) Experimental results from an automatic test case generator. ACM Transactions on Software Engineering 2(2) 109?127.","journal-title":"ACM Transactions on Software Engineering"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Dick, J. and Faivre, A. (1993) Automating the generation and sequencing of test cases from model-based specifications. In J.C.P. Woodcock and P.G. Larsen, eds, FME'93: Industrial-Strength Formal Methods, number 670 in Lecture Notes in Computer Science, pp. 268?284. FME Europe, Springer Verlag.","DOI":"10.1007\/BFb0024651"},{"key":"CR4","unstructured":"Diller, A. (1990) Z: An Introduction to Formal Methods, 1st edn. (John Wile & Sons, 1990)."},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"GrochtmannM. and GrimmK. (1993) Classification trees for partition testing. Software Testing, Verification and Reliability 3(2), 63?82.","journal-title":"Software Testing, Verification and Reliability"},{"issue":"3","key":"CR6","first-page":"128","volume":"8","author":"W. Gutjahr","year":"1993","unstructured":"GutjahrW. (1993) Automatische Testdatengenerierung zur Unterst\u00fczung des Softwaretests. Informatik Forschung und Entwicklung 8(3), 128?136.","journal-title":"Informatik Forschung und Entwicklung"},{"issue":"2","key":"CR7","first-page":"41","volume":"13","author":"H.-M. H\u00f6rcher","year":"1993","unstructured":"H\u00f6rcherH.-M. (1993) Das DST-Unittestbed zur automatisierten Durchf\u00fchrung von Unittests. GI-Softwaretechnik Trends, Mitteilungen der Fachgruppe ?Software-Engineering? 13(2), 41?49.","journal-title":"GI-Softwaretechnik Trends, Mitteilungen der Fachgruppe ?Software-Engineering?"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"H\u00f6rcher, H.-M. (1995) Improving software tests using Z specifications. In Z User Meeting-ZUM'95, Lecture Notes in Computer Science. BCS FACS, Springer Verlag.","DOI":"10.1007\/3-540-60271-2_118"},{"key":"CR9","unstructured":"H\u00f6rcher, H.-M. and Peleska, J. (1993) The role of formal specifications in software testing. In Tutorial Notes for the FME'94 Symposium. Formal Methods Europe, October 1994."},{"key":"CR10","unstructured":"Hamer, U. and Peleska, J. (1995) The Airbus A330\/340 Cabin Communication System-A Z Application. In Michael G. Hinchey and Jonathan Bowen, eds, Applications of Formal Methods, Series in Computer Science. (Prentice Hall International, 1995)."},{"key":"CR11","unstructured":"Jones, C.B. (1986) Systematic Software Development using VDM. Series in Computer Science. (Prentice Hall International, 1986)."},{"key":"CR12","unstructured":"Mikk, E. (1993) Automatic compilation of Z specifications into C for automatic test result evaluation. Master's thesis, Christian Albrecht Universit\u00e4t Kiel, December 1993."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Mikk, E. (1995) Compilation of Z specifications into C for automatic test result evaluation. In Z User Meeting-ZUM'95, Lecture Notes in computer Science. (BCS FACS, Springer Verlag).","DOI":"10.1007\/3-540-60271-2_119"},{"key":"CR14","unstructured":"Myers, G.J. (1979) The Art of Software Testing. (John Wiley & Sons, 1979)."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Scullard, G.T. (1988) Test case selection using VDM. In R. Bloomfield, L. Marshall, and R. Jones, eds, VDM88: VDM?The Way Ahead, number 328 in Lecture Notes in Computer Science, pp. 178?186. (VDM Europe, Springer Verlag).","DOI":"10.1007\/3-540-50214-9_16"},{"key":"CR16","unstructured":"Spivey, M. (1992) The Z Notation?A Reference Manual, 2nd edn. International Series in Computer Science. (Prentice Hall International, 1992)."},{"key":"CR17","unstructured":"Wordsworth, J.B. (1992) Software Development with Z. International Computer Science Series. (Addison Wesley, 1992)."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00402650.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00402650\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00402650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T22:18:31Z","timestamp":1554329911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00402650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF00402650"],"URL":"https:\/\/doi.org\/10.1007\/bf00402650","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}