
HAMPI
 Referenced in 20 articles
[sw09864]
 Hampi: A Solver for String Constraints. Hampi is a solver for string constraints. Hampi ... predicate. Given a set of constraints, Hampi outputs a string that satisfies all the constraints...

PASS
 Referenced in 8 articles
[sw21858]
 interval automaton. The problem of solving string constraints together with numeric constraints has received increasing ... combination) to model strings, and reduce string constraints to bitvector constraints or automaton operations ... structure to model strings, and converts string constraints into quantified expressions that are solved through ... handle regular expressions and reason about string values faster. Our method does not need...

Norn
 Referenced in 8 articles
[sw21853]
 Norn: an SMT solver for string constraints. We present version 1.0 of the Norn ... solver for string constraints. Norn is a solver for an expressive constraint language, including word...

StrSolve
 Referenced in 6 articles
[sw21857]
 StrSolve: solving string constraints lazily. Reasoning about strings is becoming a key step ... analysis and testing frameworks. Standalone string constraint solving tools, called decision procedures, have been ... This separation enables independent improvement of string constraint solving algorithms and reduces client effort ... string variables. Our approach scales well with respect to the size of the input constraints...

Racer
 Referenced in 65 articles
[sw09837]
 failure, numeric constraints w.r.t. attribute values of different individuals, substring properties between string attributes...

S3
 Referenced in 8 articles
[sw19495]
 symbolic string solver. Our solver employs a new algorithm for a constraint language that ... Specifically, our language covers all the main string operations, such as those in JavaScript ... encoded as string equations. Secondly, there is a constraintbased generation of instances from these...

JST
 Referenced in 3 articles
[sw19494]
 data structures; novel solving techniques for string constraints, regular expressions, and their interactions with integer...

Z3str3
 Referenced in 7 articles
[sw30519]
 Z3str3 is a constraint solver for the quantifierfree theory of string equations, the regular...

Z3str2
 Referenced in 3 articles
[sw30520]
 strings, regular expressions, and length constraints. In recent years, string solvers have become an essential...

Rex
 Referenced in 5 articles
[sw11888]
 symbolic regular expression explorer. Constraints in form regular expressions over strings are ubiquitous. They occur ... applications. Providing support for regular expression constraints in program analysis and testing has several useful...

Kaluza
 Referenced in 2 articles
[sw12036]
 solver for multiple string variables of bounded length. Kaluza constraints may contain word equations over...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 power of stateoftheart constraint solvers for automata analysis that is both expressive ... transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...

KABOOM
 Referenced in 1 article
[sw35129]
 exact matches between the two strings, with the additional constraint that these matches must...

IDP3
 Referenced in 9 articles
[sw22941]
 strong interest in declarative modeling and constraintsolving as opposed to algorithmic approaches. The paper ... automaton consistent with a given set of strings. For this last problem, we show that...

MultiCAD
 Referenced in 1 article
[sw01786]
 solutions (forms) that satisfy the spatial constraints imposed by the user and create an initial ... coded into chromosomes using the usual binary strings. Visualization of the results is performed through...

ATLAS
 Referenced in 198 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

CUTE
 Referenced in 65 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...