Zhendong Su

Available identifiers

zbMath Open su.zhendongMaRDI QIDQ1856155

List of research outcomes

Publication	Date of Publication	Type
Towards efficient data-flow test data generation	2024-02-28	Paper
Context-sensitive data-dependence analysis via linear conjunctive language reachability	2017-10-20	Paper
The essence of command injection attacks in web applications	2017-08-21	Paper
Projection merging	2015-03-17	Paper
The first-order theory of subtyping constraints	2015-03-17	Paper
Validity Checking for Finite Automata over Linear Arithmetic Constraints	2008-04-17	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
A class of polynomially solvable range constraints for interval analysis without widenings	2005-12-06	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2763672	2002-01-21	Paper
Detecting races in relay ladder logic programs	2000-01-01	Paper

Research outcomes over time

This page was built for person: Zhendong Su