Sotabase

Career

· PhD in Computer Science, ETH Zurich2025–
· Phd Student, Scalable Parallel Computing Lab at ETH Zurich (SPCL@ETH)2025–
· Master of Science - MS Computer Science, ETH Zurich2022–2025
· Assistant Engineer, Quantum Management Services Ltd.2021–2022
· Assistant Engineer, Huawei Technologies Canada Co., Ltd.2019–2020
· Bachelor of Science - BS Computer Science, University of Toronto2016–2021

Publications (19)

Timed Testing under Partial Observability
International Conference on Information Control Systems & Technologies · 2009
25
cited
A Game-Theoretic Approach to Real-Time System Testing
Design, Automation and Test in Europe · 2008
23
cited
Cooperative Testing of Timed Systems
MBT@ETAPS · 2008
18
cited
Property-oriented test generation from UML Statecharts
Proceedings. 19th International Conference on Automated Software Engineering, 2004. · 2004
17
cited
Testing Real-Time Systems under Uncertainty
Formal Methods for Components and Objects · 2010
15
cited
Automated WCET analysis based on program modes
International Conference/Workshop on Automation of Software Test · 2006
12
cited
Scenario-based analysis and synthesis of real-time systems using uppaal
Design, Automation and Test in Europe · 2010
12
cited
An optimized method for automatic test oracle generation from real-time specification
IEEE International Conference on Engineering of Complex Computer Systems · 2005
11
cited
Property-oriented testing of real-time systems
Asia-Pacific Software Engineering Conference · 2004
8
cited
Verifying Real-Time Systems against Scenario-Based Requirements
World Congress on Formal Methods · 2009
6
cited
Automated Worst-Case Execution Time Analysis Based on Program Modes
Computer/law journal · 2009
4
cited
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM
Annual International Computer Software and Applications Conference · 2005
4
cited
Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest
SOQUA/TECOS · 2004
4
cited
Cooperative Testing of Uncontrollable Timed Systems
2008
2
cited
Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) · 2010
2
cited
Games and Scenarios for Real-Time System Validation
2010
1
cited
Proceedings of 2009 International Conference on Software Testing Verification and Validation
International Conference on Information Control Systems & Technologies · 2009
1
cited
Sotabase
Shuhao Li | Researcher Profile | Sotabase | Sotabase