Content deleted Content added
Linking to relevant external sources |
No edit summary |
||
Line 23:
Anything missing? - [[User:Paolo Liberatore|Liberatore]]([[User talk:Paolo Liberatore|T]]) 11:23, 9 March 2006 (UTC)
== Strings in Domains ==
Why are strings not added to the ___domain section?
When testing systems, it is often needed to solve string constraints.
For example, passwords must adhere to the constraints to ensure they are strong, and
input on a web form has to be in correspondence with a regular expression, e.g. of a ZIP code or IBAN account number.
A dedicate regex solver is Xeger https://code.google.com/p/xeger/
General purpose solvers are CVC4 http://cvc4.cs.nyu.edu/web/ and Z3str2 https://sites.google.com/site/z3strsolver/
== Domains? Solvers? ==
| |||