Decision procedures for path feasibility of string-manipulating programs with complex operations

Taolue Chen, Matthew Hague, Anthony Lin, Philipp Rümmer, Zhilin Wu

Research output: Contribution to conference › Paper › peer-review

1 results
- Title
- Start date(ascending)

OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset