SA4U: Practical Static Analysis for Unit Type Error Detection.
Max TaylorJohnathon AurandFeng QinXiaorui WangBrandon HenryXiangyu ZhangPublished in: CoRR (2022)
Keyphrases
- static analysis
- error detection
- error correction
- dynamic analysis
- source code
- error recovery
- java card
- data cleansing
- simulated annealing
- real world
- regular expressions
- test generation
- symbolic execution
- fault tolerance
- digital libraries
- artificial intelligence
- error control
- malicious code
- abstract interpretation
- data sets
- test suite
- bit rate
- multi agent
- case study