Quick Overview: by Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon ... International Conference on Functional Programming 2014. Gothenburg, Sweden. Concolic testing, dating back to the mid 2000s, has proven to be an effective, automatic testing technique. Roughly, a concolic ...
Icfp 2012 Robby Findler Programme - Detailed Overview & Context
by Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon ... International Conference on Functional Programming 2014. Gothenburg, Sweden. Concolic testing, dating back to the mid 2000s, has proven to be an effective, automatic testing technique. Roughly, a concolic ... Functional High Performance Computing workshop @
