X
Xin Li
Researcher at University of Alberta
Publications - 2
Citations - 22
Xin Li is an academic researcher from University of Alberta. The author has contributed to research in topics: Model checking & Exception handling. The author has an hindex of 2, co-authored 2 publications receiving 22 citations.
Papers
More filters
Book ChapterDOI
Towards automatic exception safety verification
TL;DR: In this article, the authors present a technique for verifying that exceptions are used in a safe way by integrating static analysis with model checking to visit all possible exception-raising execution paths.
Book ChapterDOI
API conformance verification for Java programs
TL;DR: This work presents a verification framework, called Fex, that assists in Java API conformance verification and successfully applied it to the TSAFE reference air traffic control system and identified a subtle deadlock missed by previous verification efforts.