{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:49Z","timestamp":1760586649327},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T00:00:00Z","timestamp":1365638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s10009-013-0272-3","type":"journal-article","created":{"date-parts":[[2013,4,10]],"date-time":"2013-04-10T09:04:22Z","timestamp":1365584662000},"page":"727-751","source":"Crossref","is-referenced-by-count":20,"title":["Survey on test data generation tools"],"prefix":"10.1007","volume":"16","author":[{"given":"Stefan J.","family":"Galler","sequence":"first","affiliation":[]},{"given":"Bernhard K.","family":"Aichernig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,11]]},"reference":[{"key":"272_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"272_CR2","unstructured":"Thomas A., John, H., Joakim, J., Ulf, W.: Testing Telecoms Software With Quviq QuickCheck. In: 2006 ACM SIGPLAN workshop on Erlang, Portland, Oregon, USA, 2006. ACM, New York"},{"key":"272_CR3","doi-asserted-by":"crossref","unstructured":"Barnett, M., F\u00e4hndrich, M., de Halleux, J., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: Proceedings of the 31st International Conference on Software Engineering (ICSE\u20192009). IEEE (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5071032"},{"key":"272_CR4","doi-asserted-by":"crossref","unstructured":"Mike, B., Leino, K.R.M., Wolfram, Schulte.: The Spec# programming system: an overview. In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS 2004), vol. 3362 of Lecture Notes in Computer Science, pp. 49\u201369. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"272_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: 2006 International Symposium on Software Testing and Analysis, pp. 169\u2013180. ACM Press, New York (2006)","DOI":"10.1145\/1146238.1146258"},{"key":"272_CR6","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B., Kossatchev, A., Kuliamin, V.V., Petrenko, A.: UniTesK test suite architecture. In: FME 2002: Formal Methods Getting IT Right, vol. 2391 of Lecture Notes in Computer Science, pp. 121\u2013152. Springer (2002)","DOI":"10.1007\/3-540-45614-7_5"},{"key":"272_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: International Symposium on Software Testing and Analysis, pp. 123\u2013133. ACM Press, New York (2002)","DOI":"10.1145\/566171.566191"},{"issue":"2\/3","key":"272_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G Brat","year":"2004","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Venet, A., Visser, W., Washington, R.: Experimental evaluation of verification and validation tools on Martian Rover software. Formal Methods Syst. Design 25(2\/3), 167\u2013198 (2004)","journal-title":"Formal Methods Syst. Design"},{"key":"272_CR9","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX Symposium on Operating Systems Design and Implementation, pp. 209\u2013224. USENIX (2008)"},{"issue":"2","key":"272_CR10","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/1455518.1455522","volume":"12","author":"C Cadar","year":"2008","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. ACM Trans. Inf. Syst. Secur. 12(2), 322\u2013335 (2008)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"272_CR11","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-based testing of object-oriented reactive systems with Spec explorer. Technical report, Microsoft Research, Redmond (2005)","DOI":"10.1007\/11526841_38"},{"key":"272_CR12","unstructured":"Ciupa, I., Leitner, A.: Automatic testing based on design by contract. In: Proceedings of Net. ObjectDays 2005, pp. 545\u2013557 (2005)"},{"key":"272_CR13","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: ARTOO: adaptive random testing for object-oriented software. In: 30th International Conference on Software Engineering, pp. 71\u201380. ACM, New York (2008)","DOI":"10.1109\/ICST.2008.20"},{"issue":"11","key":"272_CR14","first-page":"1025","volume":"34","author":"C Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic Robustness tester for Java. Softw.: Pract. Exp. 34(11), 1025\u20131050 (2004)","journal-title":"Softw.: Pract. Exp."},{"key":"272_CR15","doi-asserted-by":"crossref","unstructured":"Csallner, C., Smaragdakis, Y.: Check \u2019n\u2019 crash: combining static checking and testing. In: 27th ACM\/IEEE International Conference on Software Engineering, pp. 422\u2013431. ACM, New York (2005)","DOI":"10.1145\/1062455.1062533"},{"key":"272_CR16","doi-asserted-by":"crossref","unstructured":"de Halleux, J., Tillmann, N.: Moles: tool-assisted environment isolation with closures. Vol. 6141 of Lecture Notes in Computer Science, pp. 253\u2013270. Springer, Berlin\/Heidelberg (2010)","DOI":"10.1007\/978-3-642-13953-6_14"},{"key":"272_CR17","unstructured":"Ernst, M.D., CockrelI, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: 21st International Conference on Software Engineering, pp. 213\u2013222, Los Alamitos, CA, USA, 1999. IEEE (1999)"},{"issue":"5","key":"272_CR18","first-page":"234","volume":"37","author":"F Cormac","year":"2002","unstructured":"Cormac, F., Rustan, K., Leino, M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. ACM SIGPLAN Not. Confer. Program. Lang. Design Implement. 37(5), 234\u2013245 (2002)","journal-title":"ACM SIGPLAN Not. Confer. Program. Lang. Design Implement."},{"key":"272_CR19","unstructured":"Freese, T.: EasyMock: dynamic mock objects for JUnit. In: 3nd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP 2002), pp. 2\u20135 (2002)"},{"key":"272_CR20","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213\u2013223 (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"272_CR21","unstructured":"Google Inc. ToT: Friends you can depend on. http:\/\/googletesting.blogspot.com\/2008\/06\/tott-friends-you-can-depend-on.html (2008)"},{"key":"272_CR22","doi-asserted-by":"crossref","unstructured":"Grieskamp, W.: Multi-paradigmatic model-based testing. In: Formal Approaches to Software Testing and Runtime Verification, vol. 4262 of Lecture Notes in Computer Science, pp. 1\u201319. Springer, Berlin (2006)","DOI":"10.1007\/11940197_1"},{"key":"272_CR23","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Qu, X., Wei, X., Kicillof, N., Cohen, M.: Interaction coverage meets path coverage by SMT constraint solving. In: Testing of Software and Communication Systems, vol. 58262 of Lecture Notes in Computer Science, pp. 97\u2013112. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-05031-2_7"},{"key":"272_CR24","doi-asserted-by":"crossref","unstructured":"Huima, A.: Implementing conformiq Qtronic. In: Testing of Software and Communicating Systems, vol. 4581 of Lecture Notes in Computer Science, pp. 1\u201312. Springer, Berlin\/Heidelberg (2007)","DOI":"10.1007\/978-3-540-73066-8_1"},{"key":"272_CR25","unstructured":"Google Inc. Codepro analytix user guide. http:\/\/developers.google.com\/java-dev-tools\/codepro\/doc\/ . Accessed Nov 2011"},{"key":"272_CR26","doi-asserted-by":"crossref","unstructured":"Jaffuel, E., Legeard, B.: LEIRIOS test generator: automated test generation from B models. In: B 2007: Formal Specification and Development in B, vol. 4355 of Lecture Notes in Computer Science, pp. 277\u2013280. Springer, Berlin\/Heidelberg (2006)","DOI":"10.1007\/11955757_29"},{"key":"272_CR27","unstructured":"Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., Bourdonov, I.B.: UniTesK: model based testing in industrial practice. In: 1st European Conference on Model Driven, Software Engineering, pp. 55\u201363 (2003)"},{"key":"272_CR28","doi-asserted-by":"crossref","unstructured":"Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson L.-H., Lindsay, P. (eds.) Formal Methods, vol. 2391 of Lecture Notes in Computer Science, pp 221\u2013236. Springer (2002)","DOI":"10.1007\/3-540-45614-7_2"},{"key":"272_CR29","doi-asserted-by":"crossref","unstructured":"Meyer, B., Ciupa, I., Leitner, A., Liu, L.: Automatic testing of object-oriented software. In: SOFSEM 2007: Theory and Practice of Computer Science, vol. 4362 of Lecture Notes in Computer Science, pp. 114\u2013129. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69507-3_9"},{"key":"272_CR30","volume-title":"Effective C++: 55 specific ways to improve your programs and design","author":"S Meyers","year":"2005","unstructured":"Meyers, S.: Effective C++: 55 specific ways to improve your programs and design, 3rd edn. Addison-Wesley Professional, Boston (2005)","edition":"3"},{"key":"272_CR31","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS\u201908: Tools and Algorithms for the Construction and Analysis of Systems, vol. 4963 of Lecture Notes in Computer Science, pp. 337\u2013340. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"272_CR32","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2004","unstructured":"Myers, G.J., Sandler, C., Badgett, T., Thomas, T.M.: The Art of Software Testing, 2nd edn. Wiley, New York (2004)","edition":"2"},{"key":"272_CR33","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D.: Eclat: automatic generation and classification of test inputs. In: ECOOP 2005: Object-Oriented Programming, vol. 3568 of Lecture Notes in Computer Science, pp. 504\u2013527. Springer (2005)","DOI":"10.1007\/11531142_22"},{"key":"272_CR34","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D.: Randoop: feedback-directed random testing for Java. In: OOPSLA 2007: Conference on Object Oriented Programming Systems Languages and Applications, pp. 815\u2013816. ACM, New York (2007)","DOI":"10.1145\/1297846.1297902"},{"key":"272_CR35","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ball, T.: Finding errors in.NET with feedback-directed random testing. ISSTA\u201908: International Symposium on Software Testing and, Analysis, pp. 87\u201396 (2008)","DOI":"10.1145\/1390630.1390643"},{"key":"272_CR36","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proceedings of the 29th International Conference on Software Engineering, pp. 75\u201384, Minneapolis, MN, USA, 2007. IEEE (2007)"},{"key":"272_CR37","unstructured":"Parasoft. Parasoft C++test user\u2019s guide (2010)"},{"key":"272_CR38","unstructured":"Parasoft. http:\/\/www.parasoft.com . Accessed Nov 2011"},{"key":"272_CR39","unstructured":"Parasoft. Using design by contract to automate Java software and component testing. http:\/\/www.parasoft.com\/jsp\/products\/article.jsp?articleId=579&product=Jcontract . Accessed Nov 2011"},{"key":"272_CR40","unstructured":"Penix, J., Visser, W., Park, S., Pasareanu, C., Engstrom, E., Larson, A., Weininger, N.: Verifying time partitioning in the DEOS scheduling Kernel. Formal Methods Syst. Design 26(2), 103\u2013135 (2005)"},{"key":"272_CR41","unstructured":"Microsoft Research. Advanced concepts: parameterized unit testing with Microsoft Pex. http:\/\/research.microsoft.com\/en-us\/projects\/pex\/pexconcepts.pdf (2010)"},{"key":"272_CR42","doi-asserted-by":"crossref","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: 18th International Conference on Computer Aided Verification, vol. 4144 of Lecture Notes in Computer Science, pp. 419\u2013423, Seattle, Washington, USA, 2006. Springer, New York (2006)","DOI":"10.21236\/ADA484701"},{"key":"272_CR43","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: 10th European Software Engineering Conference, vol. 30 of ACM SIGSOFT Software Engineering Notes, pp. 263\u2013272, Lisbon, Portugal, 2005. ACM, New York (2005)","DOI":"10.21236\/ADA482657"},{"key":"272_CR44","unstructured":"SMTCOMP. Call for Entrants. http:\/\/www.smtcomp.org\/2010\/call10.txt (2010)"},{"key":"272_CR45","doi-asserted-by":"crossref","unstructured":"Tillmann N., De Halleux, J.: Pex\u2013White Box Test Generation for.NET. In: Proceedings of the 2nd international conference on tests and proofs (TAP 2008), vol. 4966 of Lecture Notes in Computer Science, pp. 134\u2013153. Springer (2008)","DOI":"10.1007\/978-3-540-79124-9_10"},{"issue":"5","key":"272_CR46","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1095430.1081749","volume":"30","author":"N Tillmann","year":"2005","unstructured":"Tillmann, N., Grieskamp, W., Schulte, W.: Parameterized unit tests. SIGSOFT Softw. Eng. Notes 30(5), 253\u2013262 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"272_CR47","doi-asserted-by":"crossref","unstructured":"Veanes, M., de Halleux P., Tillmann, N.: Rex: Symbolic Regular Expression Explorer. In: 2010 Third International Conference on Software Testing, Verification and Validation, pp. 498\u2013507. IEEE (2010)","DOI":"10.1109\/ICST.2010.15"},{"key":"272_CR48","doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with Spec explorer. In: Formal Methods and Testing, vol. 4949 of Lecture Notes in Computer Science, pp. 39\u201376. Springer (2008)","DOI":"10.1007\/978-3-540-78917-8_2"},{"issue":"2","key":"272_CR49","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"issue":"4","key":"272_CR50","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1013886.1007526","volume":"29","author":"W Visser","year":"2004","unstructured":"Visser, W., Psreanu, C.S.: Test input generation with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 29(4), 97\u2013107 (2004)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"272_CR51","unstructured":"Wei, Y., Gebhardt, S., Oriol, M., Meyer, B.: Satisfying test preconditions through guided object selection. In: 3rd International Conference on Software Testing, Verification and Validation, pp. 1\u201310, Paris, France, 2010. IEEE (2010)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0272-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0272-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0272-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T12:57:08Z","timestamp":1644757028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0272-3"}},"subtitle":["An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java"],"short-title":[],"issued":{"date-parts":[[2013,4,11]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["272"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0272-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,11]]}}}