NDLI: Profile-guided program simplification for effective testing and analysis

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

A design-centric view of the economy: abstract

Can developer-module networks predict failures?

Finding programming errors earlier by evaluating runtime monitors ahead-of-time

An empirical study of the effect of time constraints on the cost-benefits of regression testing

The implications of method placement on API learnability

Randomized active atomicity violation detection in concurrent programs

Efficient online monitoring of web-service SLAs

Automatically locating framework extension examples

Requirements engineering: from craft to discipline

Effective blame for information-flow violations

Dev 2.0: model driven development in the cloud

ACM SIGSOFT impact paper award: reflections and prospects

Towards compositional synthesis of evolving systems

What makes a good bug report?

Javert: fully automatic mining of general temporal properties from dynamic traces

Predicting failures with developer networks and social network analysis

Profile-guided program simplification for effective testing and analysis

Deriving input syntactic structure from execution

Empirical evidence of the benefits of workspace awareness in software configuration management

Generation of concurrency control code using discrete-event systems theory

Automated identification of parameter mismatches in web applications

Semi-automating small-scale source code reuse via structural correspondence

Model-based fault detection in context-aware adaptive applications

On correct and complete strong merging of partial behaviour models

Experience in using a process language to define scientific workflow and generate dataset provenance

Doloto: code splitting for network-bound web 2.0 applications

Latent social structure in open source projects

A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications

Inter-context control-flow and data-flow test adequacy criteria for nesC applications

Using assertions to help end-user programmers create dependable web macros

Alchemy: transmuting base alloy specifications into implementations

Modular verification of web services using efficient symbolic encoding and summarization

Differential symbolic execution

Marple: a demand-driven path-sensitive buffer overflow detector

ENNA: software effort estimation using ensemble of neural networks with associative memory

Profile-guided program simplification for effective testing and analysis

Content Provider	ACM Digital Library
Author	Su, Zhendong Jiang, Lingxiao
Abstract	Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are often limited due to the complexity of real-world code and thus miss program faults. It will be the users of the program who eventually experience failures caused by the undetected faults. To take advantage of the large number of program runs carried by the users, recent work has proposed techniques to collect execution profiles from the users for developers to perform post-deployment failure analysis. However, in order to protect users' privacy and to reduce run-time overhead, such profiles are usually not detailed enough for the developers to identify or fix the root causes of the failures. In this paper, we propose a novel approach to utilize user execution profiles for more effective in-house testing and analysis. Our key insight is that execution profiles for program failures can be used to simplify a program, while preserving its erroneous behavior. By simplifying a program and scaling down its complexity according to its profiles, in-house testing and analysis techniques can be performed more accurately and efficiently, and pragmatically program defects that occur more often and are (arguably) more relevant to users will be given preference during failure analysis. Specifically, we adapt statistical debugging on execution profiles to predict likely failure-related code and use a syntax-directed algorithm to trim failure-irrelevant code from a program, while preserving its erroneous behavior as much as possible. We conducted case studies on a testing engine, CUTE, and a software model checker, BLAST, to evaluate our technique. We used subject programs from the Aristotle Analysis System and the Software-artifact Infrastructure Repository (SIR). Our empirical results show that using simplified programs, CUTE and BLAST find more bugs with improved accuracy and performance: they were able to detect 20 and 21 (out of 139) more bugs respectively in about half of the time as they took on the original test programs.
Starting Page	48
Ending Page	58
Page Count	11
File Format	PDF
ISBN	9781595939951
DOI	10.1145/1453101.1453110
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2008-11-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Statistical debugging Profiling Program simplification Testing and analysis
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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