|
[1] Bellard, F. QEMU, a fast and portable dynamic translator. 2005. USENIX. [2] V. Chipounov, V. Georgescu, C. Zam r, and G. Candea. Selective symbolic execution. In HotDep, 2009. [3] Rodeh, O. and A. Teperman. zFS-a scalable distributed file system using object disks. 2003. IEEE. [4] Dawidek, P.J., Porting the ZFS file system to the FreeBSD operating system. Proc. of AsiaBSDCon, 2007: p. 97-103. [5] King, J.C., Symbolic execution and program testing. Communications of the ACM, 1976. 19(7): p. 385-394. [6] Anand, S., C. Păsăreanu, and W. Visser, JPF–SE: A symbolic execution extension to java pathfinder. Tools and Algorithms for the Construction and Analysis of Systems, 2007: p. 134-138. [7] Ciortea, L., et al., Cloud9: A software testing service. ACM SIGOPS Operating Systems Review, 2010. 43(4): p. 5-10. [8] Sen, K. Concolic testing. 2007. ACM. [9] Shepler, S., et al., Network file system (NFS) version 4 protocol. Network, 2003. [10] Lattner, C. and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. 2004. IEEE. [11] Miller, B., Fuzz testing of application reliability, 2007, Madison. [12] Neystadt, J., „Automated Penetration Testing with White-Box Fuzzing “. MSDN Library, 2008. [13] Cadar, C., D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. 2008. USENIX Association. [14] Galstad, E., Nagios Version 3. x Documentation. Nagios Group [viitattu 20.2. 2009]. Saatavissa: http://nagios. sourceforge. net/docs/nagios-3. pdf, 2008. [15] Yeh, T., T.H. Chang, and R.C. Miller. Sikuli: using GUI screenshots for search and automation. 2009. ACM. [16] Cha, A.R.S.K., T. Avgerinos, and D. Brumley. Unleashing mayhem on binary code. 2012.
|