{

int 3h

}

Interrupted

Unordered thoughts about programming, engineering and dealing with the people in the process.

RSS
Email

Blog
About
Archives

Category: Types

2012

Neither types nor tests will solve your data coverage problem

Nov 14 2012

posted in computer science, programming, testing, types

Recent Posts

Verifying state machine behavior using test.check
Property-based testing using QuickCheck
Decompiling Clojure III, Graph all the things
Decompiling Clojure II, The Compiler
Decompiling Clojure I

Copyright © 2015 - Guillermo Winkler - Powered by Octopress