Login / Signup
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract).
George Chatzieleftheriou
Apostolos Chatzopoulos
Panagiotis Katsaros
Published in:
ISoLA (2) (2014)
Keyphrases
</>
extended abstract
static analysis
test generation
dynamic analysis
test suite
source code
malicious code
symbolic execution
test data generation
search algorithm
test cases
search space
abstract interpretation
unit testing
regular expressions
test case generation
intrusion detection
object oriented