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

2020-07-17 Final Presentations.
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.