String Constraint Solving with Real-World Regular Expressions

Hague, Matthew (PI)

Project: Research

2 Conference contribution
1 Paper

1 results

Filter

2020

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File

51 Downloads (Pure)