Augmented Symbolic Execution for Information Flow in Hardware Designs.
Kaki RyanMatthew GregoireCynthia SturtonPublished in: CoRR (2023)
Keyphrases
- information flow
- symbolic execution
- hardware designs
- static analysis
- test data generation
- test generation
- source code
- specification language
- supply chain
- communication networks
- data flow
- information flows
- model based diagnosis
- information security
- hardware description language
- social networks
- test cases
- integrated circuit
- open source
- software testing
- simulated annealing algorithm
- data processing
- flow graph
- object oriented