Demystifying performance regressions in string solvers
Over the past few years, SMT string solvers have found their applications in an increasing number of domains, such as program analyses in mobile and Web applications, which require the ability to reason about string values. A series of research has been carried out to find quality issues of string s...
Saved in:
Main Authors: | ZHANG, Yao, XIE, Xiaofei, LI, Yi, LIN, Yi, CHEN, Sen, LIU, Yang, LI, Xiaohong |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2023
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/7239 https://ink.library.smu.edu.sg/context/sis_research/article/8242/viewcontent/tse21_av.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Parametrizations and Modifications for the String Method
by: EMMANUEL LANCE CHRISTOPHER VI M. PLAN
Published: (2013) -
Compressed indexes for approximate string matching
by: Chan, H.-L., et al.
Published: (2013) -
NUMERICAL STUDY OF PHASE TRANSITION PROBLEMS USING STRING METHOD
by: LI YUNZHI
Published: (2016) -
Design of MOF based surface plasmon resonance sensors
by: Pan, Shanshan
Published: (2013) -
SEARCH FOR COSMIC STRINGS IN THE COSMOS SURVEY
by: TENG PO-WEN IVAN
Published: (2012)