Am I the first one to post about this? Looks like Robby’s giving a talk for the 
Chalmers online functional programming seminar series!

(and yes, this URL is non-ssl only, sigh)

Date: June 15th, 7am PDT / 10am EDT / 1400 UTC / 16:00 CEST

Title: “Concolic Testing with Higher-Order Inputs”


Concolic testing, dating back to the mid 2000s, has proven to be an effective, 
automatic testing technique. Roughly, a concolic tester monitors the program's 
behavior, collecting information that connects the branches that the program 
takes with the original inputs to the program. It then uses that information 
(with the help of an SMT solver) to try to construct new inputs to force the 
program to take different branches, in an attempt to uncover problems with the 

Most of the existing work on concolic testing focuses on the situation where 
the inputs to the program being tested are flat values (e.g., numbers) instead 
of higher-order values (e.g., objects or functions). Higher-order inputs, 
however, present challenges for concolic testing because the interplay between 
the input and the program being tested is much more complex. 

In this talk, I'll discuss the way we generalize concolic testing to 
higher-order inputs, explaining why it is challenging and how we answer the 
challenge. The talk will be example driven and I will try to bring across the 
intuition for how we conceptualize the generalization to higher-order inputs 
and the results we have so far.

I admit that I haven’t caught either of the first two talks in this series… 
apparently the Simon Peyton Jones one had some serious technical difficulties. 
Anyhow, those of us on the West Coast are probably getting more and more used 
to waking up early for global meetings, and this one certainly looks like a 
good one.

Can’t wait!


You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To view this discussion on the web visit

Reply via email to