Exploiting Library Vulnerability via Migration Based Automating Test Generation.

Zirui Chen Xing Hu Xin Xia Yi Gao Tongtong Xu David Lo Xiaohu Yang

Published in: ICSE (2024)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
quality assurance
mutation testing
high quality
software testing
code coverage
data sets
databases
regression testing