Fang-Yi Lo

According to our database, Fang-Yi Lo authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai

CoRR, 2024

2020

Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Genetic algorithms as shrinkers in property-based testing.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019