SA4U: Practical Static Analysis for Unit Type Error Detection.
Max TaylorJohnathon AurandFeng QinXiaorui WangBrandon HenryXiangyu ZhangPublished in: ASE (2022)
Keyphrases
- static analysis
- error detection
- error correction
- dynamic analysis
- source code
- error recovery
- java card
- error correcting
- malicious code
- simulated annealing
- abstract interpretation
- data cleansing
- symbolic execution
- regular expressions
- test generation
- fault tolerance
- pattern matching
- real world
- fault tolerant
- relational databases
- high level
- fault isolation