S. Anand, E. K. Burke, T. Y. Chen, J. Clark, M. B. Cohen et al., An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, 2013.

T. Avgerinos, A. Rebert, S. K. Cha, and D. Brumley, Enhancing symbolic execution with veritesting, Commun. ACM, vol.59, issue.6, 2016.

G. Balakrishnan and T. W. Reps, WYSINWYX: what you see is not what you execute, ACM Trans. Program. Lang. Syst, vol.32, 2010.

S. Banescu, C. S. Collberg, V. Ganesh, Z. Newsham, and A. Pretschner, Code obfuscation against symbolic execution attacks, Annual Conference on Computer Security Applications, ACSAC 2016, 2016.

S. Banescu, C. S. Collberg, and A. Pretschner, Predicting the resilience of obfuscated code against symbolic execution attacks via machine learning, USENIX Security Symposium, 2017.

B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai et al., On the (im)possibility of obfuscating programs, Advances in Cryptology -CRYPTO, 2001.

S. Bardin, R. David, and J. Marion, Backward-bounded DSE: targeting infeasibility questions on obfuscated codes, 2017 IEEE Symposium on Security and Privacy, 2017.
URL : https://hal.archives-ouvertes.fr/cea-01808887

C. Barrett and C. Tinelli, Satisfiability Modulo Theories, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01095009

A. Biere, Bounded Model Checking, Handbook of Satisfiability, 2009.

F. Biondi, S. Josse, A. Legay, and T. Sirvent, Effectiveness of synthesis in concolic deobfuscation, Computers & Security, vol.70, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01241356

G. Bonfante, J. M. Fernandez, J. Marion, B. Rouxel, F. Sabatier et al., Codisasm: Medium scale concatic disassembly of self-modifying binaries with overlapping instructions, Conference on Computer and Communications Security, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01257908

D. Brumley, C. Hartwig, Z. Liang, and J. Newsome, Automatically identifying trigger-based behavior in malware, Botnet Detection: Countering the Largest Security Threat, vol.36, pp.65-88, 2008.

R. Brummayer and A. Biere, Boolector: An efficient SMT solver for bit-vectors and arrays, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2009.

R. Bruni, R. Giacobazzi, and R. Gori, Code obfuscation against abstract model checking attacks, Verification, Model Checking, and Abstract Interpretation -19th International Conference, 2018.

C. Cadar, Targeted program transformations for symbolic execution, Meeting on Foundations of Software Engineering, ESEC/FSE, 2015.

C. Cadar, D. Dunbar, and D. R. Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, 8th USENIX Symposium on Operating Systems Design and Implementation, 2008.

C. Cadar and K. Sen, Symbolic execution for software testing: three decades later, Commun. ACM, vol.56, issue.2, 2013.

M. Ceccato, P. Tonella, C. Basile, P. Falcarin, M. Torchiano et al., Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge, Empirical Software Engineering, vol.24, issue.1, pp.240-286, 2019.

T. Sang-kil-cha, A. Avgerinos, D. Rebert, and . Brumley, Unleashing mayhem on binary code, Symposium on Security and Privacy, 2012.

C. Collberg and J. Nagra, Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection, 2009.

C. Collberg, C. Thomborson, and D. Low, A taxonomy of obfuscating transformations, 1997.

C. S. Collberg, S. Martin, J. Myers, and J. Nagra, Distributed application tamper detection via continuous software updates, Annual Computer Security Applications Conference, 2012.

K. Coogan, G. Lu, and S. K. Debray, Deobfuscation of virtualizationobfuscated software: a semantics-based approach, Conference on Computer and Communications Security, CCS, 2011.

R. David, S. Bardin, J. Feist, L. Mounier, M. Potet et al., Specification of concretization and symbolization policies in symbolic execution, International Symposium on Software Testing and Analysis, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01721492

R. David, S. Bardin, T. D. Ta, L. Mounier, J. Feist et al., BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis, IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01721502

L. Mendonça-de-moura and N. Bjørner, Z3: an efficient SMT solver, Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2008.

