Rex: Symbolic Regular Expression Explorer

Margus Veanes, Peli de Halleux, Nikolai Tillmann. Rex: Symbolic Regular Expression Explorer. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010. pages 498-507, IEEE Computer Society, 2010. [doi]

Authors

Margus Veanes

This author has not been identified. Look up 'Margus Veanes' in Google

Peli de Halleux

This author has not been identified. Look up 'Peli de Halleux' in Google

Nikolai Tillmann

This author has not been identified. Look up 'Nikolai Tillmann' in Google