Hosted By CSPAC
Title: Can contracts help test suites catch more bugs?
Abstract: The traditional conceptualization of software testing paradigms restricts property checking to the realm of random testing. However, when a language supports contracts, property checks can be integrated into example-based tests, resulting in test suites that are more powerful than traditional property-based or example-based strategies on their own. In this talk, I’ll explain where this combined approach fits into the current testing landscape and present results from a preliminary experiment demonstrating its potential.
Bio: Nathaniel is a third-year PhD student studying programming language pragmatics; that is, how the characteristics of a language affect its practical utility across various programming contexts. He is supervised by Christos Dimoulas.
---
What is CSPAC?
We are the CS PhD Advisory Council. We are a PhD student-led organization, and our mandate is to interface between PhD students and faculty on academic issues. We want to advocate for PhD students in the department, so if there is some way we can support you, please come talk to us. We welcome PhD students to our weekly meetings on Tuesdays, 4:00-5:00pm in Mudd 3501 and on zoom. We also welcome anonymous concerns/feedback at any time via this form. Anyone in the community can reach us at cspac@u.northwestern.edu.
Wynante R Charles
(847) 467-8174
Email