A Finite Exact Representation of Register Automata Configurations
Chen, Yu-Fang, Wang, Bow-Yaw, Yen, Di-De
Published in Electronic proceedings in theoretical computer science (23.02.2014)
Published in Electronic proceedings in theoretical computer science (23.02.2014)
Get full text
Journal Article
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Chen, Yu-Fang, Chung, Kai-Min, Lengál, Ondřej, Lin, Jyun-Ao, Tsai, Wei-Lun, Yen, Di-De
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
PyCT: A Python Concolic Tester
Chen, Yu-Fang, Tsai, Wei-Lun, Wu, Wei-Cheng, Yen, Di-De, Yu, Fang
Published in Programming Languages and Systems
Published in Programming Languages and Systems
Get full text
Book Chapter
A Finite Exact Representation of Register Automata Configurations
Get full text
Paper
Journal Article
Solving Not-Substring Constraint with Flat Abstraction
Abdulla, Parosh, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Holik, Lukas, Hu, Denghang, Tsai, Wei-Lun, Wu, Zhillin, Yen, Di-De
Published in Programming Languages And Systems, APLAS 2021 (2021)
Published in Programming Languages And Systems, APLAS 2021 (2021)
Get full text
Conference Proceeding
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
Chen, Yu-Fang, Chung, Kai-Min, Lengál, Ondřej, Lin, Jyun-Ao, Tsai, Wei-Lun, Yen, Di-De
Year of Publication 18.01.2023
Year of Publication 18.01.2023
Get full text
Journal Article