Patch Space Exploration using Static Analysis Feedback.

Yuntong Zhang Andreea Costea Ridwan Shariffdeen Davin McCall Abhik Roychoudhury

Published in: CoRR (2023)

Keyphrases

static analysis
space exploration
dynamic analysis
source code
symbolic execution
malicious code
regular expressions
obstacle avoidance
abstract interpretation
java card
test generation
test suite
mobile robot
relational databases
database
third party
databases