{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:33Z","timestamp":1725676713059},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198840"},{"type":"electronic","value":"9781447134527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3452-7_4","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T07:13:53Z","timestamp":1335251633000},"page":"51-68","source":"Crossref","is-referenced-by-count":18,"title":["A tale of two paradigms: Formal methods and software testing"],"prefix":"10.1007","author":[{"given":"D.","family":"Carrington","sequence":"first","affiliation":[]},{"given":"P.","family":"Stocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/CMPASS.1992.235766","volume-title":"Proceedings of COMPASS 1992, the Seventh Annual Conference on Computer Assurance","author":"N Amla","year":"1992","unstructured":"Amla N, Ammann P. Using Z specifications in category partition testing. In Proceedings of COMPASS 1992, the Seventh Annual Conference on Computer Assurance, pp 3\u201310, 1992."},{"key":"4_CR2","volume-title":"Technical report, Programming Research Group","author":"SM Brien","year":"1992","unstructured":"Brien SM, Nicholls JE. Z base standard version 1. 0. Technical report, Programming Research Group, Oxford University Computing Laboratory, Oxford University, 1992."},{"key":"4_CR3","volume-title":"Z User Workshop. Springer-Verlag","author":"E Cusack","year":"1993","unstructured":"Cusack E, Wezeman C. Deriving tests for objects specified in Z. In Bowen JP, Nicholls JE (eds), Z User Workshop. Springer-Verlag, 1993."},{"key":"4_CR4","volume-title":"Technical Report RAD\/DMA\/92027, Research and Advanced Development, Bull Systems Products, BULL S.A.","author":"J Dick","year":"1992","unstructured":"Dick J, Faivre A. Automatic partition analysis of VDM specifications. Technical Report RAD\/DMA\/92027, Research and Advanced Development, Bull Systems Products, BULL S.A., Rue Jean Jaur\u00e8s, 78340 Les Clayes-sous-Bois, France, 1992."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"Industrial Strength Formal Methods","author":"J Dick","year":"1993","unstructured":"Dick J, Faivre A. Automating the generation and sequencing of test cases from model-based specifications. In Woodcock JCP, Larsen PG (eds), FME\u201993 Industrial Strength Formal Methods, Lecture Notes in Computer Science 670, pp 268\u2013284. Springer-Verlag, 1993."},{"key":"4_CR6","volume-title":"Australia","author":"R Duke","year":"1991","unstructured":"Duke R, King P, Rose G, Smith G. The Object-Z specification language version 1. Technical Report 91\u20131, Software Verification Research Centre, The University of Queensland, Queensland 4072, Australia, 1991."},{"key":"4_CR7","volume-title":"Second IEE\/BCS Conference on Software Engineering 88, pp 159-163. IEE","author":"PAV Hall","year":"1988","unstructured":"Hall PAV. Towards testing with respect to formal specifications. In Second IEE\/BCS Conference on Software Engineering 88, pp 159\u2013163. IEE, 1988."},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0950-5849(91)90023-5","volume":"33","author":"PAV Hall","year":"1991","unstructured":"Hall PAV. Relationship between specifications and testing. Information and Software Technology, 33 (1): 47\u201352, 1991.","journal-title":"Information and Software Technology"},{"issue":"1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/TSE.1986.6312926","volume":"12","author":"IJ Hayes","year":"1986","unstructured":"Hayes IJ. Specification directed module testing. IEEE Transactions on Software Engineering, 12 (1): 124\u2013133, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/stvr.4370020104","volume":"2","author":"G Laycock","year":"1992","unstructured":"Laycock G. Formal specification and testing: A case study. Journal of Software Testing, Verification and Reliability, 2 (1): 7\u201323, 1992.","journal-title":"Verification and Reliability"},{"key":"4_CR11","volume-title":"Wiley-Interscience","author":"GJ Myers","year":"1979","unstructured":"Myers GJ. The Art of Software Testing. Business data processing. WileyInterscience, 1979."},{"issue":"6","key":"4_CR12","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"TJ Ostrand","year":"1988","unstructured":"Ostrand TJ, Balcer MJ. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31 (6): 676\u2013686, 1988.","journal-title":"Communications of the ACM"},{"key":"4_CR13","first-page":"105","volume-title":"Proceedings of the 14th International Conference on Software Engineering","author":"DJ Richardson","year":"1992","unstructured":"Richardson DJ, Aha SL, O\u2019Malley TO. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, pp 105\u2013118, 1992."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/75308.75319","volume":"14","author":"DJ Richardson","year":"1989","unstructured":"Richardson DJ, O\u2019Malley O, Tittle C. Approaches to specification-based testing. Software Engineering Notes, 14(8):86\u201396, 1989. Proceedings of the ACM SIGSOFT \u201889 Third Symposium on Software Testing, Analysis, and Verification (TAV3).","journal-title":"Proceedings of the ACM SIGSOFT \u201889 Third Symposium on Software Testing, Analysis, and Verification (TAV3)"},{"key":"4_CR15","volume-title":"Prentice Hall International, second edition","author":"JM Spivey","year":"1992","unstructured":"Spivey JM. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, second edition, 1992."},{"key":"4_CR16","volume-title":"Applying formal methods to software testing. PhD thesis","author":"P Stocks","year":"1993","unstructured":"Stocks P. Applying formal methods to software testing. PhD thesis, The University of Queensland, 1993. ( Under examination)."},{"key":"4_CR17","first-page":"11","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA93)","author":"P Stocks","year":"1993","unstructured":"Stocks P, Carrington DA. Test template framework: A specification-based testing case study. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA\u201993), pp 11\u201318, 1993."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1109\/ICSE.1993.346025","volume-title":"Proceedings of the 15th International Conference on Software Engineering","author":"P Stocks","year":"1993","unstructured":"Stocks P, Carrington DA. Test templates: A specification-based testing framework. In Proceedings of the 15th International Conference on Software Engineering, pp 405\u2013414, 1993."},{"key":"4_CR19","volume-title":"Protocol Specification","author":"CD Wezeman","year":"1990","unstructured":"Wezeman CD. The CO-OP method for compositional derivation of canonical testers. In Brinksma E, Scollo G, Vissers CA (eds), Protocol Specification, Testing and Verification IX. North Holland, 1990."}],"container-title":["Workshops in Computing","Z User Workshop, Cambridge 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3452-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:51:10Z","timestamp":1556700670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}