{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:37:07Z","timestamp":1725896227651},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307287"},{"type":"electronic","value":"9783642307294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30729-4_21","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:49:46Z","timestamp":1340786986000},"page":"296-311","source":"Crossref","is-referenced-by-count":5,"title":["Specification-Driven Unit Test Generation for Java Generic Classes"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Rebello de Andrade","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o P.","family":"Faria","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Andrade, F., Faria, J.P., Lopes, A., Paiva, A.: Specification-driven unit test generation for Java generic classes (2011), \n                  \n                    http:\/\/paginas.fe.up.pt\/~jpf\/research\/TR-QUEST-2011-01.pdf"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-540-44397-1_1","volume-title":"CASL User Manual","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.: CASL User Manual. LNCS, vol.\u00a02900, pp. 3\u20139. Springer, Heidelberg (2004)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/366378.366380","volume":"10","author":"H.Y. Chen","year":"2001","unstructured":"Chen, H.Y., Tse, T.H., Chen, T.Y.: TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM Trans. Softw. Eng. Methodol.\u00a010, 56\u2013109 (2001)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-19829-8_3","volume-title":"SBMF 2010","author":"P. Crispim","year":"2011","unstructured":"Crispim, P., Lopes, A., Vasconcelos, V.T.: Runtime Verification for Generic Classes with CONGU2. In: Davies, J. (ed.) SBMF 2010. LNCS, vol.\u00a06527, pp. 33\u201348. Springer, Heidelberg (2011)"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R.K. Doong","year":"1994","unstructured":"Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol.\u00a03, 101\u2013130 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"21_CR6","series-title":"Monographs in Theoretical Computer Science (EATCS)","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations und Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations und Initial Semantics. Monographs in Theoretical Computer Science (EATCS), vol.\u00a06. Springer, Heidelberg (1985)"},{"key":"21_CR7","first-page":"52","volume-title":"Proceedings of the 12th POPL","author":"K. Futatsugi","year":"1985","unstructured":"Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Proceedings of the 12th POPL, pp. 52\u201366. ACM, New York (1985)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-78917-8_7","volume-title":"Formal Methods and Testing","author":"M.-C. Gaudel","year":"2008","unstructured":"Gaudel, M.-C., Le Gall, P.: Testing Data Types Implementations from Algebraic Specifications. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 209\u2013239. Springer, Heidelberg (2008)"},{"key":"21_CR9","unstructured":"Hein, J.L.: Discrete Structures, Logic, and Computability. Jones & Bartlett Publishers (2009)"},{"key":"21_CR10","unstructured":"Hoffmann, M.R.: Ecclema: Java code coverage tool for Eclipse, \n                  \n                    http:\/\/www.eclemma.org\/"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Huges, M., Stotts, D.: Daistish: Systematic algebraic testing for OO programs in the presence of side-effects. In: Proc. ISSTV, pp. 53\u201361. ACM (1996)","DOI":"10.1145\/226295.226301"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Irvine, S.A., Pavlinic, T., Trigg, L., Cleary, J.G., Inglis, S., Utting, M.: Jumble Java byte code to measure the effectiveness of unit tests (2007), \n                  \n                    http:\/\/jumble.sourceforge.net\/","DOI":"10.1109\/TAIC.PART.2007.38"},{"key":"21_CR13","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"21_CR14","unstructured":"Mackinnon, T., Freeman, S., Craig, P.: Endotesting: Unit testing with mock objects. In: eXtreme Programming and Flexible Processes in Software Engineering \u2013 XP 2000 (2000)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-04694-0_9","volume-title":"Runtime Verification","author":"I. Nunes","year":"2009","unstructured":"Nunes, I., Lopes, A., Vasconcelos, V.T.: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol.\u00a05779, pp. 115\u2013131. Springer, Heidelberg (2009)"},{"key":"21_CR16","unstructured":"The Stanford Natural Language Processing Group, \n                  \n                    http:\/\/nlp.stanford.edu\/nlp\/javadoc\/javanlp\/edu\/stanford\/nlp\/util\/package-tree.html"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifications. In: Proc. International Conference on Software Testing, Verification and Validation, pp. 190\u2013198. IEEE (2008)","DOI":"10.1109\/ICST.2008.39"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30729-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:28:56Z","timestamp":1620127736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30729-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307287","9783642307294"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30729-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}