We released Ekstazi tool (http://ekstazi.org/ http://ekstazi.org/) last year that implements novel test selection technique for Java. (The details of the techn

We released Ekstazi tool (http://ekstazi.org/ http://ekstazi.org/) last year that implements novel test selection technique for Java. (The details of the technique are discussed elsewhere.) Ekstazi has been adopted by several projects. Hopefully it will be useful for some developers that see these lines.