Ting Su

Orcid: 0000-0003-1628-9796

Affiliations:
  • East China Normal University, Shanghai, China (PhD)
  • ETH Zurich, Department of Computer Science, Switzerland
  • Nanyang Technological University, Cyber Security Lab, Singapore


According to our database1, Ting Su authored at least 65 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng., 2024

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues.
CoRR, 2024

Vortex under Ripplet: An Empirical Study of RAG-enabled Applications.
CoRR, 2024

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2024, 2024

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
Influential Global and Local Contexts Guided Trace Representation for Fault Localization.
ACM Trans. Softw. Eng. Methodol., May, 2023

Characterizing and Finding System Setting-Related Defects in Android Apps.
IEEE Trans. Software Eng., April, 2023

Test Report Generation for Android App Testing Via Heterogeneous Data Analysis.
IEEE Trans. Software Eng., 2023

Software Engineering for OpenHarmony: A Research Roadmap.
CoRR, 2023

ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

An Empirical Study of Functional Bugs in Android Apps.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Towards Efficient Data-Flow Test Data Generation.
Proceedings of the Theories of Programming and Formal Methods, 2023

2022
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.
IEEE Trans. Software Eng., 2022

ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps.
ACM Trans. Softw. Eng. Methodol., 2022

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

TraceDroid: A Robust Network Traffic Analysis Framework for Privacy Leakage in Android Apps.
Proceedings of the Science of Cyber Security - 4th International Conference, 2022

Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

iFixDataloss: a tool for detecting and fixing data loss issues in Android apps.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Detecting and fixing data loss issues in Android apps.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.
Sci. Comput. Program., 2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.
Proc. ACM Program. Lang., 2021

Benchmarking automated GUI testing for Android against real-world bugs.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Understanding and finding system setting-related defects in Android apps.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020
Automated Functional Fuzzing of Android Apps.
CoRR, 2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Improving Automated GUI Exploration of Android Apps via Static Dependency Analysis.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

The forgotten case of the dependency bugs: on the example of the robot operating system.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

An empirical assessment of security risks of global Android banking apps.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.
CoRR, 2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Finding and understanding bugs in software model checkers.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Learning Performance Optimization from Code Changes for Android Apps.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

ReCDroid: automatically reproducing Android application crashes from bug reports.
Proceedings of the 41st International Conference on Software Engineering, 2019

Deep differential testing of JVM implementations.
Proceedings of the 41st International Conference on Software Engineering, 2019

StoryDroid: automated generation of storyboard for Android apps.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps.
CoRR, 2018

Towards Efficient Data-flow Test Data Generation.
CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.
CoRR, 2018

Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR, 2018

Are mobile banking apps secure? what can be improved?
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Efficiently manifesting asynchronous programming errors in Android apps.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

Large-scale analysis of framework-specific exceptions in Android apps.
Proceedings of the 40th International Conference on Software Engineering, 2018

From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
A Survey on Data-Flow Testing.
ACM Comput. Surv., 2017

AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis.
CoRR, 2017

Guided, stochastic model-based GUI testing of Android apps.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci., 2016

Coverage-directed differential testing of JVM implementations.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

FSMdroid: guided GUI testing of android apps.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.
Proceedings of the Knowledge Science, Engineering and Management, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
The semantics and verification of timed service choreography.
Int. J. Comput. Math., 2014

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Modeling and Verification of AUTOSAR OS and EMS Application.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013


  Loading...