NDLI: A learning-to-rank based fault localization approach using likely invariants

Please wait, while we are loading the content...

DEKANT: a static analysis tool that learns to detect web application vulnerabilities

Binary code is not easy

Generating focused random tests using directed swarm testing

CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites

Practitioners' expectations on automated fault localization

Automatic generation of oracles for exceptional behaviors

DSI: an evidence-based approach to identify dynamic data structures in C programs

Semantic modelling of Android malware for effective malware comprehension, detection, and classification

Mutation-aware fault prediction

Efficient race detection in the presence of programmatic event loops

Zero-overhead profiling via EM emanations

COSTOTest: a tool for building and running test harness for service-based component models (demo)

Automated and effective testing of web services for XML injection attacks

Specification of concretization and symbolization policies in symbolic execution

Monkey see, monkey do: effective generation of GUI tests with inferred macro events

Automatic test case generation: what if test code quality matters?

A learning-to-rank based fault localization approach using likely invariants

Verdict machinery: on the need to automatically make sense of test results

Documenting database usages and schema constraints in database-centric applications

DroidRA: taming reflection to support whole-program analysis of Android apps

Predictive mutation testing

Automatically verifying and reproducing event-based races in Android apps

Efficient flow profiling for detecting performance bugs

ASTOR: a program repair library for Java (demo)

EagerMerge: an optimistic technique for efficient points-to analysis

Sapienz: multi-objective automated testing for Android applications

Analyzing test completeness for dynamic languages

Optimal sanitization synthesis for web application vulnerability repair

Testing stochastic software using pseudo-oracles

Exploring regular expression usage and context in Python

Threats to the validity of mutation-based test assessment

SyncProf: detecting, localizing, and optimizing synchronization bottlenecks

Energy-aware test-suite minimization for Android apps

Jolinar: analysing the energy footprint of software applications (demo)

IPA: improving predictive analysis with pointer analysis

FSX: fine-grained incremental unit test generation for C/C++ programs

Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts

ARROW: automated repair of races on client-side web pages

Test oracle assessment and improvement

Toward understanding compiler bugs in GCC and LLVM

PIT: a practical mutation testing tool for Java (demo)

A learning-to-rank based fault localization approach using likely invariants

Content Provider	ACM Digital Library
Author	Le Goues, Claire Grunske, Lars Lo, David B. Le, Tien-Duy
Abstract	Debugging is a costly process that consumes much of developer time and energy. To help reduce debugging effort, many studies have proposed various fault localization approaches. These approaches take as input a set of test cases (some failing, some passing) and produce a ranked list of program elements that are likely to be the root cause of the failures (i.e., failing test cases). In this work, we propose Savant, a new fault localization approach that employs a learning-to-rank strategy, using likely invariant diffs and suspiciousness scores as features, to rank methods based on their likelihood to be a root cause of a failure. Savant has four steps: method clustering & test case selection, invariant mining, feature extraction, and method ranking. At the end of these four steps, Savant produces a short ranked list of potentially buggy methods. We have evaluated Savant on 357 real-life bugs from 5 programs from the Defects4J benchmark. Out of these bugs, averaging over 100 repeated trials with different seeds to randomly break ties, we find that on average Savant can identify correct buggy methods for 63.03, 101.72, and 122 bugs at top 1, 3, and 5 positions in the ranked lists that Savant produces. We have compared Savant against several state-of-the-art fault localization baselines that work on program spectra. We show that Savant can successfully locate 57.73%, 56.69%, and 43.13% more bugs at top 1, top 3, and top 5 positions than the best performing baseline, respectively. .
Starting Page	177
Ending Page	188
Page Count	12
File Format	PDF
ISBN	9781450343909
DOI	10.1145/2931037.2931049
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-07-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Automated debugging Program invariant Learning to rank
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Learning-Based Fault Localization Approach Using Subset of Likely and Dynamic Invariants

Using likely invariants for automated software fault localization

Automated fault localization using potential invariants (2003).

Using likely invariants for automated software fault localization (CARN, Vol. 41, Issue. 1)

Aadebug2003 273 automated fault localization using potential invariants 1.

Using likely invariants for automated software fault localization (SIGP, Vol. 48, Issue. 4)

Using automated program repair for evaluating the effectiveness of fault localization techniques

Using Likely Invariants for Automated Software Fault Localization (2013)

An automated model-based debugging approach

A learning-to-rank based fault localization approach using likely invariants

Similar Documents

A Learning-Based Fault Localization Approach Using Subset of Likely and Dynamic Invariants

Using likely invariants for automated software fault localization

Automated fault localization using potential invariants (2003).

Using likely invariants for automated software fault localization (CARN, Vol. 41, Issue. 1)

Aadebug2003 273 automated fault localization using potential invariants 1.

Using likely invariants for automated software fault localization (SIGP, Vol. 48, Issue. 4)

Using automated program repair for evaluating the effectiveness of fault localization techniques

Using Likely Invariants for Automated Software Fault Localization (2013)

An automated model-based debugging approach

A learning-to-rank based fault localization approach using likely invariants