SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systems
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Ridge, T
Sheets, David https://orcid.org/0000-0001-6768-9103
Tuerk, T
Giugliano, A
Madhavapeddy, Anil https://orcid.org/0000-0001-8954-2428
Description
Keywords
46 Information and Computing Sciences, 4612 Software Engineering
Journal Title
SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles
Conference Name
SOSP '15: ACM SIGOPS 25th Symposium on Operating Systems Principles
Journal ISSN
Volume Title
Publisher
ACM
Publisher DOI
Rights
All rights reserved
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)