Demystifying performance regressions in string solvers

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...

Full description

Saved in:
Bibliographic Details
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:
Computer Bugs
Testing
Fuzzing
Codes
Runtime
Location Awareness
Cognition
SMT String Solver
Performance Regression
SPR Finder
Software Engineering
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

Internet

https://ink.library.smu.edu.sg/sis_research/7239
https://ink.library.smu.edu.sg/context/sis_research/article/8242/viewcontent/tse21_av.pdf

Similar Items