{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:39Z","timestamp":1725490239169},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304729"},{"type":"electronic","value":"9783642304736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30473-6_4","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:12Z","timestamp":1337945352000},"page":"19-34","source":"Crossref","is-referenced-by-count":1,"title":["Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites"],"prefix":"10.1007","author":[{"given":"Valeria","family":"Bengolea","sequence":"first","affiliation":[]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-21768-5_3","volume-title":"Tests and Proofs","author":"N. Aguirre","year":"2011","unstructured":"Aguirre, N., Bengolea, V., Frias, M., Galeotti, J.: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol.\u00a06706, pp. 15\u201332. Springer, Heidelberg (2011)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing based on Java Predicates. In: Proc. of Intl. Symposium on Software Testing and Analysis ISSTA 2002. ACM Press (2002)","DOI":"10.1145\/566172.566191"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"4_CR4","unstructured":"Code Contracts, \n                    \n                      http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Daniel, B., Dig, D., Garc\u00eda, K., Marinov, D.: Automated Testing of Refactoring Engines. In: Proc. of European Software Engineering Conference and Intl. Symposium on Foundations of Software Engineering ESEC\/FSE 2007. ACM Press (2007)","DOI":"10.1145\/1287624.1287651"},{"key":"4_CR6","unstructured":"Myers, G.J.: The Art of Sofware Testing, 2nd edn. John Wiley & Sons, Inc. (2004)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test Generation through Programming in UDITA. In: Proc. of Intl. Conference on Software Engineering ICSE 2010. ACM Press (2010)","DOI":"10.1145\/1806799.1806835"},{"key":"4_CR8","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-00593-0_12","volume-title":"Fundamental Approaches to Software Engineering","author":"V. Jagannath","year":"2009","unstructured":"Jagannath, V., Lee, Y.Y., Daniel, B., Marinov, D.: Reducing the Costs of Bounded-Exhaustive Testing. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 171\u2013185. Springer, Heidelberg (2009)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Marinov, D.: TestEra: Specification-Based Testing of Java Programs Using SAT. Automated Software Engineering\u00a011(4) (2004)","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"4_CR11","unstructured":"Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley (2000)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.-R.: MuJava: An Automated Class Mutation System. Journal of Software Testing, Verification and Reliability\u00a015(2) (2005)","DOI":"10.1002\/stvr.308"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A Tool for Generating Structurally Complex Test Inputs. In: Proc. of Intl. Conference on Software Engineering ICSE 2007. IEEE Press (2007)","DOI":"10.1109\/ICSE.2007.48"},{"key":"4_CR14","unstructured":"MuJava, \n                    \n                      http:\/\/www.cs.gmu.edu\/~offutt\/mujava\/"},{"key":"4_CR15","unstructured":"Roops, \n                    \n                      http:\/\/code.google.com\/p\/roops\/"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Elbaum, S., Malishevsky, A., Kallakuri, P., Davia, B.: The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing. In: Proc. of Intl. Conference on Software Engineering ICSE 2002. ACM Press (2002)","DOI":"10.1145\/581356.581358"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Sullivan, K., Yang, J., Coppit, D., Khurshud, S., Jackson, D.: Software Assurance by Bounded Exhaustive Testing. In: Proc. of Intl. Symposium on Software Testing and Analysis ISSTA 2004. ACM Press (2004)","DOI":"10.1145\/1007512.1007531"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Yu, Y., Jones, J., Harrold, M.: An Empirical Study of the Effects of Test-Suite Reduction on Fault Localization. In: Proc. of Intl. Conference on Software Engineering ICSE 2008. ACM Press (2008)","DOI":"10.1145\/1368088.1368116"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Zhu, H., Hall, P., May, J.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys\u00a029(4) (1997)","DOI":"10.1145\/267580.267590"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30473-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:41:38Z","timestamp":1620114098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30473-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304729","9783642304736"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30473-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}