Ru-Gang Xu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	James H. Andrews (J. H. Andrews, Jamie Andrews)	[c7]
2	Patrice Godefroid	[c8]
3	Alex Groce	[c7]
4	Ashutosh Gupta	[c6]
5	Thomas A. Henzinger	[c6]
6	Ranjit Jhala	[c2] [c1]
7	Rupak Majumdar	[c9] [c8] [c6] [c5] [c4] [c3] [c2] [c1]
8	Andrey Rybalchenko	[c6]
9	Melissa Weston	[c7]

Last update Thu May 23 12:48:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page