A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

DOI10.1007/978-3-030-59152-6_18MaRDI QIDQ6485885

Zhilin Wu, Jinlong He, Taolue Chen, Anthony Widjaja Lin, Unnamed Author, Matthew Hague, Philipp Rümmer

Publication date: 22 December 2022

Published in: 1517.68074 (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algorithms on strings (68W32)

This page was built for publication: A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type