Genetic algorithms as shrinkers in property-based testing. - Fang-Yi Lo; Chao-Hong Chen; Ying-Ping Chen (GECCO (Companion), 2019)

Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms. - Fang-Yi Lo; Chao-Hong Chen; Ying-Ping Chen (CEC, 2020)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report). - Parosh Aziz Abdulla; Yo-Ga Chen; Yu-Fang Chen 001; Lukás Holík; Ondrej Lengál; Jyun-Ao Lin; Fang-Yi Lo; Wei-Lun Tsai (CoRR, 2024)

Verifying Quantum Circuits with Level-Synchronized Tree Automata. - Parosh Aziz Abdulla; Yo-Ga Chen; Yu-Fang Chen 001; Lukás Holík; Ondrej Lengál; Jyun-Ao Lin; Fang-Yi Lo; Wei-Lun Tsai (Proc. ACM Program. Lang., 2025)