Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries

MR Parvez - 2016 - uwspace.uwaterloo.ca
Manual software testing is laborious and prone to human error. Yet, it is the most popular
method for quality assurance. Automating the test-case generation promises better …
被引用次数：41 相关文章

Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries

MR Parvez - 2016 - library-archives.canada.ca
Manual software testing is laborious and prone to human error. Yet, it is the most popular
method for quality assurance. Automating the test-case generation promises better …

Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries

R Parvez, PAS Ward, V Ganesh - Proceedings of the 26th Annual …, 2016 - dl.acm.org
Symbolic execution is an automated technique for program analysis that has recently
become practical due to advances in constraint solvers. Symbolic execution eventually …
[PDF] core.ac.uk

[PDF][PDF] Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries

MR Parvez - core.ac.uk
Manual software testing is laborious and prone to human error. Yet, it is the most popular
method for quality assurance. Automating the test-case generation promises better …