Yuting Chen

According to our database1, Yuting Chen authored at least 95 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Probabilistic Semantic Retrieval for Surveillance Videos With Activity Graphs.
IEEE Trans. Multimedia, 2019

API recommendation for event-driven Android application development.
Information & Software Technology, 2019

CrowDevBot: A Task-Oriented Conversational Bot for Software Crowdsourcing Platform (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Enhancing Semantic Search of Crowdsourcing IT Services using Knowledge Graph.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Generating SQL Statements from Natural Language Queries: A Multitask Learning Approach (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Constructing a Knowledge Base of Coding Conventions from Online Resources.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

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

A Frequency-Aware Spatio-Temporal Network for Traffic Flow Prediction.
Proceedings of the Database Systems for Advanced Applications, 2019

2018
The role of model checking in software engineering.
Frontiers Comput. Sci., 2018

The Effects of Value Creation Practices on Online Brand Community Participation and Customer Relationship Performance.
Proceedings of the 22nd Pacific Asia Conference on Information Systems, 2018

LibraryGuru: API recommendation for Android developers.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

JSNVM: Supporting Data Persistence in JavaScript Using Non-Volatile Memory.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Research on hyper parameter tuning for distributed optimization when data is sparse.
Proceedings of the 2nd International Conference on Machine Learning and Soft Computing, 2018

SPMP: A JavaScript Support for Shared Persistent Memory on Node.js.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Robustness Testing of Intermediate Verifiers.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Learning CNN to Pair UAV Video Image Patches.
IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 2017

A subspace conjugate gradient algorithm for large-scale unconstrained optimization.
Numerical Algorithms, 2017

The selection of key temperature measuring points for the compensation of thermal errors of CNC machining tools.
IJMR, 2017

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code.
IEICE Transactions, 2017

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

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

Cold-Start Developer Recommendation in Software Crowdsourcing: A Topic Sampling Approach.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

CRSearcher: Searching Code Database for Repairing Bugs.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

Triggerless Happy - Intermediate Verification with a First-Order Prover.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

A reliable messaging middleware for financial institutions.
Proceedings of the 3rd International Conference on Communication and Information Processing, 2017

An Outlier Detection Technique Based on Spectral Clustering.
Proceedings of the International Conference on Big Data and Internet of Things, 2017

2016
Supporting Selective Undo for Refactoring.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Evaluating quality-in-use of FLOSS through analyzing user reviews.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

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

LockPeeker: detecting latent locks in Java APIs.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Rule-directed code clone synchronization.
Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Multicast routing tree for sequenced packet transmission in software-defined networks.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Multi-perspective change impact analysis using linked data of software engineering.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Spectral-spatial classification of hyperspectral images with Gaussian process.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Efficient Training of Very Deep Neural Networks for Supervised Hashing.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

SatiIndicator: Leveraging User Reviews to Evaluate User Satisfaction of SourceForge Projects.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Software Defect Prediction Using Semi-Supervised Learning with Change Burst Information.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

GRETA: Graph-Based Tag Assignment for GitHub Repositories.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Theory-Specific Reasoning about Loops with Arrays using Vampire.
Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

Heterogeneous Cross-Company Effort Estimation through Transfer Learning.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
A comparison of a generic MCMC-based algorithm for Bayesian estimation in C++, R and Julia: application to plant growth modeling.
Proceedings of the 48th Annual Simulation Symposium, 2015

WIP - Promoting good modeling practice with a domain-specific language and statistical algorithms designed for parallel computing.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Guided differential testing of certificate validation in SSL/TLS implementations.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Towards Effective Developer Recommendation in Software Crowdsourcing.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Efficient Activity Retrieval through Semantic Graph Queries.
Proceedings of the 23rd Annual ACM Conference on Multimedia Conference, MM '15, Brisbane, Australia, October 26, 2015

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Group Membership Prediction.
Proceedings of the 2015 IEEE International Conference on Computer Vision, 2015

Trace-based debugging for advanced-dispatching programming languages.
Proceedings of the 10th Workshop on Implementation, 2015

TBIL: A Tagging-Based Approach to Identity Linkage Across Software Communities.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Multi-operative USB HD: An All-In-One Solution to IT Supports and Forensic Experts.
JSW, 2014

A constraint-weaving approach to points-to analysis for AspectJ.
Frontiers Comput. Sci., 2014

Incremental Points-to Analysis for Java via Edit Propagation.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Anomalous cluster detection.
Proceedings of the IEEE International Conference on Acoustics, 2014

A Novel Visual Word Co-occurrence Model for Person Re-identification.
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Mining Developer Mailing List to Predict Software Defects.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Connected Sub-graph Detection.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

2013
Automated Breakpoint Generation for Debugging.
JSW, 2013

Platform Independent Analysis of Probabilities on Multithreaded Programs.
IJSI, 2013

Checking Internal Consistency of SOFL Specification: A Hybrid Approach.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Towards an EDSL to Enhance Good Modelling Practice for Non-linear Stochastic Discrete Dynamical Models - Application to Plant Growth Models.
Proceedings of the SIMULTECH 2013, 2013

Extracting URLs from JavaScript via program analysis.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Optimal Control of Crop Irrigation based on the Hamilton-Jacobi-Bellman Equation.
Proceedings of the SIAM Conference on Control and its Applications, 2013

Iterative convolution particle filtering for nonlinear parameter estimation and data assimilation with application to crop yield prediction.
Proceedings of the SIAM Conference on Control and its Applications, 2013

Constraint-based locality analysis for X10 programs.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Strategy, Ownership and Space: The Logistics of Collaborative Interaction.
Proceedings of the Mensch & Computer 2013: Interaktive Vielfalt, Interdisziplinäre Fachtagung, 8.-11. September 2013, Bremen, Germany, 2013

A new one-class SVM for anomaly detection.
Proceedings of the IEEE International Conference on Acoustics, 2013

Anticrasher: Predicting and preventing impending crashes on runtime at user end.
Proceedings of the International Conference on Advances in Computing, 2013

Platform independent analysis of probabilities on execution paths of multithreaded programs.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012
Formal Specification-Based Inspection for Verification of Programs.
IEEE Trans. Software Eng., 2012

Compressed C4.5 Models for Software Defect Prediction.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Reduced-reference image quality assessment based on statistics of edge patterns.
Proceedings of the Digital Photography VIII, 2012

2011
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Probabilistic Points-to Analysis for Java.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2010
A Rigorous Method for Inspection of Model-Based Formal Specifications.
IEEE Trans. Reliability, 2010

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.
Proceedings of the 10th International Conference on Quality Software, 2010

QuickWoZ: a multi-purpose wizard-of-oz framework for experiments with embodied conversational agents.
Proceedings of the 15th International Conference on Intelligent User Interfaces, 2010

BPGen: an automated breakpoint generator for debugging.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Behavior and preference in minimal personality: a study on embodied conversational agents.
Proceedings of the 12th International Conference on Multimodal Interfaces / 7. International Workshop on Machine Learning for Multimodal Interaction, 2010

2009
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.
Proceedings of the ASE 2009, 2009

2008
A relation-based method combining functional and structural testing for test case generation.
Journal of Systems and Software, 2008

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
International Journal of Software Engineering and Knowledge Engineering, 2008

A Systematic Approach for Integrating Fault Trees into System Statecharts.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Method Combining Review and Testing for Verifying Software Systems.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008

2006
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Study on a Specification-Based Program Review Approach.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005
An Automated Approach to Specification-Based Program Inspection.
Proceedings of the Formal Methods and Software Engineering, 2005

Design of a Tool for Specification-Based Program Review.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Framework for SOFL-Based Program Review.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool and Case Study for Specification-Based Program Review.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Review Approach to Detecting Structural Consistency Violations in Programs.
Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004
An Approach to Integration Testing Based on Data Flow Specifications.
Proceedings of the Theoretical Aspects of Computing, 2004

An Investigation of the Approach to Specification-Based Program Review through Case Studies.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004


  Loading...