Yon Shin Teo

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Propositional Satisfiability

Top Venues

Publications

Yanran Li, Yan Zheng, Yon Shin Teo, Shangwei Lin
Is AI testing beneficial for the manufacturer and social welfare? Optimal test strategy of a smart product. Expert Syst. Appl. 241 (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) (2024)
Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu
LLMs for Relational Reasoning: How Far are We? CoRR (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR (2023)
Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin
An Automatic Test Plan Generation Approach for Automotive Software Testing. SoMeT (2023)
Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin
A Holistic Automated Software Structure Exploration Framework for Testing. SoMeT (2022)
Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. ASE (2021)
Yon Shin Teo, Zihong Yuan, Wee Siong Ng, Yangfan Zhang, Valerie Phangt
Towards a deep learning powered query engine for urban planning. IALP (2017)