Search results for "Zhendong Su"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Taeho Kwon, Zhendong Su	Automatic Detection of Unsafe Dynamic Component Loadings.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
1	Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich	Abstracting Runtime Heaps for Program Understanding	CoRR	2012	DBLP BibTeX RDF
1	Taeho Kwon, Zhendong Su	Static Detection of Unsafe Component Loadings.	CC	2012	DBLP DOI BibTeX RDF
1	Taeho Kwon, Zhendong Su	Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software.	ICDM	2011	DBLP DOI BibTeX RDF
1	Fangqi Sun, Liang Xu, Zhendong Su	Static Detection of Access Control Vulnerabilities in Web Applications.	USENIX Security Symposium	2011	DBLP BibTeX RDF
1	Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su	Synthesizing method sequences for high-coverage testing.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Zhongxian Gu, Earl T. Barr, Zhendong Su	BQL: capturing and reusing debugging knowledge.	ICSE	2011	DBLP DOI BibTeX RDF
1	Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su	Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.	ISSTA	2010	DBLP DOI BibTeX RDF	testing, stability, floating-point, perturbation, numerical code
1	Taeho Kwon, Zhendong Su	Automatic detection of unsafe component loadings.	ISSTA	2010	DBLP DOI BibTeX RDF	unsafe component loading, dynamic analysis
1	Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su	Scalable and systematic detection of buggy inconsistencies in source code.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Mark Gabel, Zhendong Su	Online inference and enforcement of temporal properties.	ICSE	2010	DBLP DOI BibTeX RDF	online algorithm, dynamic analysis, temporal properties
1	Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su	Has the bug really been fixed?	ICSE	2010	DBLP DOI BibTeX RDF	bug fixes, symbolic execution, weakest precondition
1	Mark Gabel, Zhendong Su	A study of the uniqueness of source code.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Jedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong	Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	information theft detection, Intrusion detection, information theory, malware analysis
1	Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su	Detecting code clones in binary executables.	ISSTA	2009	DBLP DOI BibTeX RDF	software tools, clone detection, binary analysis
1	Lingxiao Jiang, Zhendong Su	Automatic mining of functionally equivalent code fragments via random testing.	ISSTA	2009	DBLP DOI BibTeX RDF	random testing, code clones, functional equivalence
1	Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su	Static Validation of C Preprocessor Macros.	ASE	2009	DBLP DOI BibTeX RDF	preprossing, macro errors, inconsistencies
1	Christian Bird, Earl T. Barr, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su	Structure and Dynamics of Research Collaboration in Computer Science.	SDM	2009	DBLP BibTeX RDF
1	Jens Palsberg, Zhendong Su (eds.)	Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings	SAS	2009	DBLP DOI BibTeX RDF
1	Fangqi Sun, Liang Xu, Zhendong Su	Client-Side Detection of XSS Worms by Monitoring Payload Propagation.	ESORICS	2009	DBLP DOI BibTeX RDF	cross-site scripting worm, client-side detection, Web application security
1	Ghassan Misherghi, Lihua Yuan, Zhendong Su, Chen-Nee Chuah, Hao Chen	A general framework for benchmarking firewall optimization techniques.	IEEE Transactions on Network and Service Management	2008	DBLP DOI BibTeX RDF
1	Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong	Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks.	NOMS	2008	DBLP DOI BibTeX RDF
1	Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su	Dynamic test input generation for web applications.	ISSTA	2008	DBLP DOI BibTeX RDF	directed random testing, web applications, automatic test generation, concolic testing
1	Gary Wassermann, Zhendong Su	Static detection of cross-site scripting vulnerabilities.	ICSE	2008	DBLP DOI BibTeX RDF	static analysis, web applications, cross-site scripting, input validation
1	Mark Gabel, Lingxiao Jiang, Zhendong Su	Scalable detection of semantic clones.	ICSE	2008	DBLP DOI BibTeX RDF	software maintenance, refactoring, clone detection, program dependence graph
1	Mark Gabel, Zhendong Su	Symbolic mining of temporal specifications.	ICSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
1	Mark Gabel, Zhendong Su	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
1	Lingxiao Jiang, Zhendong Su	Profile-guided program simplification for effective testing and analysis.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	testing and analysis, profiling, statistical debugging, program simplification
1	Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu	Static checking of dynamically generated queries in database applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	database queries, JDBC, Static checking, context-free language reachability
1	Gary Wassermann, Zhendong Su	Sound and precise analysis of web applications for injection vulnerabilities.	PLDI	2007	DBLP DOI BibTeX RDF	string analysis, static analysis, web applications
1	Lingxiao Jiang, Zhendong Su	Context-aware statistical debugging: from bug predictors to faulty control flow paths.	ASE	2007	DBLP DOI BibTeX RDF	bug localization, machine learning, control flow analysis, statistical debugging
1	Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna	Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu	DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.	ICSE	2007	DBLP DOI BibTeX RDF
1	Lingxiao Jiang, Zhendong Su, Edwin Chiu	Context-based detection of clone-related bugs.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	code clone detection, code clone-related bugs, context-based bug detection, inconsistencies
1	Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra	FIREMAN: A Toolkit for FIREwall Modeling and ANalysis.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Jedidiah R. Crandall, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong	Temporal search: detecting hidden malware timebombs with virtual machines.	ASPLOS	2006	DBLP DOI BibTeX RDF	virtual machines, malware, worms
1	Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong	ExecRecorder: VM-based full-system replay for attack analysis and system recovery.	ASID	2006	DBLP DOI BibTeX RDF	virtual machines, recovery, malware, worms, replay, invasive software
1	Zhendong Su, Gary Wassermann	The essence of command injection attacks in web applications.	POPL	2006	DBLP DOI BibTeX RDF	command injection attacks, web applications, parsing, grammars, runtime verification
1	Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su	Back to the Future: A Framework for Automatic Malware Removal and System Repair.	ACSAC	2006	DBLP DOI BibTeX RDF
1	Lingxiao Jiang, Zhendong Su	Osprey: a practical type system for validating dimensional unit correctness of C programs.	ICSE	2006	DBLP DOI BibTeX RDF	measurement units, type systems, Gaussian elimination, dimensional analysis, constraint-based analysis
1	Ghassan Misherghi, Zhendong Su	HDD: hierarchical Delta Debugging.	ICSE	2006	DBLP DOI BibTeX RDF	delta debugging, automated debugging
1	Gary Wassermann, Zhendong Su	Validity Checking for Finite Automata over Linear Arithmetic Constraints.	FSTTCS	2006	DBLP DOI BibTeX RDF
1	Zhendong Su, David Wagner	A class of polynomially solvable range constraints for interval analysis without widenings.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Joachim Niehren, Tim Priesnitz, Zhendong Su	Complexity of Subtype Satisfiability over Posets.	ESOP	2005	DBLP DOI BibTeX RDF
1	Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong	On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms
1	Zhendong Su, David Wagner	A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings.	TACAS	2004	DBLP DOI BibTeX RDF
1	Carl Gould, Zhendong Su, Premkumar T. Devanbu	Static Checking of Dynamically Generated Queries in Database Applications.	ICSE	2004	DBLP DOI BibTeX RDF
1	Carl Gould, Zhendong Su, Premkumar T. Devanbu	JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. (PDF / PS)	ICSE	2004	DBLP DOI BibTeX RDF
1	Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen	The first-order theory of subtyping constraints.	POPL	2002	DBLP DOI BibTeX RDF
1	Zhendong Su, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
1	Alexander Aiken, Manuel Fähndrich, Zhendong Su	Detecting races in Relay Ladder Logic programs.	STTT	2000	DBLP DOI BibTeX RDF	Verification, Testing, Static analysis, Constraints, Software
1	Zhendong Su, Manuel Fähndrich, Alexander Aiken	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.	POPL	2000	DBLP DOI BibTeX RDF
1	Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken	Partial Online Cycle Elimination in Inclusion Constraint Graphs.	PLDI	1998	DBLP DOI BibTeX RDF
1	Alexander Aiken, Manuel Fähndrich, Zhendong Su	Detecting Races in Relay Ladder Logic Programs.	TACAS	1998	DBLP DOI BibTeX RDF
1	Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su	A Toolkit for Constructing Type- and Constraint-Based Program Analyses.	Types in Compilation	1998	DBLP DOI BibTeX RDF
1	Anca Muscholl, Doron Peled, Zhendong Su	Deciding Properties for Message Sequence Charts.	FoSSaCS	1998	DBLP DOI BibTeX RDF

Publications of "Zhendong Su" ( http://dblp.L3S.de/Authors/Zhendong_Su )