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 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

Structural Invariants.

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu

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