{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:04Z","timestamp":1740122404173,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,6,29]],"date-time":"2022-06-29T00:00:00Z","timestamp":1656460800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,6,29]],"date-time":"2022-06-29T00:00:00Z","timestamp":1656460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100015501","name":"VINIF","doi-asserted-by":"crossref","award":["VINIF.2021.TS.105","VINIF.2021.ThS.24"],"award-info":[{"award-number":["VINIF.2021.TS.105","VINIF.2021.ThS.24"]}],"id":[{"id":"10.13039\/501100015501","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s10515-022-00345-x","type":"journal-article","created":{"date-parts":[[2022,6,29]],"date-time":"2022-06-29T16:02:53Z","timestamp":1656518573000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A symbolic execution-based method to perform untargeted attack on feed-forward neural networks"],"prefix":"10.1007","volume":"29","author":[{"given":"Duc-Anh","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kha","family":"Do Minh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minh Le","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5584-5823","authenticated-orcid":false,"given":"Pham Ngoc","family":"Hung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,29]]},"reference":[{"key":"345_CR1","doi-asserted-by":"crossref","unstructured":"Baluja, S., Fischer, I.: Adversarial transformation networks: Learning to generate adversarial examples. arXiv:1703.09387, (2017)","DOI":"10.1609\/aaai.v32i1.11672"},{"key":"345_CR2","doi-asserted-by":"publisher","unstructured":"Bruttomesso, R., Cimatti, A., Franz\u00e9n, A., et\u00a0al.: The mathsat 4 smt solver. In: Proceedings of the 20th International Conference on Computer Aided Verification. Springer-Verlag, Berlin, Heidelberg, CAV \u201908, p 299\u2013303 (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_28","DOI":"10.1007\/978-3-540-70545-1_28"},{"key":"345_CR3","doi-asserted-by":"crossref","unstructured":"Carlini, N., Wagner, D.A.: Towards evaluating the robustness of neural networks. CoRR (2016). arXiv:1608.04644","DOI":"10.1109\/SP.2017.49"},{"key":"345_CR4","unstructured":"Clevert, D.A., Unterthiner, T., Hochreiter, S.: Fast and accurate deep network learning by exponential linear units (elus). In: Bengio Y, LeCun Y (eds) ICLR (Poster) (2016). http:\/\/dblp.uni-trier.de\/db\/conf\/iclr\/iclr2016.html#ClevertUH15"},{"key":"345_CR5","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, Berlin, Heidelberg, TACAS\u201908\/ETAPS\u201908, pp 337\u2013340. (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"345_CR6","doi-asserted-by":"publisher","unstructured":"Dutertre, B., de\u00a0Moura, L.: A fast linear-arithmetic solver for dpll (t). pp. 81\u201394, (2006) https:\/\/doi.org\/10.1007\/11817963_11","DOI":"10.1007\/11817963_11"},{"key":"345_CR7","doi-asserted-by":"publisher","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, New York, NY, USA, PLDI \u201905, pp. 213\u2013223 (2005). https:\/\/doi.org\/10.1145\/1065010.1065036","DOI":"10.1145\/1065010.1065036"},{"key":"345_CR8","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples (2015). arXiv:1412.6572 [stat.ML]"},{"key":"345_CR9","doi-asserted-by":"publisher","unstructured":"Gopinath, D., P\u0103s\u0103reanu, C.S., Wang, K., et\u00a0al.: Symbolic execution for attribution and attack synthesis in neural networks. In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, ICSE \u201919, pp. 282\u2013283 (2019a). https:\/\/doi.org\/10.1109\/ICSE-Companion.2019.00115","DOI":"10.1109\/ICSE-Companion.2019.00115"},{"key":"345_CR10","doi-asserted-by":"publisher","unstructured":"Gopinath, D., Zhang, M., Wang, K., et\u00a0al.: Symbolic execution for importance analysis and adversarial generation in neural networks. In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), pp 313\u2013322 (2019b). https:\/\/doi.org\/10.1109\/ISSRE.2019.00039","DOI":"10.1109\/ISSRE.2019.00039"},{"key":"345_CR11","unstructured":"Hendrycks D, Gimpel K (2016) Bridging nonlinearities and stochastic regularizers with gaussian error linear units. CoRR. arXiv:1606.08415"},{"key":"345_CR12","doi-asserted-by":"publisher","unstructured":"Hoenicke, J., Schindler, T.: Solving and interpolating constant arrays based on weak equivalences. In: Enea C, Piskac R (eds) Verification, Model Checking, and Abstract Interpretation\u201420th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Lecture Notes in Computer Science, vol 11388. Springer, pp 297\u2013317 (2019). https:\/\/doi.org\/10.1007\/978-3-030-11245-5_14","DOI":"10.1007\/978-3-030-11245-5_14"},{"key":"345_CR13","doi-asserted-by":"crossref","unstructured":"Isola, P., Zhu, J., Zhou, T., et\u00a0al.: Image-to-image translation with conditional adversarial networks. CoRR (2016). arXiv:1611.07004","DOI":"10.1109\/CVPR.2017.632"},{"key":"345_CR14","doi-asserted-by":"crossref","unstructured":"Johnson, J., Alahi, A., Li, F.: Perceptual losses for real-time style transfer and super-resolution. CoRR (2016). arXiv:1603.08155","DOI":"10.1007\/978-3-319-46475-6_43"},{"key":"345_CR15","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C.W., Dill, D.L., et\u00a0al.: Reluplex: An efficient SMT solver for verifying deep neural networks. CoRR (2017). arXiv:1702.01135","DOI":"10.1007\/978-3-319-63387-9_5"},{"issue":"7","key":"345_CR16","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976). https:\/\/doi.org\/10.1145\/360248.360252","journal-title":"Commun. ACM"},{"key":"345_CR17","unstructured":"Kingma, D.P., Ba, J.: Adam: A method for stochastic optimization (2014). http:\/\/arxiv.org\/abs\/1412.6980, cite arxiv:1412.6980Comment: Published as a conference paper at the 3rd International Conference for Learning Representations, San Diego, 2015"},{"key":"345_CR18","unstructured":"Kurakin, A., Goodfellow, I.J., Bengio, S.: Adversarial examples in the physical world. CoRR (2016). arXiv:1607.02533"},{"key":"345_CR19","doi-asserted-by":"crossref","unstructured":"Kurakin, A., Goodfellow, I.J., Bengio, S., et\u00a0al. Adversarial attacks and defences competition. CoRR (2018). arXiv:1804.00097","DOI":"10.1007\/978-3-319-94042-7_11"},{"key":"345_CR20","doi-asserted-by":"crossref","unstructured":"Lecun, Y., Bottou, L., Bengio, Y., et\u00a0al.: Gradient-based learning applied to document recognition. In: Proceedings of the IEEE, pp. 2278\u20132324 (1998)","DOI":"10.1109\/5.726791"},{"key":"345_CR21","doi-asserted-by":"crossref","unstructured":"Ma, L., Juefei-Xu, F., Sun, J., et\u00a0al.: Deepgauge: Comprehensive and multi-granularity testing criteria for gauging the robustness of deep learning systems. CoRR (2018). arXiv:1803.07519","DOI":"10.1145\/3238147.3238202"},{"key":"345_CR22","doi-asserted-by":"crossref","unstructured":"Mangal, R., Nori A. V., Orso, A.: Robustness of neural networks: A probabilistic and practical approach. CoRR (2019). arXiv:1902.05983","DOI":"10.1109\/ICSE-NIER.2019.00032"},{"key":"345_CR23","unstructured":"Mohri, M., Rostamizadeh, A., Talwalkar, A.: Foundations of Machine Learning. The MIT Press (2012)"},{"key":"345_CR24","doi-asserted-by":"crossref","unstructured":"Monniaux, D.: A survey of satisfiability modulo theory. CoRR (2016). arXiv:1606.04786","DOI":"10.1007\/978-3-319-45641-6_26"},{"key":"345_CR25","doi-asserted-by":"crossref","unstructured":"Moosavi-Dezfooli, S., Fawzi, A., Frossard, P.: Deepfool: a simple and accurate method to fool deep neural networks. CoRR (2015). arXiv:1511.04599","DOI":"10.1109\/CVPR.2016.282"},{"key":"345_CR26","unstructured":"Nair, V., Hinton, G.E.: Rectified linear units improve restricted boltzmann machines. In: Proceedings of the 27th International Conference on International Conference on Machine Learning. Omnipress, Madison, WI, USA, ICML\u201910, pp. 807\u2013814 (2010)"},{"key":"345_CR27","doi-asserted-by":"crossref","unstructured":"Pei, K., Cao, Y., Yang, J., et\u00a0al. Deepxplore: Automated whitebox testing of deep learning systems. CoRR (2017). arXiv:1705.06640","DOI":"10.1145\/3132747.3132785"},{"key":"345_CR28","doi-asserted-by":"publisher","unstructured":"Perry, D.M., Mattavelli, A., Zhang, X., et\u00a0al.: Accelerating array constraints in symbolic execution. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, New York, NY, USA, ISSTA 2017, pp. 68\u201378 (2017). https:\/\/doi.org\/10.1145\/3092703.3092728","DOI":"10.1145\/3092703.3092728"},{"key":"345_CR29","doi-asserted-by":"publisher","unstructured":"Sen, K., Marinov, D., Agha, G.: Cute: A concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Association for Computing Machinery, New York, NY, USA, ESEC\/FSE-13, pp. 263\u2013272 (2005). https:\/\/doi.org\/10.1145\/1081706.1081750","DOI":"10.1145\/1081706.1081750"},{"key":"345_CR30","doi-asserted-by":"publisher","unstructured":"Su, T., Pu, G., Fang, B., et\u00a0al. Automated coverage-driven test data generation using dynamic symbolic execution. In: 2014 Eighth International Conference on Software Security and Reliability (SERE), pp 98\u2013107 (2014). https:\/\/doi.org\/10.1109\/SERE.2014.23","DOI":"10.1109\/SERE.2014.23"},{"key":"345_CR31","doi-asserted-by":"crossref","unstructured":"Sun, Y., Huang, X., Kroening, D.: Testing deep neural networks. CoRR(2018a). arXiv:1803.04792","DOI":"10.1145\/3238147.3238172"},{"key":"345_CR32","doi-asserted-by":"crossref","unstructured":"Sun, Y., Wu, M., Ruan, W., et\u00a0al.: Concolic testing for deep neural networks. CoRR (2018b). arXiv:1805.00089","DOI":"10.1145\/3238147.3238172"},{"key":"345_CR33","unstructured":"Szegedy, C., Zaremba, W., Sutskever, I., et\u00a0al.: Intriguing properties of neural networks (2014). arXiv:1312.6199 [cs.CV]"},{"key":"345_CR34","doi-asserted-by":"crossref","unstructured":"Tian, Y., Pei, K., Jana, S., et\u00a0al.: Deeptest: Automated testing of deep-neural-network-driven autonomous cars. CoRR (2017). arXiv:1708.08559","DOI":"10.1145\/3180155.3180220"},{"key":"345_CR35","doi-asserted-by":"crossref","unstructured":"Usman, M., Noller, Y., Pasareanu, C. S., et\u00a0al. NEUROSPF: a tool for the symbolic analysis of neural networks. CoRR (2021). arXiv:2103.00124","DOI":"10.1109\/ICSE-Companion52605.2021.00027"},{"key":"345_CR36","doi-asserted-by":"publisher","unstructured":"Williams, N., Marre, B., Mouy, P., et\u00a0al. Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis. In: Proceedings of the 5th European Conference on Dependable Computing. Springer-Verlag, Berlin, Heidelberg, EDCC\u201905, pp. 281\u2013292 (2005). https:\/\/doi.org\/10.1007\/11408901_21","DOI":"10.1007\/11408901_21"},{"key":"345_CR37","unstructured":"Xiao, C., Zhu, J., Li, B., et\u00a0al. Spatially transformed adversarial examples. CoRR (2018.) arXiv:1801.02612"},{"key":"345_CR38","unstructured":"Xiao, H., Rasul, K., Vollgraf, R.: Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms. CoRR (2017). arXiv:1708.07747"},{"key":"345_CR39","unstructured":"Zhang, J., Harman, M., Ma, L., et\u00a0al.: Machine learning testing: survey, landscapes and horizons (2019)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-022-00345-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-022-00345-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-022-00345-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T11:21:53Z","timestamp":1666956113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-022-00345-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,29]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["345"],"URL":"https:\/\/doi.org\/10.1007\/s10515-022-00345-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2022,6,29]]},"assertion":[{"value":"8 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The research does not involve human participants and animals.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Human and animals participants"}}],"article-number":"46"}}