log in  |  register  |  feedback?  |  help  |  web accessibility
Adventures in Property-Based Testing
Leonidas Lampropoulos
IRB 0318- https://umd.zoom.us/j/99950842587?pwd=U1pnTXVUNzVJWjgrbi83d2VaMGFPZz09
Friday, September 9, 2022, 11:00 am-12:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)

Also on Zoom- 


QuickCheck-style property-based testing occupies an intriguing middle ground among software correctness techniques: it is relatively lightweight and accessible, but much more expressive than conventional unit testing dealing with logical specifications rather than simple examples. In this talk, I’ll describe ongoing research threads on improving property-based testing with the use of feedback, type information, or both!


Leonidas Lampropoulos is an assistant professor of Computer Science at the University of Maryland, College Park. Before that, he was a Victor Basili postdoctoral fellow jointly between UMD and UPenn, under the supervision of Prof. Michael Hicks and Prof. Benjamin Pierce. He got his Ph.D. at the University of Pennsylvania under Prof. Pierce. His research interests lie in programming languages, with an emphasis on software correctness through both random testing and verification. He is the principal author of the fourth volume in the popular Software Foundations series of online textbooks: "QuickChick: Property-Based Testing in Coq".

This talk is organized by Richa Mathur