Symbolic Boolean derivatives for efficiently solving extended regular expression constraints.

Caleb Stanford, Margus Veanes, Nikolaj S. Bjrner

Browse the full PLDI paper archive.