{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:07:20Z","timestamp":1777536440452,"version":"3.51.4"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,8,2]],"date-time":"2013-08-02T00:00:00Z","timestamp":1375401600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11219-013-9207-1","type":"journal-article","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T07:44:10Z","timestamp":1375343050000},"page":"311-333","source":"Crossref","is-referenced-by-count":15,"title":["Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component"],"prefix":"10.1007","volume":"22","author":[{"given":"Pietro","family":"Braione","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"Denaro","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Mattavelli","sequence":"additional","affiliation":[]},{"given":"Mattia","family":"Vivanti","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Muhammad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,8,2]]},"reference":[{"key":"9207_CR1","doi-asserted-by":"crossref","unstructured":"Anand, S., P\u01ces\u01cereanu, C. S., & Visser, W. (2007). JPF-SE: A symbolic execution extension to Java Pathfinder. In: International conference on tools and algorithms for construction and analysis of systems (TACAS 2007), Springer, pp. 134\u2013138.","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"9207_CR2","unstructured":"Artzi, S., Quinonez, J., Kiezun, A., & Ernst, M. D. (2008). Finding bugs in dynamic web applications: Proceedings of the 2008 international symposium on software testing and analysis (ISSTA 2008). ACM, pp. 261\u2013272."},{"key":"9207_CR3","unstructured":"Ball, T. (2003). Abstraction-guided test generation: A case study. Tech. Rep. MSR-TR-2003-86, Microsoft Research, Microsoft Corporation."},{"key":"9207_CR4","unstructured":"Baluda, M., Braione, P., Denaro, G., & Pezz\u00e8, M. (2010). Structural coverage of feasible code: Proceedings of the fifth international workshop on automation of software test (AST 2010). ACM."},{"issue":"4","key":"9207_CR5","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1007\/s11219-011-9150-y","volume":"19","author":"M. Baluda","year":"2011","unstructured":"Baluda, M., Braione, P., Denaro, G., & Pezz\u00e8, M. (2011). Enhancing structural software coverage by incrementally computing branch executability. Software Quality JournaL, l 19(4), 725\u2013751.","journal-title":"Software Quality Journal"},{"key":"9207_CR6","unstructured":"Braione, P., Denaro, G., & Pezz\u00e8, M. (2012). On the integration of software testing and formal analysis. In B. Meyer & M. Nordio (Eds.), Empirical software engineering and verification, lecture notes in computer science (Vol. 7007, pp. 158\u2013193). Berlin: Springer."},{"key":"9207_CR7","unstructured":"Burnim, J., & Sen, K. (2008). Heuristics for scalable dynamic test generation: Proceedings of the 23rd IEEE\/ACM international conference on automated software engineering (ASE 2008). IEEE Computer Society, pp. 443\u2013446."},{"key":"9207_CR8","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P. M., Dill, D. L., & Engler, D. R. (2006). EXE: Automatically generating inputs of death: Proceedings of the 13th ACM conference on computer and communications security (CCS \u201906). ACM, pp. 322\u2013335."},{"key":"9207_CR9","unstructured":"Cadar, C., Dunbar, D., & Engler, D. (2008). KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs: Proceedings of the 8th USENIX symposium on operating systems design and implementation (OSDI 2008). USENIX Association."},{"key":"9207_CR10","unstructured":"Ciupa, I., Leitner, A., Oriol, M., & Meyer, B. (2008). ARTOO: Adaptive random testing for object-oriented software: Proceedings of the 30th international conference on software engineering (ICSE\u201908). ACM, pp. 71\u201380."},{"issue":"11","key":"9207_CR11","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C., & Smaragdakis, Y. (2004). JCrasher: An automatic robustness tester for Java. Software-Practice and Experience, 34(11),1025\u20131050.","journal-title":"Software-Practice and Experience"},{"key":"9207_CR12","unstructured":"De Moura, L., & Bj\u00f8rner, N. (2008). Z3: An efficient smt solver: Proceedings of the 14th international conference on tools and algorithms for the construction and analysis of systems (TACAS\u201908). Springer, pp. 337\u2013340."},{"key":"9207_CR13","unstructured":"Dutertre, B., & de Moura, L. (2006). The Yices SMT solver. SRI International."},{"issue":"1","key":"9207_CR14","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., & Korel, B. (1996). The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1), 63\u201386.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9207_CR15","unstructured":"Fraser, G., & Arcuri, A. (2011). EvoSuite: Automatic test suite generation for object-oriented software: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering. ACM, ESEC\/FSE \u201911, pp. 416\u2013419."},{"key":"9207_CR16","doi-asserted-by":"crossref","unstructured":"Fraser, G., & Arcuri, A. (2012). Sound empirical evidence in software testing. In: Society IC (Ed.) Proceedings of the 34th international conference on software engineering (ICSE 2012), pp. 178\u2013188.","DOI":"10.1109\/ICSE.2012.6227195"},{"key":"9207_CR17","unstructured":"Godefroid, P., Klarlund, N., & Sen, K. (2005). DART: Directed automated random testing: Proceedings of the ACM SIGPLAN 2005 conference on programming language design and implementation (PLDI 2005). ACM, pp. 213\u2013223."},{"key":"9207_CR18","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Kiezun, A., &Levin, M. Y. (2008a). Grammar-based whitebox fuzzing: Proceedings of the 2008 ACM SIGPLAN conference on programming language design and implementation (PLDI\u201908). ACM, pp. 206\u2013215.","DOI":"10.1145\/1375581.1375607"},{"key":"9207_CR19","unstructured":"Godefroid, P., Levin, M. Y., & Molnar, D. (2008b). Automated whitebox fuzz testing: Proceedings of the 16th annual network and distributed system security symposium (NDSS 2008). The Internet Society, pp. 151\u2013166."},{"issue":"64","key":"9207_CR20","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/S0920-3796(02)00202-8","volume":"63","author":"T. Honda","year":"2002","unstructured":"Honda, T., Hattori, Y., Holloway, C., Martin, E., Matsumoto, Y., Matsunobu, T., Suzuki, T., Tesini, A., Baulo, V., Haange, R., Palmer, J., & Shibanuma, K. (2002). Remote handling systems for ITER. Fusion Engineering and Design, 63-64, 507\u2013518.","journal-title":"Fusion Engineering and Design"},{"key":"9207_CR21","unstructured":"Inkumsah, K., & Xie, T. (2008). Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution: Proceedings of the 23rd IEEE\/ACM international conference on automated software engineering (ASE 2008). IEEE Computer Society, pp. 297\u2013306."},{"key":"9207_CR22","unstructured":"Keilhacker, M. (1997). JET deuterium-tritium results and their implications: 17th IEEE\/NPSS symposium on fusion engineering, Vol. 2, pp. 3\u20139."},{"issue":"7","key":"9207_CR23","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM,19(7), 385\u2013394.","journal-title":"Communications of the ACM"},{"issue":"8","key":"9207_CR24","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B. (1990). Automated software test data generation. IEEE Transactions on Software Engineering, 16(8), 870 \u2013879.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9207_CR25","unstructured":"Lakhotia, K., McMinn, P., & Harman, M. (2009). Automated test data generation for coverage: Haven\u2019t we solved this problem yet? Proceedings of the 2009 testing: Academic and industrial conference\u2014Practice and research techniques. IEEE Computer Society, pp. 95\u2013104."},{"key":"9207_CR26","unstructured":"Lakhotia, K., Harman, M., & Gross, H. (2010). AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems: Proceedings of the 2nd international symposium on search based software engineering, pp. 101\u2013110."},{"key":"9207_CR27","unstructured":"Majumdar, R., & Sen, K. (2007). Hybrid concolic testing: Proceedings of the 29th international conference on software engineering (ICSE 2007). IEEE Computer Society, pp. 416\u2013426."},{"key":"9207_CR28","unstructured":"McMillan, K. L. (2010). Lazy annotation for program testing and verification: Computer aided verification, 22nd international conference, CAV 2010, Edinburgh, UK, July 15\u201319, 2010. Proceedings, Springer, Berlin, pp. 104\u2013118."},{"key":"9207_CR29","doi-asserted-by":"crossref","unstructured":"Michael, C., & McGraw, G. (1998). Automated software test data generation for complex programs. In: Society IC (Ed.) Proceedings of IEEE international conference on automated software engineering (ASE\u201998), pp. 136\u2013146.","DOI":"10.1109\/ASE.1998.732605"},{"key":"9207_CR30","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"C.C. Michael","year":"2001","unstructured":"Michael, C. C., McGraw, G., & Schatz, M. A. (2001). Generating software test data by evolution. IEEE Transactions on Software Engineering, 27, 1085\u20131110.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9207_CR31","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W. Miller","year":"1976","unstructured":"Miller, W., & Spooner, D. L. (1976). Automatic generation of floating-point test data. IEEE Transactions on Software Engineering, 2, 223\u2013226.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9207_CR32","unstructured":"Muhammad, A., Esque, S., Tolonen, M., Mattila, J., Nieminen, P., Linna, O., & Vilenius, M. (2007). Water hydraulic teleoperation system for ITER: Proceedings of the 10th Scandinavian international conference on fluid power, Vol. 3, pp. 263\u2013276."},{"key":"9207_CR33","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G., Badgett, T., Thomas, T., & Sandler, C. (2004). The art of software testing. New York: Wiley."},{"key":"9207_CR34","unstructured":"Pacheco, C., Lahiri, S. K., Ernst, M. D., & Ball, T. (2007). Feedback-directed random test generation: Proceedings of the 29th international conference on software engineering (ICSE 2007). IEEE Computer Society, pp. 75\u201384."},{"issue":"4","key":"9207_CR35","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"RP Pargas","year":"1999","unstructured":"Pargas, R. P., Harrold, M. J., & Peck, R. R. (1999). Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 9(4), 263\u2013282.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9207_CR36","unstructured":"P\u01ces\u01cereanu, C. S., Rungta, N., & Visser, W. (2011). Symbolic execution with mixed concrete-symbolic solving: Proceedings of the 2011 international symposium on software testing and analysis (ISSTA 2011). ACM, pp. 35\u201344."},{"key":"9207_CR37","volume-title":"Software Testing and Analysis: Process, Principles and Techniques","author":"M. Pezz\u00e8","year":"2007","unstructured":"Pezz\u00e8, M., & Young, M. (2007). Software testing and analysis: Process, principles and techniques. New York: Wiley."},{"key":"9207_CR38","unstructured":"Santelices, R., Chittimalli, P. K., Apiwattanapong, T., Orso, A., & Harrold, M. J. (2008). Test-suite augmentation for evolving software: Proceedings of the 23rd IEEE\/ACM international conference on automated software engineering (ASE\u201908). IEEE Computer Society, pp. 218\u2013227."},{"key":"9207_CR39","unstructured":"Sen, K., Marinov, D., & Agha, G. (2005). CUTE: A concolic unit testing engine for C: Proceedings of the European software engineering conference joint with 13th ACM SIGSOFT international symposium on foundations of software engineering (ESEC\/FSE-13). ACM, pp. 263\u2013272."},{"issue":"333(1","key":"9207_CR40","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.jnucmat.2004.04.004","volume":"329","author":"Y. Shimomura","year":"2004","unstructured":"Shimomura, Y. (2004). The present status and future prospects of the ITER project. Journal of Nuclear Materials, 329-333(1), 5\u201311.","journal-title":"Journal of Nuclear Materials"},{"key":"9207_CR41","unstructured":"Sthamer, H. H. (1996). The automatic generation of software test data using genetic algorithms. PhD thesis, University of Glamorgan, Pontyprid, Wales, Great Britain."},{"key":"9207_CR42","doi-asserted-by":"crossref","unstructured":"Tillmann, N., & de Halleux, J. (2008). Pex\u2014white box test generation for .NET: Proceedings of the 2nd international conference on tests and proofs (TAP 2008). Springer, pp. 134\u2013153.","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"9207_CR43","unstructured":"Tonella, P. (2004). Evolutionary testing of classes: Proceedings of the 2004 ACM SIGSOFT international symposium on software testing and analysis (ISSTA\u201904). ACM, pp. 119\u2013128."},{"key":"9207_CR44","unstructured":"Xie, T., Tillmann, N., de Halleux, P., & Schulte, W. (2009). Fitness-guided path exploration in dynamic symbolic execution: Proceedings of the 39th annual IEEE\/IFIP international conference on dependable systems and networks (DSN 2009). IEEE Computer Society, pp. 359\u2013368."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9207-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-013-9207-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-013-9207-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T05:26:58Z","timestamp":1563600418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-013-9207-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,2]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9207"],"URL":"https:\/\/doi.org\/10.1007\/s11219-013-9207-1","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,2]]}}}