News
Choosing Topic for Final Presentation
Written on 18.06.2021 09:44 by Rafael Dutra
Dear Students,
In order to assign the topics for final presentations, please send us (rafael.dutra@cispa.de, rahul.gopinath@cispa.de) a ranking of your 3 preferred topics (with 1 being the most preferred).
1)
2)
3)
The possible topics are
1) Delta Debugging
* Simplifying and isolating failure-inducing input
Zeller, Hildebrandt
https://www.st.cs.uni-saarland.de/papers/tse2002/tse2002.pdf
* Reducing Failure-Inducing Inputs
https://www.fuzzingbook.org/html/Reducer.html
https://www.debuggingbook.org/beta/html/DeltaDebugger.html
2) Evocative Patterns for Behavioral Abstraction
* Abstracting Failure-Inducing Inputs
Gopinath, Kampmann, Havrikov, Soremekun, Zeller
https://publications.cispa.saarland/3103/7/issta2020-language-of-failure.pdf
* When does my Program do this? Learning Circumstances of Software Behavior
Kampmann, Havrikov, Soremekun, Zeller
https://publications.cispa.saarland/3107/7/fse2020-alhazen.pdf
3) Language of Program Behaviors
* Input Algebras
Gopinath, Nemati, Zeller
https://publications.cispa.saarland/3208/7/gopinath2021input.pdf
* Learning the Language of Error
Chapman, Chockler, Kesseli, Kroening, Strichman, Tautschnig http://www.cprover.org/learning-errors/learning-the-language-of-error-including-a-proof-supplement.pdf
4) Mining Dynamic Invariants
* Dynamically discovering likely program invariants to support program evolution
Ernst, Cockrell, Griswold, Notkin
https://homes.cs.washington.edu/~mernst/pubs/invariants-tse2001.pdf
* Mining Function Specifications
https://www.fuzzingbook.org/html/DynamicInvariants.html
5) Mining Program Input Grammars
* Mining Input Grammars from Dynamic Control Flow
Gopinath, Mathis, Zeller
https://publications.cispa.saarland/3101/1/fse2020-mimid.pdf
* Mining Input Grammars from Dynamic Taints
Höschele, Zeller
https://www.fuzzingbook.org/html/GrammarMiner.html
6) A review of reverse debugging (Time-travel Debugging)
Engblom
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.338.3420&rep=rep1&type=pdf
7) Compiler Validation via Equivalence Modulo Inputs (EMI)
Le, Afshari, Su
https://www.cs.ucdavis.edu/~su/publications/emi.pdf
8) MultiSE: Multi-Path Symbolic Execution using Value Summaries (MultiSE)
Sen, Necula, Gong, Choi
https://people.eecs.berkeley.edu/~ksen/papers/multise.pdf
9) Smart Greybox Fuzzing (AFLSmart)
Pham, Böhme, Santosa, Caciulescu, Roychoudhury
https://arxiv.org/pdf/1811.09447.pdf
10) FormatFuzzer: Effective Fuzzing of Binary File Formats (FormatFuzzer)
Dutra, Gopinath, Zeller
https://dl.cispa.de/s/3q2PyqP7rqZzrNn
Thank you,
Rafael + Rahul + Zeller