Ting Su

According to our database1, Ting Su authored at least 36 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Ensembles of Recurrent Networks for Classifying the Relationship of Fake News Titles.
Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, 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

Entity Detection for Check-worthiness Prediction: Glasgow Terrier at CLEF CheckThat! 2019.
Proceedings of the Working Notes of CLEF 2019, 2019

2018
Quantitative material decomposition methods for X-ray spectral CT. (Méthodes de décomposition quantitative des matériaux pour la tomographie spectrale aux rayons X).
PhD thesis, 2018

FBSLS model for image segmentation.
IET Image Processing, 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

On Refining Twitter Lists as Ground Truth Data for Multi-community User Classification.
Proceedings of the Advances in Information Retrieval, 2018

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

Explicit solutions for a modified 2+1-dimensional coupled Burgers equation by using Darboux transformation.
Appl. Math. Lett., 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.
SCIENCE CHINA Information Sciences, 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

A Three-Way Decisions Clustering Algorithm for Incomplete Data.
Proceedings of the Rough Sets and Knowledge Technology - 9th International Conference, 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

2007
In search of deterministic methods for initializing K-means and Gaussian mixture clustering.
Intell. Data Anal., 2007

Multiple Digital Watermarking Scheme Based on ICA.
Proceedings of the Eighth International Workshop on Image Analysis for Multimedia Interactive Services, 2007

A Blind Watermarking Scheme Based on Visual Model for Copyright Security.
Proceedings of the Multimedia Content Analysis and Mining, International Workshop, 2007

2005
A multinomial clustering model for fast simulation of computer architecture designs.
Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2005

2004
A Deterministic Method for Initializing K-Means Clustering.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Automated hierarchical mixtures of probabilistic principal component analyzers.
Proceedings of the Machine Learning, 2004


  Loading...