{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T23:06:19Z","timestamp":1648767979624},"reference-count":29,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1587\/transinf.2018edp7298","type":"journal-article","created":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T18:10:56Z","timestamp":1564596656000},"page":"1506-1516","source":"Crossref","is-referenced-by-count":0,"title":["SCSE: Boosting Symbolic Execution via State Concretization"],"prefix":"10.1587","volume":"E102.D","author":[{"given":"Huibin","family":"WANG","sequence":"first","affiliation":[{"name":"Institute of VLSI Design, Zhejiang University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunqiang","family":"LI","sequence":"additional","affiliation":[{"name":"Institute of VLSI Design, Zhejiang University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianyi","family":"MENG","sequence":"additional","affiliation":[{"name":"State Key Laboratory of ASIC & System, Fudan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyan","family":"XIANG","sequence":"additional","affiliation":[{"name":"State Key Laboratory of ASIC & System, Fudan University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] R. Baldoni, E. Coppa, D.C. D'elia, C. Demetrescu, and I. Finocchi, \u201cA survey of symbolic execution techniques,\u201d ACM Comput. Surv., vol.51, no.3, pp.50:1-50:39, May 2018. 10.1145\/3182657","DOI":"10.1145\/3182657"},{"key":"2","unstructured":"[2] C. Cadar, D. Dunbar, D.R. Engler, et al., \u201cKlee: Unassisted and automatic generation of high-coverage tests for complex systems programs,\u201d OSDI, pp.209-224, 2008."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] P. Godefroid, N. Klarlund, and K. Sen, \u201cDart: directed automated random testing,\u201d ACM Sigplan Notices, pp.213-223, ACM, 2005. 10.1145\/1064978.1065036","DOI":"10.1145\/1064978.1065036"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Y. Zhang, Z. Chen, and J. Wang, \u201cSpeculative symbolic execution,\u201d 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE), pp.101-110, IEEE, 2012. 10.1109\/issre.2012.8","DOI":"10.1109\/ISSRE.2012.8"},{"key":"5","unstructured":"[5] D. Beyer, \u201cCompetition on software verification.\u201d https:\/\/sv-comp.sosy-lab.org\/2018\/, 2018."},{"key":"6","unstructured":"[6] G. Sanjay and M. Paul, \u201cTcmalloc homepage.\u201d https:\/\/code.google.com\/p\/gperftools\/"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] J.C. King, \u201cSymbolic execution and program testing,\u201d Communications of the ACM, vol.19, no.7, pp.385-394, 1976. 10.1145\/360248.360252","DOI":"10.1145\/360248.360252"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] P. Godefroid, \u201cCompositional dynamic test generation,\u201d ACM Sigplan Notices, pp.47-54, ACM, 2007. 10.1145\/1190215.1190226","DOI":"10.1145\/1190215.1190226"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] J. Burnim and K. Sen, \u201cHeuristics for scalable dynamic test generation,\u201d 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp.443-446, IEEE, 2008. 10.1109\/ase.2008.69","DOI":"10.1109\/ASE.2008.69"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] P. Dinges and G. Agha, \u201cTargeted test input generation using symbolic-concrete backward execution,\u201d Proceedings of the 29th ACM\/IEEE international conference on Automated software engineering, pp.31-36, ACM, 2014. 10.1145\/2642937.2642951","DOI":"10.1145\/2642937.2642951"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] P. Boonstoppel, C. Cadar, and D. Engler, \u201cRwset: Attacking path explosion in constraint-based test generation,\u201d International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.351-366, Springer, 2008. 10.1007\/978-3-540-78800-3_27","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] H. Wang, T. Liu, X. Guan, C. Shen, Q. Zheng, and Z. Yang, \u201cDependence guided symbolic execution,\u201d IEEE Transactions on Software Engineering, vol.43, no.3, pp.252-271, 2017. 10.1109\/tse.2016.2584063","DOI":"10.1109\/TSE.2016.2584063"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] S. Anand, C.S. P\u0103s\u0103reanu, and W. Visser, \u201cSymbolic execution with abstraction,\u201d International Journal on Software Tools for Technology Transfer (STTT), vol.11, no.1, pp.53-67, 2009. 10.1007\/s10009-008-0090-1","DOI":"10.1007\/s10009-008-0090-1"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] S. Person, G. Yang, N. Rungta, and S. Khurshid, \u201cDirected incremental symbolic execution,\u201d ACM SIGPLAN Notices, pp.504-515, ACM, 2011. 10.1145\/1993316.1993558","DOI":"10.1145\/1993316.1993558"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] T. Avgerinos, A. Rebert, S.K. Cha, and D. Brumley, \u201cEnhancing symbolic execution with veritesting,\u201d Proceedings of the 36th International Conference on Software Engineering, pp.1083-1094, ACM, 2014. 10.1145\/2568225.2568293","DOI":"10.1145\/2568225.2568293"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] C. Cadar, V. Ganesh, P.M. Pawlowski, D.L. Dill, and D.R. Engler, \u201cExe: automatically generating inputs of death,\u201d ACM Transactions on Information and System Security (TISSEC), vol.12, no.2, pp.1-38, 2008. 10.1145\/1455518.1455522","DOI":"10.1145\/1455518.1455522"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] V. Chipounov, V. Kuznetsov, and G. Candea, \u201cS2e: A platform for in-vivo multi-path analysis of software systems,\u201d ACM SIGPLAN Notices, vol.46, no.3, pp.265-278, 2011. 10.1145\/1961296.1950396","DOI":"10.1145\/1961296.1950396"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] G. Yang, C.S. P\u0103s\u0103reanu, and S. Khurshid, \u201cMemoized symbolic execution,\u201d International Symposium on Software Testing and Analysis, pp.144-154, 2012. 10.1145\/2338965.2336771","DOI":"10.1145\/2338965.2336771"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] C. Cadar, \u201cTargeted program transformations for symbolic execution,\u201d Joint Meeting on Foundations of Software Engineering, pp.906-909, 2015. 10.1145\/2786805.2803205","DOI":"10.1145\/2786805.2803205"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] D.M. Perry, A. Mattavelli, X. Zhang, and C. Cadar, \u201cAccelerating array constraints in symbolic execution,\u201d ACM Sigsoft International Symposium on Software Testing and Analysis, pp.68-78, 2017. 10.1145\/3092703.3092728","DOI":"10.1145\/3092703.3092728"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] S. Anand, E.K. Burke, T.Y. Chen, J. Clark, M.B. Cohen, W. Grieskamp, M. Harman, M.J. Harrold, P. Mcminn, A. Bertolino, J.J. Li, and H. Zhu, \u201cAn orchestrated survey of methodologies for automated software test case generation,\u201d Journal of Systems and Software, vol.86, no.8, pp.1978-2001, 2013. 10.1016\/j.jss.2013.02.061","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] M. Baluda, G. Denaro, and M. Pezze, \u201cBidirectional symbolic analysis for effective branch testing,\u201d IEEE Transactions on Software Engineering, vol.42, no.5, pp.403-426, 2016. 10.1109\/tse.2015.2490067","DOI":"10.1109\/TSE.2015.2490067"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] D. Bucur and M. Kwiatkowska, \u201cOn software verification for sensor nodes,\u201d Journal of Systems and Software, vol.84, no.10, pp.1693-1707, 2011. 10.1016\/j.jss.2011.04.054","DOI":"10.1016\/j.jss.2011.04.054"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] M. Christakis, P. M\u00fcller, and V. W\u00fcstholz, \u201cGuiding dynamic symbolic execution toward unverified program executions,\u201d Proceedings of the 38th International Conference on Software Engineering, pp.144-155, ACM, 2016. 10.1145\/2884781.2884843","DOI":"10.1145\/2884781.2884843"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] H. Li, J. Oh, and H. Lee, \u201cDetecting violations of security requirements for vulnerability discovery in source code,\u201d Ieice Transactions on Information & Systems, vol.E99-D, no.9, pp.2385-2389, 2016. 10.1587\/transinf.2016edl8035","DOI":"10.1587\/transinf.2016EDL8035"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] D. Felsing, S. Grebing, V. Klebanov, P. R\u00fcmmer, and M. Ulbrich, \u201cAutomating regression verification,\u201d Proceedings of the 29th ACM\/IEEE international conference on Automated software engineering, pp.349-360, ACM, 2014. 10.1145\/2642937.2642987","DOI":"10.1145\/2642937.2642987"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] S. Chandra, S.J. Fink, and M. Sridharan, \u201cSnugglebug: a powerful approach to weakest preconditions,\u201d ACM Sigplan Notices, vol.44, no.6, pp.363-374, 2009. 10.1145\/1543135.1542517","DOI":"10.1145\/1543135.1542517"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] M. Li, Y. Chen, L. Wang, and G. Xu, \u201cDynamically validating static memory leak warnings,\u201d Proceedings of the 2013 International Symposium on Software Testing and Analysis, pp.112-122, ACM, 2013. 10.1145\/2483760.2483778","DOI":"10.1145\/2483760.2483778"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] T. Kuchta, C. Cadar, M. Castro, and M. Costa, \u201cDocovery: Toward generic automatic document recovery,\u201d Proceedings of the 29th ACM\/IEEE international conference on Automated software engineering, pp.563-574, ACM, 2014. 10.1145\/2642937.2643004","DOI":"10.1145\/2642937.2643004"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E102.D\/8\/E102.D_2018EDP7298\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,2]],"date-time":"2019-08-02T23:29:50Z","timestamp":1564788590000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E102.D\/8\/E102.D_2018EDP7298\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":29,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2019]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2018edp7298","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,1]]}}}