Andrea Giugliano

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Specification Languages

Formal Specification

Object Oriented Design

Top Venues

Publications

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP (2015)