{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T07:03:35Z","timestamp":1751267015404},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989372"},{"type":"electronic","value":"9783319989389"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98938-9_6","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T15:08:34Z","timestamp":1533740914000},"page":"89-109","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Study of Integrating Random and Symbolic Testing for Object-Oriented Software"],"prefix":"10.1007","author":[{"given":"Marko","family":"Dimja\u0161evi\u0107","sequence":"first","affiliation":[]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[]},{"given":"Kasper","family":"Luckow","sequence":"additional","affiliation":[]},{"given":"Zvonimir","family":"Rakamari\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"6_CR1","unstructured":"Apt testbed facility. https:\/\/www.aptlab.net"},{"key":"6_CR2","unstructured":"ASM: A Java bytecode engineering library. http:\/\/asm.ow2.org"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/TSE.2015.2490067","volume":"42","author":"M Baluda","year":"2016","unstructured":"Baluda, M., Denaro, G., Pezz\u00e8, M.: Bidirectional symbolic analysis for effective branch testing. IEEE Trans. Softw. Eng. 42(5), 403\u2013426 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/978-3-662-49674-9_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2016","unstructured":"Beyer, D.: Reliable and reproducible competition results with BenchExec and witnesses (report on SV-COMP 2016). In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 887\u2013904. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_55"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Boshernitsan, M., Doong, R., Savoia, A.: From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing. In: ISSTA, pp. 169\u2013180 (2006)","DOI":"10.1145\/1146238.1146258"},{"key":"6_CR6","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209\u2013224 (2008)"},{"key":"6_CR7","unstructured":"Cho, C.Y., Babi\u0107, D., Poosankam, P., Chen, K.Z., Wu, E.X., Song, D.: MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery. In: Proceedings of the 20th USENIX Security Symposium (2011)"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/1348250.1348254","volume":"17","author":"C Csallner","year":"2008","unstructured":"Csallner, C., Smaragdakis, Y., Xie, T.: DSD-Crasher: a hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2), 8:1\u20138:37 (2008)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura De","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Deters, M., Reynolds, A., King, T., Barrett, C.W., Tinelli, C.: A tour of CVC4: how it works, and how to use it. In: FMCAD, p. 7 (2014)","DOI":"10.1109\/FMCAD.2014.6987586"},{"key":"6_CR11","unstructured":"Dimja\u0161evi\u0107, M., Rakamari\u0107, Z.: JPF-Doop: combining concolic and random testing for Java. In: Java Pathfinder Workshop (JPF) (2013). Extended abstract"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Eler, M.M., Endo, A.T., Durelli, V.H.S.: Quantifying the characteristics of Java programs that may influence symbolic execution from a test data generation perspective. In: COMPSAC, pp. 181\u2013190 (2014)","DOI":"10.1109\/COMPSAC.2014.26"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: ESEC\/FSE, pp. 416\u2013419 (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Galeotti, J.P., Fraser, G., Arcuri, A.: Improving search-based test suite generation with dynamic symbolic execution. In: ISSRE, pp. 360\u2013369 (2013)","DOI":"10.1109\/ISSRE.2013.6698889"},{"key":"6_CR15","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 (2013)","DOI":"10.1109\/ICSE.2013.6606559"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Groce, A., Zhang, C., Sharma, R., Alipour, M.A., Marinov, D.: Comparing non-adequate test suites using coverage criteria. In: ISSTA, pp. 302\u2013313 (2013)","DOI":"10.1145\/2483760.2483769"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: PLDI, pp. 213\u2013223 (2005)","DOI":"10.1145\/1065010.1065036"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"20:20","DOI":"10.1145\/2090147.2094081","volume":"10","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: SAGE: whitebox fuzzing for security testing. Queue 10(1), 20:20\u201320:27 (2012)","journal-title":"Queue"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Inkumsah, K., Xie, T.: Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In: ASE, pp. 297\u2013306 (2008)","DOI":"10.1109\/ASE.2008.40"},{"key":"6_CR20","unstructured":"JaCoCo Java code coverage library. http:\/\/www.jacoco.org\/jacoco"},{"key":"6_CR21","unstructured":"Jayaraman, K., Harvison, D., Ganesh, V.: jFuzz: a concolic whitebox fuzzer for Java. In: NFM, pp. 121\u2013125 (2009)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Jaygarl, H., Kim, S., Xie, T., Chang, C.K.: OCAT: object capture-based automated testing. In: ISSTA, pp. 159\u2013170 (2010)","DOI":"10.1145\/1831708.1831729"},{"key":"6_CR23","unstructured":"Java PathFinder (JPF). http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"6_CR24","unstructured":"K\u00e4hk\u00f6nen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K., Niemel\u00e4, I.: LCT: an open source concolic testing tool for Java programs. In: BYTECODE, pp. 75\u201380 (2011)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Khurshid","year":"2003","unstructured":"Khurshid, S., P\u0103s\u0103reanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 553\u2013568. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_40"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-662-49674-9_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Luckow","year":"2016","unstructured":"Luckow, K., Dimja\u0161evi\u0107, M., Giannakopoulou, D., Howar, F., Isberner, M., Kahsai, T., Rakamari\u0107, Z., Raman, V.: JDart: a dynamic symbolic analysis framework. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 442\u2013459. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_26"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Marcozzi, M., Bardin, S., Kosmatov, N., Papadakis, M., Prevosto, V., Correnson, L.: Time to clean your test objectives. In: ICSE, pp. 456\u2013467 (2018)","DOI":"10.1145\/3180155.3180191"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"McMinn, P.: Search-based software testing: past, present and future. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp. 153\u2013163 (2011)","DOI":"10.1109\/ICSTW.2011.100"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S., Ernst, M., Ball, T.: Feedback-directed random test generation. In: ICSE, pp. 75\u201384 (2007)","DOI":"10.1109\/ICSE.2007.37"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Pasareanu, C.S., Rungta, N., Visser, W.: Symbolic execution with mixed concrete-symbolic solving. In: ISSTA, pp. 34\u201344 (2011)","DOI":"10.1145\/2001420.2001425"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Prasetya, I.S.W.B.: Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest. In: SBST, pp. 29\u201332 (2016)","DOI":"10.1145\/2897010.2897019"},{"key":"6_CR32","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 (2008)","DOI":"10.1145\/1390630.1390635"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Rueda, U., Just, R., Galeotti, J.P., Vos, T.E.J.: Unit testing tool competition \u2013 round four. In: SBST, pp. 19\u201328 (2016)","DOI":"10.1145\/2897010.2897018"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Sakti, A., Pesant, G., Gu\u00e9h\u00e9neuc, Y.G.: JTExpert at the fourth unit testing tool competition. In: SBST, pp. 37\u201340 (2016)","DOI":"10.1145\/2897010.2897021"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419\u2013423. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817963_38"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC\/FSE, pp. 263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"6_CR37","unstructured":"The SF110 benchmark suite, July 2013. http:\/\/www.evosuite.org\/experimental-data\/sf110"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Shafiei, N., van Breugel, F.: Automatic handling of native methods in Java PathFinder. In: SPIN, pp. 97\u2013100 (2014)","DOI":"10.1145\/2632362.2632363"},{"key":"6_CR39","unstructured":"Soot: A Java optimization framework. http:\/\/sable.github.io\/soot"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Stephens, N., Grosen, J., Salls, C., Dutcher, A., Wang, R., Corbetta, J., Shoshitaishvili, Y., Kruegel, C., Vigna, G.: Driller: augmenting fuzzing through selective symbolic execution. In: NDSS (2016)","DOI":"10.14722\/ndss.2016.23368"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Tanno, H., Zhang, X., Hoshino, T., Sen, K.: TesMa and CATG: automated test generation tools for models of enterprise applications. In: ICSE, pp. 717\u2013720 (2015)","DOI":"10.1109\/ICSE.2015.231"},{"issue":"10","key":"6_CR42","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/2076021.2048083","volume":"46","author":"S Thummalapenta","year":"2011","unstructured":"Thummalapenta, S., Xie, T., Tillmann, N., de Halleux, J., Su, Z.: Synthesizing method sequences for high-coverage testing. SIGPLAN Not. 46(10), 189\u2013206 (2011)","journal-title":"SIGPLAN Not."},{"key":"6_CR43","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\u2013white box test generation for $$\\text{.NET }$$. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134\u2013153. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-79124-9_10"},{"issue":"2","key":"6_CR44","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"issue":"SI","key":"6_CR45","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/844128.844152","volume":"36","author":"B White","year":"2002","unstructured":"White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., Joglekar, A.: An integrated experimental environment for distributed systems and networks. SIGOPS Oper. Syst. Rev. 36(SI), 255\u2013270 (2002)","journal-title":"SIGOPS Oper. Syst. Rev."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T01:01:33Z","timestamp":1571706093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}