NDLI: Relevant inputs analysis and its applications

Content Provider	IEEE Xplore Digital Library
Author	Yan Wang Gupta, R. Neamtiu, I.
Copyright Year	2013
Description	Author affiliation: Dept. of Comput. Sci. & Eng., Univ. of California, Riverside, Riverside, CA, USA (Yan Wang; Gupta, R.; Neamtiu, I.)
Abstract	In this paper we develop a dynamic analysis, named relevant input analysis, that characterizes the role and strength of inputs in the computation of different values during a program execution. The role indicates whether a computed value is derived from an input value or its computation is simply influenced by an input value. The strength indicates if role (derived or influenced) relied upon the precise value of the input or it is among one of many values that can play a similar role. While it is clear that the results of our analysis can be very useful for the programmer in understanding relationships between inputs and program behavior, we also demonstrate the usefulness of the analysis by developing an efficient delta debugging algorithm. Other applications of relevant input analysis include assisting in generating test inputs and detection of security holes.
Starting Page	268
Ending Page	277
File Size	426389
Page Count	10
File Format	PDF
ISBN	9781479923663
DOI	10.1109/ISSRE.2013.6698926
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-11-04
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Debugging Computer crashes Performance analysis Algorithm design and analysis Security Indexes Power capacitors testing value dependence address dependence role of inputs strength of inputs delta debugging
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

Relevant Inputs Analysis and its Applications

Relevant inputs analysis and its applications.

On Evaluating Obfuscatory Strength of Alias-based Transforms using Static Analysis

Improved Delta Debugging Based on Combinatorial Testing

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Testudo: Heavyweight security analysis via statistical sampling

Testing Path Generation Algorithm with Network Performance Constraints for Nondeterministic Parallel Programs

A Synergistic Analysis Method for Explaining Failed Regression Tests

Practical and accurate pinpointing of configuration errors using static analysis

Relevant inputs analysis and its applications

Similar Documents

Relevant Inputs Analysis and its Applications

Relevant inputs analysis and its applications.

On Evaluating Obfuscatory Strength of Alias-based Transforms using Static Analysis

Improved Delta Debugging Based on Combinatorial Testing

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Testudo: Heavyweight security analysis via statistical sampling

Testing Path Generation Algorithm with Network Performance Constraints for Nondeterministic Parallel Programs

A Synergistic Analysis Method for Explaining Failed Regression Tests

Practical and accurate pinpointing of configuration errors using static analysis

Relevant inputs analysis and its applications