Login / Signup
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Weigang He
Peng Di
Mengli Ming
Chengyu Zhang
Ting Su
Shijie Li
Yulei Sui
Published in:
Proc. ACM Softw. Eng. (2024)
Keyphrases
</>
decision making
semi automated
automated analysis
test cases
deeper understanding
finding optimal
data mining
artificial intelligence
case study
face recognition
expert systems
object oriented
software engineering
semi automatic
computer aided
computer assisted