Collaborated with:H.Wang F.Yu J.R.Jiang
Talks about:constraint (1) approach (1) analysi (1) symbol (1) string (1) length (1) model (1) check (1)
Person: Shih-Yu Chen
DBLP: Chen:Shih=Yu
Contributed to:
2018Wrote 1 papers:
- ASE-2018-WangCYJ #analysis #approach #constraints #model checking #string
- A symbolic model checking approach to the analysis of string and length constraints (HEW, SYC, FY, JHRJ), pp. 623–633.