{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:51:16Z","timestamp":1743036676859,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217678"},{"type":"electronic","value":"9783642217685"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21768-5_3","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T09:18:53Z","timestamp":1309166333000},"page":"15-32","source":"Crossref","is-referenced-by-count":2,"title":["Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs"],"prefix":"10.1007","author":[{"given":"Nazareno M.","family":"Aguirre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria S.","family":"Bengolea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan P.","family":"Galeotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-Based Testing with AsmL.NET. In: Proceedings of the 1st European Conference on Model-Driven Software Engineering (2003)"},{"key":"3_CR2","volume-title":"Proceedings of International Symposium on Software Testing and Analysis ISSTA 2002","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing based on Java Predicates. In: Proceedings of International Symposium on Software Testing and Analysis ISSTA 2002. ACM Press, New York (2002)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Galeotti, J.P., Rosner, N., L\u00f3pez Pombo, C., Frias, M.: Analysis of invariants for efficient bounded verification. In: Proceedings of the 19th International Symposium on Software Testing and Analysis ISSTA 2010. ACM Press, Trento (2010)","DOI":"10.1145\/1831708.1831712"},{"key":"3_CR4","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering ICSE 2010","author":"M. Gligoric","year":"2010","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in UDITA. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering ICSE 2010. ACM Press, Cape Town (2010)"},{"key":"3_CR5","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"3_CR6","volume-title":"Lessons Learned in Software Testing","author":"C. Kaner","year":"2001","unstructured":"Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. Wiley, Chichester (2001)"},{"key":"3_CR7","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":"3_CR8","volume-title":"Program Development in Java: Abstraction, Specification and Object-Oriented Design","author":"B. Liskov","year":"2000","unstructured":"Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley, Reading (2000)"},{"key":"3_CR9","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":"3_CR10","volume-title":"Proceedings of International Conference on Software Engineering ICSE 2007","author":"A. Milicevic","year":"2007","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A Tool for Generating Structurally Complex Test Inputs. In: Proceedings of International Conference on Software Engineering ICSE 2007. IEEE Press, Los Alamitos (2007)"},{"key":"3_CR11","unstructured":"MuJava Home Page, \n                  \n                    http:\/\/www.cs.gmu.edu\/offutt\/mujava\/"},{"key":"3_CR12","volume-title":"Proceedings of the 5th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC\/FSE 2005","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A Concolic Unit Testing Engine for C. In: Proceedings of the 5th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC\/FSE 2005. ACM Press, New York (2005)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-10373-5_5","volume-title":"Formal Methods and Software Engineering","author":"J. Siddiqui","year":"2009","unstructured":"Siddiqui, J., Khurshid, S.: An Empirical Study of Structural Constraint Solving Techniques. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 88\u2013106. Springer, Heidelberg (2009)"},{"key":"3_CR14","volume-title":"Proceedings of the 2nd International Conference on Software Testing Verification and Validation ICST 2009","author":"J. Siddiqui","year":"2009","unstructured":"Siddiqui, J., Khurshid, S.: PKorat: Parallel Generation of Structurally Complex Test Inputs. In: Proceedings of the 2nd International Conference on Software Testing Verification and Validation ICST 2009. IEEE Computer Society, Los Alamitos (2009)"},{"key":"3_CR15","volume-title":"Proceedings of International Symposium on Software Testing and Analysis ISSTA 2004","author":"W. Visser","year":"2004","unstructured":"Visser, W., Pasareanu, C., Khurshid, S.: Test Input Generation with Java PathFinder. In: Proceedings of International Symposium on Software Testing and Analysis ISSTA 2004. ACM Press, New York (2004)"},{"key":"3_CR16","volume-title":"Proceedings of the 19th IEEE International Conference on Automated Software Engineering ASE 2004","author":"T. Xie","year":"2004","unstructured":"Xie, T., Marinov, D., Notkin, D.: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering ASE 2004. IEEE Computer Society, Linz (2004)"},{"key":"3_CR17","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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21768-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:57:15Z","timestamp":1558295835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21768-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217678","9783642217685"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21768-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}