Tianhai Liu

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Marginal Probabilities

Software Quality

Constraint Solving

Regression Testing

Top Venues

Haifa Verification Conference

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. ASE (2023)
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella
TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software. CoRR (2023)
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri
Computing Exact Loop Bounds for Bounded Program Verification. SETTA (2017)
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
Computing Specification-Sensitive Abstractions for Program Verification. SETTA (2016)
Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Haifa Verification Conference (2014)
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference (2014)
Tianhai Liu, Michael Nagel, Mana Taghdiri
Bounded Program Verification Using an SMT Solver: A Case Study. ICST (2012)
Huaining Yang, Huadong Guo, Tianhai Liu, Guang Liu, Shiyong Yan
Crustal deformation in linfen area studied by MT-InSAR. IGARSS (2012)