A model counter for constraints over unbounded strings.

Wed, 01 Jan 2014 00:00:00 +0100

Loi Luu, Shweta Shinde , Prateek Saxena, Brian Demsky:
A model counter for constraints over unbounded strings. PLDI 2014: 565-576