CSEP551: Operating Systems

Paper 10: D. Engler, D. Chen, A. Chou. Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.

• Read the paper

• Read reviews for this paper

• Post a review for this paper