K. Saumya, J. Debray, and . Patel, Reverse engineering self-modifying code: Unpacker extraction, Working Conference on Reverse Engineering, 2010.

N. Eyrolles, L. Goubin, and M. Videau, Defeating mba-based obfuscation, Proceedings of the 2016 ACM Workshop on Software PROtection, SPRO@CCS 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01388109

P. Godefroid, M. Y. Levin, and D. A. Molnar, SAGE: whitebox fuzzing for security testing, Commun. ACM, vol.55, issue.3, 2012.

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Lazy abstraction, The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2002.

M. G. Kang, P. Poosankam, and H. Yin, Renovo: a hidden code extractor for packed executables, ACM Workshop Recurring Malcode (WORM)

J. Kinder, Towards static analysis of virtualization-obfuscated binaries, 19th Working Conference on Reverse Engineering, 2012.

D. King, B. Hicks, M. Hicks, and T. Jaeger, Implicit flows: Can't live with 'em, can't live without 'em, Information Systems Security, 4th International Conference, ICISS, 2008.

Y. Liu and A. Milanova, Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows, 14th European Conference on Software Maintenance and Reengineering, 2010.

S. Nejati, J. H. Liang, C. H. Gebotys, K. Czarnecki, and V. Ganesh, Adaptive restart and cegar-based solver for inverting cryptographic hash functions, 2017.

J. Salwan, S. Bardin, and M. Potet, Symbolic deobfuscation: from virtualized code back to the original, 5th Conference on Detection of Intrusions and malware & Vulnerability Assessment (DIMVA), 2018.

F. Saudel and J. Salwan, Triton : Framework d'exÃ?cution concolique, SSTIC, 2015.

S. Schrittwieser, S. Katzenbeisser, J. Kinder, G. Merzdovnik, and E. Weippl, Protecting software through obfuscation: Can it keep pace with progress in code analysis?, ACM Comput. Surv, vol.49, issue.1, 2016.

E. J. Schwartz, T. Avgerinos, and D. Brumley, All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask), Symposium on Security and Privacy, 2010.

H. Shacham, The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86), Conference on Computer and Communications Security, CCS, 2007.

I. Monirul, A. Sharif, J. T. Lanzi, W. Giffin, and . Lee, Impeding malware analysis using conditional code obfuscation, Network and Distributed System Security Symposium, NDSS, 2008.

Y. Shoshitaishvili, R. Wang, C. Salls, N. Stephens, M. Polino et al., SOK: (state of) the art of war: Offensive techniques in binary analysis, IEEE Symposium on Security and Privacy, 2016.

V. Srinivasan and T. W. Reps, An improved algorithm for slicing machine code, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016

J. Stephens, B. Yadegari, C. S. Collberg, S. Debray, and C. Scheidegger, Probabilistic obfuscation through covert channels, European Symposium on Security and Privacy, 2018.

J. Vanegue and S. Heelan, SMT solvers in software security, 6th USENIX Workshop on Offensive Technologies, WOOT'12, 2012.

C. Wang, J. Hill, J. Knight, and J. Davidson, Software tamper resistance: Obstructing static analysis of programs, 2000.

C. Wang, J. Hill, J. C. Knight, and J. W. Davidson, Protection of software-based survivability mechanisms, International Conference on Dependable Systems and Networks (DSN), 2001.

Z. Wang, J. Ming, C. Jia, and D. Gao, Linear obfuscation to combat symbolic execution, European Symposium on Research in Computer Security, ESORICS, 2011.

B. Yadegari and S. Debray, Symbolic execution of obfuscated code, Conference on Computer and Communications Security (CCS), 2015.

B. Yadegari, B. Johannesmeyer, B. Whitely, and S. Debray, A generic approach to automatic deobfuscation of executable code, Symposium on Security and Privacy, 2015.

Y. Zhou, A. Main, H. Yuan-xiang-gu, and . Johnson, Information hiding in software with mixed boolean-arithmetic transforms, Information Security Applications, WISA, 2007.