Tianhai Liu

According to our database, Tianhai Liu authored at least 8 papers between 2012 and 2023.

Collaborative distances:

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

2023

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software.

Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2018

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers.

Tianhai Liu

PhD thesis, 2018

2017

Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2014

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.

Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri

Proceedings of the Hardware and Software: Verification and Testing, 2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2012

Crustal deformation in linfen area studied by MT-InSAR.

Huaining Yang, Huadong Guo, Tianhai Liu, Guang Liu, Shiyong Yan

Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

Bounded Program Verification Using an SMT Solver: A Case Study.

Tianhai Liu, Michael Nagel, Mana Taghdiri

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012