{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:46:54Z","timestamp":1725558414789},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408017"},{"type":"electronic","value":"9783540452201"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45220-1_2","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T19:33:58Z","timestamp":1277494438000},"page":"15-28","source":"Crossref","is-referenced-by-count":0,"title":["The Commuting V-Diagram"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Aichernig, B.K.: Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, Supervisor: Peter Lucas (January 2001)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/3-540-45251-6_33","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"B.K. Aichernig","year":"2001","unstructured":"Aichernig, B.K.: Test-case calculation through abstraction. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 571\u2013589. Springer, Heidelberg (2001)"},{"issue":"8","key":"2_CR3","first-page":"710","volume":"7","author":"B.K. Aichernig","year":"2001","unstructured":"Aichernig, B.K.: Test-Design through Abstraction: a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science\u00a07(8), 710\u2013735 (2001)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR4","unstructured":"Aichernig, B.K.: Contract-based mutation testing in the refinement calculus. In: REFINE 2002, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21 (2002), affiliated with FME 2002 (2002)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1460","DOI":"10.1007\/3-540-48118-4_27","volume-title":"FM\u201999 - Formal Methods","author":"R. Back","year":"1999","unstructured":"Back, R., Mikhajlova, A., von Wright, J.: Reasoning about interactive systems. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1460\u20131476. Springer, Heidelberg (1999)"},{"key":"2_CR6","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus, a Systematic Introduction","author":"R.-J. Back","year":"1998","unstructured":"Back, R.-J., von Wright, J.: Refinement Calculus, a Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998)"},{"key":"2_CR7","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":"Derrick, J., Boiten, E.: Testing refinements of state-based formal specifications. Software Testing, Verification and Reliability\u00a09, 27\u201350 (1999)","journal-title":"Software Testing, Verification and Reliability"},{"key":"2_CR8","volume-title":"The United Nations University\/ International Institute for Software Technology 10th Anniversary Colloquium: Formal Methods at the Crossroads, from Panacea to Foundational Support","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: Towards the Verifying Compiler. In: The United Nations University\/ International Institute for Software Technology 10th Anniversary Colloquium: Formal Methods at the Crossroads, from Panacea to Foundational Support, Lisbon, March 18\u201321, 2002, Springer, Heidelberg (2003) (to be published)"},{"key":"2_CR9","volume-title":"Conceptual Mathematics: a First Introduction to Categories","author":"F. William Lawvere","year":"1997","unstructured":"William Lawvere, F., Schanuel, S.H.: Conceptual Mathematics: a First Introduction to Categories. Cambridge University Press, Cambridge (1997)"},{"key":"2_CR10","series-title":"Series in Computer Science","volume-title":"Programming from Specifications.","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications., 2nd edn. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1994)","edition":"2"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-45614-7_19","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"C. Pahl","year":"2002","unstructured":"Pahl, C.: Interference Analysis for Dependable Systems using Refinement and Abstraction. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, p. 330. Springer, Heidelberg (2002)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","first-page":"137","volume-title":"ZUM \u201995: The Z Formal Specification Notation","author":"S. Stepney","year":"1995","unstructured":"Stepney, S.: Testing as abstraction. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol.\u00a0967, pp. 137\u2013151. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45220-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:42:46Z","timestamp":1578519766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45220-1_2"}},"subtitle":["On the Relation of Refinement and Testing"],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408017","9783540452201"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45220-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}