| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] J.- M. Jézéquel and B. Meyer, "Design by Contract: The Lessons of Ariane," Journal Computer, vol. 30, no. 1, pp. 129-130, 1997 |
Sách, tạp chí |
| Tiêu đề: |
Design by Contract: The Lessons of Ariane |
|
| [4] T. Linz and H. Schaefer. A. Spillner, Software Testing Foundations, Santa Barbara, Ed.: Rocky Nook Inc., 2006 |
Sách, tạp chí |
| Tiêu đề: |
Software Testing Foundations |
|
| [5] E. M. Clarke and J. M. Wing., "Formal methods: State of the art and future directions.," Journal ACM Computing Surveys, vol. 28, no. 4, pp. 626-643, 1996 |
Sách, tạp chí |
| Tiêu đề: |
Formal methods: State of the art and future directions |
|
| [6] J. W. Backus, ""The Syntax and Semantics of the Proposed International Algebraic Language of Zürich ACM-GAMM Conference," in Proceedings of the International Conference on Information Processing, Zurich, Switzerland, 1959, pp. 1-21 |
Sách, tạp chí |
| Tiêu đề: |
The Syntax and Semantics of the Proposed International Algebraic Language of Zürich ACM-GAMM Conference |
|
| [7] T. Reps, D. Melski, T. Teitelbaum and G. Balakrishnan, "WYSINWYX:What You See Is Not What You eXecute.," in Transactions on Programming Languages and Systems (TOPLAS), New York, USA, 2010 |
Sách, tạp chí |
| Tiêu đề: |
WYSINWYX:What You See Is Not What You eXecute |
|
| [8] Intel Corporation, "Intel 64 and IA-32 Architectures Software Developer’s Manual," 2009 |
Sách, tạp chí |
| Tiêu đề: |
Intel 64 and IA-32 Architectures Software Developer’s Manual |
|
| [2] Tricentis. (2017, Oct.) Tricentis. [Online]. https://www.tricentis.com/wp- content/uploads/2017/01/20161231SoftwareFails2016.pdf |
Link |
|
| [30] J. Collake. (2017, January) PECompact – Windows (PE) Executable Compressor. [Online]. https://bitsum.com/portfolio/pecompact/ |
Link |
|
| [32] Oreans Technologies. (2017, October) Themida Advanced Windows Software Protection System. [Online]. https://www.oreans.com/themida.php |
Link |
|
| [34] Un4seen. PETITE Win32 Executable Compressor. [Online]. http://www.un4seen.com/petite/ |
Link |
|
| [35] Telock Packer. [Online]. http://www.softpedia.com/get/Programming/Packers-Crypters-Protectors/Telock.shtml |
Link |
|
| [46] S. Naftaly (2012, June) Pin - A Dynamic Binary Instrumentation Tool. [Online]. https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool |
Link |
|
| [53] Y. Guillot and J. Tinnes. (2007, April) The METASM assembly manipulation suite. [Online]. http://metasm.cr0.org/ |
Link |
|
| [54] V. Bénony. Hopper v4 The macOS and Linux Disassembler. [Online]. http://www.hopperapp.com |
Link |
|
| [55] Java User Group. Java Native Access (JNA). [Online]. https://github.com/java- native-access/jna |
Link |
|
| [67] D. Pistelli. (2009, May) NTCore-CFF Explorer. [Online]. http://www.ntcore.com/exsuite.php |
Link |
|
| [76] D. Song. TEMU: The BitBlaze Dynamic Analysis Component. [Online]. http://bitblaze.cs.berkeley.edu/temu.html |
Link |
|
| [91] CERT. (2017) THE WANNACRY RANSOMWARE. [Online]. http://www.ey.com/Publication/vwLUAssets/ey-wannacry-ransomware-attack/$File/ey-wannacry-ransomware-attack.pdf |
Link |
|
| [106] Software Freedom Conservancy. QEMU the FAST! processor emulator. [Online]. https://www.qemu.org/ |
Link |
|
| [107] M. Russinovich. (2017, September) Process Monitor v3.40. [Online]. https://docs.microsoft.com/en-us/sysinternals/downloads/procmon |
Link |
|