This term’s seminar will be 1pm Fridays, in Room 928.

  1. January 10: No meeting
  2. January 17: Property-Based Testing in Practice, ICSE 2024. Logistics for the term
    • Discussion Lead: Chris
  3. January 24: Cancelled for lack of volunteers
  4. January 31: Meeting to schedule and plan
  5. February 7: Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
    • Discussion Lead: Chaewon
  6. February 14: Skipped due to parade closure
  7. February 21: Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation , this is a preprint of a paper recently accepted to ICST 2025
    • Discussion Lead: Amirali
  8. February 28: TBD (Jason)
  9. March 7: TBD (Ernie)
  10. March 14: Ismail’s thesis defense is planned this day (at our seminar time)