Ru-Gang Xu

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell., 2014

2009
Reducing Test Inputs Using Information Partitions.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

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

Random Test Run Length and Effectiveness.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Testing for buffer overflows with length abstraction.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
State of the Union: Type Inference Via Craig Interpolation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Directed test generation using symbolic grammars.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Directed test generation using symbolic grammars.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Directed test generation using symbolic grammars.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
Structural Invariants.
Proceedings of the Static Analysis, 13th International Symposium, 2006


  Loading...