{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:25Z","timestamp":1725551185084},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_22","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:11Z","timestamp":1269897191000},"page":"250-259","source":"Crossref","is-referenced-by-count":9,"title":["Automated Black-Box Testing with Abstract VDM Oracle"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book, Assigning programs to meanings. Cambridge University Press, 1996. ISBN 0521 49619 5(hardback).","DOI":"10.1017\/CBO9780511624162"},{"key":"22_CR2","unstructured":"Lionel Van Aertryck. Une m\u00e9thode et un outil pour l\u2019aide \u00e0 la g\u00e9n\u00e9ration de jeux de tests de logiciels. PhD thesis, Universit\u00e9 de Rennes, January 1998."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Sten Agerholm, Pierre-Jean Lecoeur, and Etienne Reichert. Formal specification and validation at work: A case study using VDM-SL. In Proceedings of Second Workshop on Formal Methods in Software Practice, Florida, Marts. ACM, 1998.","DOI":"10.1145\/298595.298861"},{"key":"22_CR4","unstructured":"Bernhard K. Aichernig. Automated requirements testing with abstract oracles. In ISSRE\u201998: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 21\u201322, IBM Thomas J. Watson Research Center, P.O.Box 218, Route 134, Yorktown Heights, NY, USA, November 1998. Ram Chillarege. ISBN 3-00-003410-2."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","volume-title":"FME\u201997: Industrial Applications and Strengthened Foundations of Formal Methods","author":"B. K. Aichernig","year":"1997","unstructured":"Bernhard K. Aichernig and Peter Gorm Larsen. A proof obligation generator for VDM-SL. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, FME\u201997: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, 1997."},{"issue":"2","key":"22_CR6","first-page":"2","volume":"4","author":"B. K. Aichernig","year":"1998","unstructured":"Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung \u2014 eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2\u20138, 1998. ISSN 1028-5068.","journal-title":"Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)"},{"key":"22_CR7","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, 2nd edition, 1990.","edition":"2nd edition"},{"issue":"9","key":"22_CR8","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TSE.1986.6313053","volume":"SE-12","author":"R. E. Bloomfield","year":"1986","unstructured":"R. E. Bloomfield and P. K. D. Froome. The application of formal methods to the assessment of high integrity software. IEEE Transactions on Software Engineering, SE-12(9):988\u2013993, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J. C. P. Woodcock and P. G. Larsen, editors, FME\u201993: Industrial-Strength Formal Methods. Springer-Verlag, April 1993.","DOI":"10.1007\/BFb0024633"},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1007\/BFb0030644","volume-title":"TAPSOFT\u2019 97:Theory and Practice of Software Development, 7th International Joint Conference CAAP\/FASE","author":"M. R. Donat","year":"1997","unstructured":"Michael R. Donat. Automating formal specification-based testing. In Michel Bidoit and Max Dauchet, editors, TAPSOFT\u2019 97:Theory and Practice of Software Development, 7th International Joint Conference CAAP\/FASE, volume 1214 of Lecture Notes in Computer Science, pages 833\u2013847. Springer-Verlag, April 1997."},{"key":"22_CR11","unstructured":"John Fitzgerald and Peter Gorm Larsen. Modelling Sytems, Practical Tools and Techniques. Cambridge University Press, 1998."},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-60973-3_87","volume-title":"FME96, Industrial Benefit and Advances in Formal Methods","author":"B. Fr\u00f6hlich","year":"1996","unstructured":"Brigitte Fr\u00f6hlich and Peter Gorm Larsen. Combining VDM-SL specifications with C++ code. In Marie-Claude Gaudel and Jim Woodcock, editors, FME96, Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science, pages 179\u2013194. Springer, March 1996."},{"key":"22_CR13","unstructured":"Chris George et al. The Raise Development Method. The BCS Practitioner Series. Prentice Hall, 1995."},{"key":"22_CR14","series-title":"Report","volume-title":"The value of reference implementations and prototyping in a formal design and testing methodology","author":"A. Harry","year":"1992","unstructured":"Andrew Harry. The value of reference implementations and prototyping in a formal design and testing methodology. Report 208\/92, National Physical Laboratory, Queen\u2019s Road, Teddington, Middelsex TW11 0LW, UK, October 1992."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Steffen Helke, Thomas Neustupny, and Thomas Santen. Automating test case generation from Z specifications with Isabelle. In ZUM\u201997, 1997.","DOI":"10.1007\/BFb0027283"},{"key":"22_CR16","volume-title":"Formal specification of a voice communication system used in air traffic control","author":"J. H\u00f6rl","year":"1998","unstructured":"Johann H\u00f6rl. Formal specification of a voice communication system used in air traffic control. Master\u2019s thesis, Institute for Software Technology (IST), Technical University Graz, Austria, December 1998."},{"key":"22_CR17","unstructured":"IFAD. IFAD\u2019s homepage. http:\/\/www.ifad.dk\/ ."},{"key":"22_CR18","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1990","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, second edition, 1990.","edition":"second edition"},{"issue":"4","key":"22_CR19","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.488361","volume":"29","author":"C. B. Jones","year":"1996","unstructured":"Cliff B. Jones. Formal methods light: A rigorous approach to formal methods. IEEE Computer, 29(4):20\u201321, April 1996.","journal-title":"IEEE Computer"},{"key":"22_CR20","unstructured":"P. G. Larsen, B. S. Hansen, H. Bruun, N. Plat, H. Toetenel, D. J. Andrews, J. Dawes, G. Parkin, et al. Information technology \u2014 Programming languages, their environments and system software interfaces \u2014 Vienna Development Method \u2014 Specification Language \u2014 Part 1: Base language, December 1996. International Standard ISO\/IEC 13817-1."},{"issue":"1","key":"22_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0164-1212(90)90062-Q","volume":"12","author":"J. Laski","year":"1990","unstructured":"Janusz Laski. Data ow testing in STAD. The Journal of Systems and Software, 12(1):3\u201314, 1990.","journal-title":"The Journal of Systems and Software"},{"key":"22_CR22","unstructured":"OMG. The common object request broker architecture and specification, revision 2.0. Technical report, OMG, 1996."},{"key":"22_CR23","unstructured":"Jesper Pedersen. Automatic test case generation and instantiation for VDM-SL specifications. Master\u2019s thesis, Department of Mathematics and Computer Science, Odense University, September 1998."},{"key":"22_CR24","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"J. Peleska and M. Siegel. Test automation of safety-critical reactive systems. South African Computer Jounal, 19:53\u201377, 1997.","journal-title":"South African Computer Jounal"},{"key":"22_CR25","unstructured":"J. M. Spivey. The Z Notation. Series in Computer Science. Prentice-Hall, 1989."},{"key":"22_CR26","unstructured":"Philip Alan Stocks. Applying formal methods to software testing. PhD thesis, The Department of computer science, The University of Queensland, 1993."},{"key":"22_CR27","unstructured":"Ole Storm. The VDM Toolbox API users guide. Technical report, IFAD, 1998."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"H. Treharne, J. Draper, and S. Schneider. Test case preparation using a prototype. In B\u201998 \u2014 Second B-Conference, 1998.","DOI":"10.1007\/BFb0053368"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:57:10Z","timestamp":1558983430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}