PL Seminar: Testing| Overview | In this course, we will study recent research papers on testing. Students should expect to learn the state of the art in research on software testing and how to read and evaluate a research paper. |
| | Meeting | M 8-10am, WF: 9-10am; Tech 170 |
| | Papers | | 9/28 | Korat: Automated Testing Based on Java Predicates
Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov | korat.pdf | | 10/5 | An Empirical Study of the Reliability of UNIX Utilities
Barton P. Miller, Lars Fredriksen, and Bryan So | fuzz.pdf | | 10/5 | Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services
Barton P. Miller, David Koski, Cjin Pheow Lee, Vivekananda Maganty, Ravi Murthy, Ajitkumar Natarajan, and Jeff Steidl | fuzz-revisited.pdf | | 10/7 | DART: Directed Automated Random Testing
Patrice Godefroid, Nils Klarlund, and Koushik Sen | dart.pdf | | 10/19 | Feedback-directed Random Test Generation
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball | feedback-random.pdf | | 10/26 | QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Koen Claessen and John Hughes | quick.pdf | | 11/2a | The Daikon system for dynamic detection of likely invariants
Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, and Chen Xiao | daikon.pdf | | 11/2b | Eclat: Automatic Generation and Classification of Test Inputs
Carlos Pacheco and Michael D. Ernst | eclat.pdf | | 11/9 | Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf | deviant.pdf | | 11/16 | WISE: Automated Test Generation for Worst-Case Complexity
Jacob Burnim, Sudeep Juvekar, and Koushik Sen | perftest.pdf | | 11/23 | HDD: Hierarchical Delta Debugging
Ghassan Misherghi and Zhendong Su | hdd.pdf | | Automatic Mining of Functionally Equivalent Code Fragments via Random Testing
Lingxiao Jiang and Zhendong Su | similar-code.pdf | | Taint-based Directed Whitebox Fuzzing
Vijay Ganesh, Tim Leek and Martin Rinard | buzzfuzz.pdf |
|
| | Robby Findler |
|