Ru-Gang Xu

According to our database, Ru-Gang Xu authored at least 8 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

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

2009

Reducing Test Inputs Using Information Partitions.

Rupak Majumdar, Ru-Gang Xu

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Proving non-termination.

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Random Test Run Length and Effectiveness.

James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Testing for buffer overflows with length abstraction.

Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

State of the Union: Type Inference Via Craig Interpolation.

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Directed test generation using symbolic grammars.

Rupak Majumdar, Ru-Gang Xu

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Structural Invariants.

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu

Proceedings of the Static Analysis, 13th International Symposium, 2006