• Publications
  • Influence
DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems
While Deep Neural Networks (DNNs) have established the fundamentals of image-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To address the safetyExpand
  • 84
  • 11
Towards Practical Program Repair with On-demand Candidate Generation
Effective program repair techniques, which modify faulty programs to fix them with respect to given test suites, can substantially reduce the cost of manual debugging. A common repair approach is toExpand
  • 51
  • 11
Boosting spectrum-based fault localization using PageRank
Manual debugging is notoriously tedious and time consuming. Therefore, various automated fault localization techniques have been proposed to help with manual debugging. Among the existing faultExpand
  • 43
  • 3
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing
While Deep Neural Networks (DNNs) have established the fundamentals of DNN-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To resolve the safetyExpand
  • 46
  • 3
Symbolic Execution for Deep Neural Networks
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new approach forExpand
  • 31
  • 1
High-Order Disturbance-Observer-Based Sliding Mode Control for Mobile Wheeled Inverted Pendulum Systems
In this paper, a novel high-order disturbance observer (HODO) for the mobile wheeled inverted pendulum (MWIP) system is first proposed. Based on a choice method of optimal gain matrices, theExpand
  • 30
  • 1
An Empirical Study of Boosting Spectrum-based Fault Localization via PageRank
Manual debugging is notoriously tedious and time-consuming. Therefore, various automated fault localization techniques have been proposed to help with manual debugging. Among the existing faultExpand
  • 10
SketchFix: a tool for automated program repair approach using lazy candidate generation
Manually locating and removing bugs in faulty program is often tedious and error-prone. A common automated program repair approach called generate-and-validate (G&V) iteratively creates candidateExpand
  • 7
Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement
The purpose of this paper is to study the problem of computing unitary eigenvalues (U-eigenvalues) of non-symmetric complex tensors. By means of symmetric embedding of complex tensors, theExpand
  • 2
Service2vec: A Vector Representation for Web Services
Among the approaches that investigate the similarity between web services, hardly any concentrates on the impacts from contexts. In this paper we introduce service2vec which is an approach toExpand
  • 2