• 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 7 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 bit-vector 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 7 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...
  • Racer

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

  • Referenced in 5 articles [sw21857]
  • StrSolve: solving string constraints lazily. Reasoning about strings is becoming a key step ... analysis and testing frameworks. Stand-alone 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...
  • JST

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

  • Referenced in 7 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 constraint-based generation of instances from these...
  • Z3str2

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

  • Referenced in 5 articles [sw30519]
  • Z3str3 is a constraint solver for the quantifier-free theory of string equations, the regular...
  • 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 state-of-the-art constraint solvers for automata analysis that is both expressive ... transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...
  • Rex

  • Referenced in 4 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...
  • KABOOM

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

  • Referenced in 7 articles [sw22941]
  • strong interest in declarative modeling and constraint-solving 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 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CUTE

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

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