{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T02:17:39Z","timestamp":1712369859691},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s13198-011-0060-y","type":"journal-article","created":{"date-parts":[[2011,8,8]],"date-time":"2011-08-08T08:05:26Z","timestamp":1312790726000},"page":"144-154","source":"Crossref","is-referenced-by-count":4,"title":["Data refinement based testing"],"prefix":"10.1007","volume":"2","author":[{"given":"David","family":"Faitelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,9]]},"reference":[{"key":"60_CR1","unstructured":"Andoni A, Daniliuc D, Khurshid S, Marinov D (2002) Evaluating the \u201csmall scope hypothesis\u201d. Tech Rep, POPL\u201902: Proceedings of the 29th ACM Symposium on the Principles of Programming Languages, Menlo Park"},{"key":"60_CR2","doi-asserted-by":"crossref","unstructured":"Beckert B, H\u00e4hnle R, Schmitt PH (eds.) (2007) Verification of object-oriented software: The KeY Approach. LNCS 4334. Springer","DOI":"10.1007\/978-3-540-69061-0"},{"key":"60_CR3","unstructured":"Berre DL (2011) SAT4J, a satisfiability library for Java. http:\/\/www.sat4j.org"},{"key":"60_CR4","doi-asserted-by":"crossref","unstructured":"Engel C, H\u00e4hnle R (2007) Generating unit tests from formal proofs. In: TAP, pp 169\u2013188","DOI":"10.1007\/978-3-540-73770-4_10"},{"key":"60_CR5","volume-title":"Computers and intractability: a guide to the Theory of NP-completeness","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman, New York"},{"key":"60_CR6","unstructured":"Hartman A, Nagin K (2003) Model driven testing\u2014AGEDIS architecture interfaces and tools. In: 1st European Conference on Model Driven Software Engineering, pp 1\u201311"},{"key":"60_CR7","volume-title":"Software abstractions: logic, language, and analysis","author":"D Jackson","year":"2006","unstructured":"Jackson D (2006) Software abstractions: logic, language, and analysis. MIT Press, Cambridge"},{"key":"60_CR8","volume-title":"Model-based software testing and analysis with C#","author":"J Jacky","year":"2008","unstructured":"Jacky J, Veanes M, Campbell C, Schulte W (2008) Model-based software testing and analysis with C#. Cambridge University Press, Cambridge"},{"issue":"4","key":"60_CR9","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard C, J\u00e9ron T (2005) Tgv: theory, principles and algorithms. Int J Softw Tools Technol Transf (STTT) 7(4):297\u2013315","journal-title":"Int J Softw Tools Technol Transf (STTT)"},{"issue":"4","key":"60_CR10","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1023\/B:AUSE.0000038938.10589.b9","volume":"11","author":"S Khurshid","year":"2004","unstructured":"Khurshid S, Marinov D (2004) TestEra specification-based testing of Java programs using SAT. Autom Softw Eng 11(4):403\u2013434","journal-title":"Autom Softw Eng"},{"key":"60_CR11","unstructured":"Lecomte T, Servat T, Pouzancre G (2007) Formal methods in safety-critical railway systems. In: Brazilian Symposium on Formal Methods, ClearSy, Aix en Provence"},{"key":"60_CR12","volume-title":"Object-oriented software construction, 2nd edn","author":"B Meyer","year":"2000","unstructured":"Meyer B (2000) Object-oriented software construction 2nd edn. Prentice Hall, Upper Saddle River"},{"key":"60_CR13","doi-asserted-by":"crossref","unstructured":"Milicevic A, Misailovic S, Marinov D, Khurshid S (2007) Korat: a tool for generating structurally complex test inputs. In: The International Conference on Software Engineering, IEEE pp 771\u2013774","DOI":"10.1109\/ICSE.2007.48"},{"key":"60_CR14","volume-title":"Fit for developing software: framework for integrated tests","author":"R Mugridge","year":"2005","unstructured":"Mugridge R, Cunningham W (2005) Fit for Developing Software: framework for integrated tests. Prentice Hall, Upper Saddle River"},{"key":"60_CR15","unstructured":"Parnas DL (1992) Tabular representation of relations. CRL Report 260, Research Institute of Ontario (TRIO), McMaster University, Hamilton"},{"key":"60_CR16","doi-asserted-by":"crossref","unstructured":"Robinson K (1997) The B method and the Btoolkit. In: Algebraic methodology and software technology, Springer, Berlin pp 576\u2013580","DOI":"10.1007\/BFb0000503"},{"key":"60_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data refinement: model-oriented proof methods and their comparison. Cambridge tracts in theoretical computer science","author":"W Roever de","year":"1998","unstructured":"de Roever W, Engelhardt K (1998) Data Refinement: model-oriented proof methods and their comparison. Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge"},{"key":"60_CR18","doi-asserted-by":"crossref","unstructured":"Torlak E, Jackson D (2007) Kodkod: a relational model finder. In: Tools and algorithms for the construction and analysis of systems, LNCS, vol 4424, chap 49. Springer, Berlin, pp 632\u2013647","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"60_CR19","doi-asserted-by":"crossref","unstructured":"Veanes M, Campbell C, Grieskamp W, Schulte W, Tillmann N, Nachmanson L (2008) Model-based testing of object-oriented reactive systems with Spec Explorer. In: Formal methods and testing, LNCS, vol 4949, Springer, Berlin, pp 39\u201376","DOI":"10.1007\/978-3-540-78917-8_2"},{"key":"60_CR20","volume-title":"Using Z: specification, refinement, and proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock J, Davies J (1996) Using Z: specification, refinement, and proof. Prentice Hall, Upper Saddle River"},{"issue":"1","key":"60_CR21","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s00165-007-0060-5","volume":"20","author":"J Woodcock","year":"2007","unstructured":"Woodcock J, Stepney S, Cooper D, Clark J, Jacob J (2007) The certification of the Mondex electronic purse to ITSEC level E6. Form Asp Comput 20(1):5\u201319","journal-title":"Form Asp Comput"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0060-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-011-0060-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0060-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T18:18:44Z","timestamp":1560449924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-011-0060-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["60"],"URL":"https:\/\/doi.org\/10.1007\/s13198-011-0060-y","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}