{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:26:04Z","timestamp":1725798364953},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_6","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T05:27:28Z","timestamp":1407130048000},"page":"65-80","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations"],"prefix":"10.1007","author":[{"given":"Maria","family":"Christakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"W\u00fcstholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA, pp. 123\u2013133. ACM (2002)","DOI":"10.1145\/566171.566191"},{"key":"6_CR2","unstructured":"Dimja\u0161evi\u0107, M., Rakamari\u0107, Z.: JPF-Doop: Combining concolic and random testing for Java. In: Java Pathfinder Workshop. Extended abstract (2013)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-70592-5_18","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Drossopoulou","year":"2008","unstructured":"Drossopoulou, S., Francalanza, A., M\u00fcller, P., Summers, A.J.: A unified framework for verification techniques for object invariants. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 412\u2013437. Springer, Heidelberg (2008)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program.\u00a069, 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: SAC, pp. 2103\u20132110. ACM (2010)","DOI":"10.1145\/1774088.1774531"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Garg, P., Ivan\u010di\u0107, F., Balakrishnan, G., Maeda, N., Gupta, A.: Feedback-directed unit test generation for C\/C++ using concolic execution. In: ICSE, pp. 132\u2013141. ACM (2013)","DOI":"10.1109\/ICSE.2013.6606559"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: PLDI, pp. 213\u2013223. ACM (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Inkumsah, K., Xie, T.: Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs. In: ASE, pp. 425\u2013428. ACM (2007)","DOI":"10.1145\/1321631.1321700"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-24851-4_22","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"K.R.M. Leino","year":"2004","unstructured":"Leino, K.R.M., M\u00fcller, P.: Object invariants in dynamic contexts. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013515. Springer, Heidelberg (2004)"},{"key":"6_CR10","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)"},{"issue":"9","key":"6_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B. Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. IEEE Computer\u00a042(9), 46\u201355 (2009)","journal-title":"IEEE Computer"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.scico.2006.03.001","volume":"62","author":"P. M\u00fcller","year":"2006","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A., Leavens, G.T.: Modular invariants for layered object structures. Sci. Comput. Program.\u00a062, 253\u2013286 (2006)","journal-title":"Sci. Comput. Program."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: ICSE, pp. 75\u201384. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.37"},{"key":"6_CR14","unstructured":"Poetzsch-Heffter, A.: Specification and verification of object-oriented programs. Habilitation thesis. Technical University of Munich (1997)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"P\u01ces\u01cereanu, C.S., Mehlitz, P.C., Bushnell, D.H., Gundy-Burlet, K., Lowry, M., Person, S., Pape, M.: Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In: ISSTA, pp. 15\u201326. ACM (2008)","DOI":"10.1145\/1390630.1390635"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: ESEC, pp. 263\u2013272. ACM (2005)","DOI":"10.21236\/ADA482657"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Thummalapenta, S., Xie, T., Tillmann, N., de Halleux, J., Schulte, W.: MSeqGen: Object-oriented unit-test generation via mining source code. In: ESEC\/SIGSOFT FSE, pp. 193\u2013202. ACM (2009)","DOI":"10.1145\/1595696.1595725"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Thummalapenta, S., Xie, T., Tillmann, N., de Halleux, J., Su, Z.: Synthesizing method sequences for high-coverage testing. In: OOPSLA, pp. 189\u2013206. ACM (2011)","DOI":"10.1145\/2076021.2048083"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2014White box test generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: ESEC\/SIGSOFT FSE, pp. 119\u2013128. ACM (2005)","DOI":"10.1145\/1081706.1081745"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Tonella, P.: Evolutionary testing of classes. In: ISSTA, pp. 119\u2013128. ACM (2004)","DOI":"10.1145\/1013886.1007528"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Xie","year":"2005","unstructured":"Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: A framework for generating object-oriented unit tests using symbolic execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 365\u2013381. Springer, Heidelberg (2005)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, S., Saff, D., Bu, Y., Ernst, M.D.: Combined static and dynamic automated test generation. In: ISSTA, pp. 353\u2013363. ACM (2011)","DOI":"10.1145\/2001420.2001463"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:37:53Z","timestamp":1558949873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}