Seminar Program
| Date | Speaker(s) | Title |
|---|---|---|
| 2021/04/19 | Andreas Zeller | How to Give a Research Talk |
| 2021/04/26 | Divesh & Johannes | QuickCheck |
| 2021/05/03 | Florian | Semantic Fuzzing with Zest |
| Hannah | Coverage Guided, Property Based Testing | |
| 2021/05/10 | Sukanya | Beginner's Luck: A Language for Property-Based Generators |
| Dana | Property-Based Test Case Generators for Free | |
| 2021/05/17 | Rutuja & Eric | Your Proof Fails? Testing Helps to Find the Reason |
| 2021/05/24 | PUBLIC HOLIDAY | |
| 2021/05/31 | Johannes | QuickSpec |
| Kevin | Computing Summaries of String Loops in C for Better Testing and Refactoring | |
| 2021/06/07 | Dana & Florian | Mining Input Grammars from Dynamic Control Flow |
| 2021/06/14 | Divesh & Sukanya | When Does My Program Do This? Learning Circumstances of Software Behavior |
| 2021/06/21 | Rutuja & Hannah | Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks |
| 2021/06/28 | Eric & Kevin |
Coverage Metrics for Formal Specifications |
Final Talks
| Date | Speaker | Title |
|---|---|---|
| 07/08 | Hannah | Coverage-Guided Property-Based Testing |
| 09/16 | Divesh | QuickCheck |
| 09/16 | Kevin | Semantic Fuzzing with Zest |
| 09/16 | Dana | Property-Based Test Case Generators for Free |
| 09/16 | Eric | Your Proof Fails? Testing Helps to Find the Reason |
| 09/17 | Florian | Computing Summaries of String Loops in C for Better Testing and Refactoring |
| 09/17 | Johannes | Mining Input Grammars from Dynamic Control Flow |
| 09/17 | Sukanya | When Does My Program Do This? Learning Circumstances of Software Behavior |
| 09/17 | Rutuja | Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks |