Su, Zhendong - Department of Computer Science, University of California, Davis

Advanced Search

Su, Zhendong - Department of Computer Science, University of California, Davis

Perturbing Numerical Calculations for Statistical Analysis of Floating-Point Program (In)Stability
Entailment with Conditional Equality Constraints ?
Deciding Properties for Message Sequence Charts Anca Muscholl \Lambda Doron Peled y Zhendong Su z
Entailment with Conditional Equality Constraints (Extended Version)
Sound and Precise Analysis of Web Applications for Injection Vulnerabilities
A Type-based Dimensional Analysis for XQuery Zhendong Su
Int J STTT (2000) 3: 93105 2000 Springer-Verlag Regular contribution
Has the Bug Really Been Fixed? Zhongxian Gu Earl T. Barr David J. Hamilton Zhendong Su
Complexity of Subtype Satisfiability over Posets Joachim Niehren
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications Carl Gould, Zhendong Su, and Premkumar Devanbu
Back to the Future: A Framework for Automatic Malware Removal and System Repair
The First-Order Theory of Subtype Constraints ZHENDONG SU
Stutter Equivalence for In nite State Systems Zhendong Su
Automating the Computation of Nested Abnormality Theories
The Complexity of Entailment Problems over Conditional Equality Constraints
Complexity of Subtype Satisfiability over Posets Joachim Niehren1
Automatic Detection of Unsafe Component Loadings Taeho Kwon Zhendong Su
The First-Order Theory of Subtyping Constraints Zhendong Su Alexander Aiken
Context-Based Detection of Clone-Related Bugs Lingxiao Jiang Zhendong Su Edwin Chiu
DECKARD: Scalable and Accurate Tree-based Detection of Code Clones Lingxiao Jiang Ghassan Misherghi Zhendong Su
An Analysis Framework for Security in Web Applications Gary Wassermann Zhendong Su
Static Detection of Access Control Vulnerabilities in Web Applications Fangqi Sun Liang Xu Zhendong Su
Algorithms for and the Complexity of Constraint Entailment Zhendong Patrick Su
Context-Aware Statistical Debugging: From Bug Predictors to Faulty Control Flow Paths
Partial Online Cycle Elimination in Inclusion Constraint Graphs Manuel Fahndrich \Lambda Jeffrey S. Foster \Lambda Zhendong Su \Lambda Alexander Aiken \Lambda
The Essence of Command Injection Attacks in Web Applications Zhendong Su
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings
Automatic Analysis of Relay Ladder Logic Programs Zhendong Su
Type-based Inference of Size Relationships for XML Transformations