conf.researchr.org / Cong Tian
Registered user since Wed 20 Dec 2017
Name:Cong Tian
Contributions
2022
2019
2018
ICSE
- Author of Poster T14: Accelerating Counterexample Detection in Software Model Checking within the Posters -track
- Author of Poster T16: Android Inter-Component Communication Analysis with Intent Revision within the Posters -track
- Author of RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations within the Technical Papers -track