Learn More
This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information services. To make it practical for commercial development and easier to support autonomous paradigm imposed by ubiquitous information services, we made improvements based on Reiter's standard situation calculus. First we(More)
Spectra-based fault localization (SFL) techniques have brought encouraging results and a variety of program spectra have been proposed to locate faults. Different types of abnormal behaviors may be revealed by different kinds of spectra. Compared to techniques using single spectra type, techniques combining multiple types of spectra try to leverage the(More)
Symbolic execution based test generation has made progress in recent years. However, in order to scale to larger programs there are some issues to be solved. Among them, generating a set of feasible paths to achieve high coverage gets more attention. In this paper, we focus on how to increase covering efficiency while maintaining high coverage. To achieve(More)
During software evolution, new released versions still contain many bugs. One common scenario is that end users encounter regression faults and submit them to bug tracking systems. Different from in-house regression testing, typically only one test input is available, which passes the old version and fails the modified new version. To address the issue,(More)
Term weighting schemes often dominate the performance of many classifiers, such as kNN, centroid-based classifier and SVMs. The widely used term weighting scheme in text categorization, i.e., tf.idf, is originated from information retrieval (IR) field. The intuition behind idf for text categorization seems less reasonable than IR. In this paper, we(More)
—The number of bug reports in complex software increases dramatically. Since bugs are still triaged manually, bug triage or assignment is a labor-intensive and time-consuming task. Without knowledge about the structure of the software, testers often specify the component of a new bug incorrectly. Meanwhile, it is difficult for triagers to determine the(More)
Testing of image processing applications is a challenging job especially, when evaluating the correctness of output image. Generally, output images are evaluated manually by visual inspection carried out by an expert tester, which is the main hindrance in automation of testing process. Recently, statistical and metamorphic testing approaches are presented(More)