On Strings in Software Model Checking. - Hossein Hojjat; Philipp Rümmer; Ali Shamakhi (APLAS, 2019)

Towards String Support in JayHorn (Competition Contribution). - Ali Shamakhi; Hossein Hojjat; Philipp Rümmer (TACAS (2), 2021)