String Analysis via Automata Manipulation with Logic Circuit Representation. - Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu 001; Jie-Hong R. Jiang (CAV (1), 2016)

Homing Sequence Derivation with Quantified Boolean Satisfiability. - Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik (ICTSS, 2017)

A symbolic model checking approach to the analysis of string and length constraints. - Hung-En Wang; Shih-Yu Chen; Fang Yu 001; Jie-Hong R. Jiang (ASE, 2018)

Homing Sequence Derivation With Quantified Boolean Satisfiability. - Kuan-Hua Tu; Hung-En Wang; Jie-Hong R. Jiang; Natalia Kushik; Nina Yevtushenko 001 (IEEE Trans. Computers, 2022)