Paper accepted at Journal of Systems Architecture(JSA)

We are proud that our paper "An efficient string solver for string constraints with regex-counting and string-length", has been accepted at Journal of Systems Architecture.

@article{HU2025103340,
  title = {An Efficient String Solver for String Constraints with Regex-Counting and String-Length},
  journal = {Journal of Systems Architecture},
  pages = {103340},
  year = {2025},
  issn = {1383-7621},
  doi = {https://doi.org/10.1016/j.sysarc.2025.103340},
  url = {https://www.sciencedirect.com/science/article/pii/S1383762125000128},
  author = {Denghang Hu and Zhilin Wu},
  keywords = {String constraints, String solver, Regular expression, String length, Counting operator},
}