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 (, a ranking of your 3 preferred topics (with 1 being the most preferred).




The possible topics are

1) Delta Debugging
* Simplifying and isolating failure-inducing input
  Zeller, Hildebrandt
* Reducing Failure-Inducing Inputs
2) Evocative Patterns for Behavioral Abstraction
* Abstracting Failure-Inducing Inputs
  Gopinath, Kampmann, Havrikov, Soremekun, Zeller
* When does my Program do this? Learning Circumstances of Software Behavior
  Kampmann, Havrikov, Soremekun, Zeller

3) Language of Program Behaviors
* Input Algebras
  Gopinath, Nemati, Zeller
*  Learning the Language of Error
  Chapman, Chockler, Kesseli, Kroening, Strichman, Tautschnig

4) Mining Dynamic Invariants
* Dynamically discovering likely program invariants to support program evolution
  Ernst, Cockrell, Griswold, Notkin
* Mining Function Specifications

5) Mining Program Input Grammars
*  Mining Input Grammars from Dynamic Control Flow
  Gopinath, Mathis, Zeller
* Mining Input Grammars from Dynamic Taints
  Höschele, Zeller
6) A review of reverse debugging (Time-travel Debugging)

7) Compiler Validation via Equivalence Modulo Inputs (EMI)
  Le, Afshari, Su

8) MultiSE: Multi-Path Symbolic Execution using Value Summaries (MultiSE)
  Sen, Necula, Gong, Choi

9) Smart Greybox Fuzzing (AFLSmart)
  Pham, Böhme, Santosa, Caciulescu, Roychoudhury

10) FormatFuzzer: Effective Fuzzing of Binary File Formats (FormatFuzzer)
  Dutra, Gopinath, Zeller


Thank you,

Rafael + Rahul + Zeller

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.