Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor
| Title: | Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor |
|---|---|
| Authors: | Memarian, Kayvan; Simner, Ben; Kaloper-Meršinjak, David; Pérami, Thibaut; Sewell, Peter |
| Source: | Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles. :685-700 |
| Availability: | http://dl.acm.org/doi/10.1145/3731569.3764817 |
| Database: | ACM Full-Text Collection |