Ru-Gang Xu

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Constraint Solving

Temporal Properties

Top Venues

Ann. Math. Artif. Intell.

Publications

Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70 (4) (2014)
Rupak Majumdar, Ru-Gang Xu
Reducing Test Inputs Using Information Partitions. CAV (2009)
James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu
Random Test Run Length and Effectiveness. ASE (2008)
Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar
Testing for buffer overflows with length abstraction. ISSTA (2008)
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu
Proving non-termination. POPL (2008)
Ru-Gang Xu, Rupak Majumdar
Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE (Companion) (2007)
Rupak Majumdar, Ru-Gang Xu
Directed test generation using symbolic grammars. ASE (2007)
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
State of the Union: Type Inference Via Craig Interpolation. TACAS (2007)
Rupak Majumdar, Ru-Gang Xu
Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE (2007)
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
Structural Invariants. SAS (2006)