OSVAuto: semi-automatic verifier for functional specifications of operating systems.
Yulun WuBohua ZhanBican XiaPublished in: CoRR (2024)
Keyphrases
- semi automatic
- operating system
- fully automatic
- computer systems
- gold standard
- semi automatically
- virtual machine
- labor intensive
- domain ontology
- windows xp
- distributed systems
- microsoft windows
- linux kernel
- wrapper generation
- memory management
- ontology construction
- operating environment
- security mechanisms
- data mining
- databases