Seminar Papers and Dates
2020-05-08 Initial Meeting
2020-05-15 Intro talk: How to Give a Talk.
2020-05-22 Basic Fuzzing. B.P. Miller, L. Fredriksen, and B. So, "An Empirical Study of the Reliability of UNIX Utilities", Communications of the ACM 33 12 (December 1990) ftp://ftp.cs.wisc.edu/paradyn/technical_papers/fuzz.pdf
2020-05-29 Structured Fuzzing. A. Zeller et al. "Fuzzing with Grammars" https://www.fuzzingbook.org/html/Grammars.html
2020-06-05 Evolutionary Fuzzing. Sanjay Rawat et al. "VUzzer: Application-aware Evolutionary Fuzzing" https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/vuzzer-application-aware-evolutionary-fuzzing/
2020-06-12 Symbolic Test Generation. C. Cadar et al. "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs" https://static.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf
2020-06-19 Statistical Debugging. J. Jones, M.J. Harrold, J. Stasko "Visualization of test information to assist fault localization" https://dl.acm.org/doi/10.1145/581339.581397
2020-06-26 Delta Debugging. A. Zeller "Simplifying and Isolating Failure-Inducing Input". https://dl.acm.org/doi/10.1109/32.988498
2020-07-03 Dynamic Invariants. M. Ernst et al. "Dynamically Discovering Likely Program Invariants to Support Program Evolution" https://dl.acm.org/doi/pdf/10.1145/302405.302467
2020-07-10 Automated software repair. W. Weimer et al. "Automatically finding patches using genetic programming". 2009 IEEE 31st International Conference on Software Engineering, pp. 364-374. https://dl.acm.org/doi/pdf/10.1109/ICSE.2009.5070536