Relevant inputs analysis and its applications

Yan Wang, Rajiv Gupta, Iulian Neamtiu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 includeassisting in generating test inputs and detection of security holes.

Original languageEnglish (US)
Title of host publication2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013
Pages268-277
Number of pages10
DOIs
StatePublished - 2013
Externally publishedYes
Event2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013 - Pasadena, CA, United States
Duration: Nov 4 2013Nov 7 2013

Publication series

Name2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013

Other

Other2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013
CountryUnited States
CityPasadena, CA
Period11/4/1311/7/13

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • address dependence
  • delta debugging
  • role of inputs
  • strength of inputs
  • testing
  • value dependence

Fingerprint Dive into the research topics of 'Relevant inputs analysis and its applications'. Together they form a unique fingerprint.

Cite this