 | 2009 |
|---|
| 9 |       | Rupak Majumdar,
Ru-Gang Xu:
Reducing Test Inputs Using Information Partitions.
CAV 2009: 555-569 |
| 2008 |
|---|
| 8 | | James H. Andrews,
Alex Groce,
Melissa Weston,
Ru-Gang Xu:
Random Test Run Length and Effectiveness.
ASE 2008: 19-28 |
| 7 | | Ru-Gang Xu,
Patrice Godefroid,
Rupak Majumdar:
Testing for buffer overflows with length abstraction.
ISSTA 2008: 27-38 |
| 6 | | Ashutosh Gupta,
Thomas A. Henzinger,
Rupak Majumdar,
Andrey Rybalchenko,
Ru-Gang Xu:
Proving non-termination.
POPL 2008: 147-158 |
| 2007 |
|---|
| 5 | | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ASE 2007: 134-143 |
| 4 | | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ESEC/SIGSOFT FSE 2007: 553-556 |
| 3 | | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ESEC/SIGSOFT FSE (Companion) 2007: 553-556 |
| 2 | | Ranjit Jhala,
Rupak Majumdar,
Ru-Gang Xu:
State of the Union: Type Inference Via Craig Interpolation.
TACAS 2007: 553-567 |
| 2006 |
|---|
| 1 | | Ranjit Jhala,
Rupak Majumdar,
Ru-Gang Xu:
Structural Invariants.
SAS 2006: 71-87 |
