Inferring annotations for device drivers from verification histories.
Zvonimir PavlinovicAkash LalRahul SharmaPublished in: ASE (2016)
Keyphrases
- car navigation
- model checking
- semantic annotation
- metadata
- annotation tool
- image annotation
- signature verification
- gene ontology
- functional verification
- portable devices
- asynchronous circuits
- formal methods
- user generated
- neural network
- real time
- key factors
- formal verification
- force feedback
- mobile phone
- keywords
- concurrent systems
- genetic algorithm
- driving simulator
- data sets