Structural Invariants. - Ranjit Jhala; Rupak Majumdar; Ru-Gang Xu (SAS, 2006)

Directed test generation using symbolic grammars. - Rupak Majumdar; Ru-Gang Xu (ASE, 2007)

State of the Union: Type Inference Via Craig Interpolation. - Ranjit Jhala; Rupak Majumdar; Ru-Gang Xu (TACAS, 2007)

Testing for buffer overflows with length abstraction. - Ru-Gang Xu; Patrice Godefroid; Rupak Majumdar (ISSTA, 2008)

Random Test Run Length and Effectiveness. - James H. Andrews; Alex Groce; Melissa Weston; Ru-Gang Xu (ASE, 2008)

Proving non-termination. - Ashutosh Gupta 001; Thomas A. Henzinger; Rupak Majumdar; Andrey Rybalchenko; Ru-Gang Xu (POPL, 2008)

Reducing Test Inputs Using Information Partitions. - Rupak Majumdar; Ru-Gang Xu (CAV, 2009)

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. - Alex Groce; Klaus Havelund; Gerard J. Holzmann; Rajeev Joshi; Ru-Gang Xu (Ann. Math. Artif. Intell., 2014)