NDLI: Automatically identifying critical input regions and code in applications

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

Proving memory safety of floating-point computations by combining static and dynamic program analysis

Directed test generation for effective fault localization

Generating test cases for specification mining

Automatic detection of unsafe component loadings

Automated analysis of load testing results

Mutation-driven generation of unit tests and oracles

Parallel symbolic execution for structural test generation

Formal analysis of the effectiveness and predictability of random testing

Analyzing concurrency bugs using dual slicing

Software fault prediction tool

Strict control dependence and its effect on dynamic information flow analyses

Automated fixing of programs with contracts

Modeling consumer-perceived web application fault severities for testing

Learning from 6,000 projects: lightweight cross-project anomaly detection

OCAT: object capture-based automated testing

Exploiting program dependencies for scalable multiple-path symbolic execution

A study on agility and testing processes in software organizations

N-version disassembly: differential testing of x86 disassemblers

ASSURE: automated support for secure and usable requirements engineering

Analysis of invariants for efficient bounded verification

Causal inference for statistical fault localization

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability

Testing system virtual machines

On test repair using symbolic execution

The Google FindBugs fixit

Automatically identifying critical input regions and code in applications

Content Provider	ACM Digital Library
Author	Rinard, Martin C. Carbin, Michael
Abstract	Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly small changes in the behavior and output. Small changes to critical regions, on the other hand, can induce disproportionally large changes in the behavior or output. Identifying the critical and forgiving regions in the input and the corresponding critical and forgiving regions of code is directly relevant to many software engineering tasks. We present a system, Snap, for automatically grouping related input bytes into fields and classifying each field and corresponding regions of code as critical or forgiving. Given an application and one or more inputs, Snap uses targeted input fuzzing in combination with dynamic execution and influence tracing to classify regions of input fields and code as critical or forgiving. Our experimental evaluation shows that Snap makes classifications with close to perfect precision (99%) and very good recall (between 99% and 73%, depending on the application).
Starting Page	37
Ending Page	48
Page Count	12
File Format	PDF
ISBN	9781605588230
DOI	10.1145/1831708.1831713
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-07-12
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Critical code Forgiving code Critical input Forgiving input
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

Automatically Identifying Critical Input Regions and Code in Applications (2014)

Automatically identifying critical input regions and code in applications.

JStereoCode: automatically identifying method and class stereotypes in Java code

JStereoCode: automatically identifying method and class stereotypes in Java code

Automatically Identifying and Creating Accelerators Directly from C Code

Automatically identifying changes that impact code-to-design traceability.

Automatically Identifying Known Software Problems

CODA: Toward Automatically Identifying and Scheduling Coflows in the Dark

Automatically identifying targets users interact with during real world tasks

Automatically identifying critical input regions and code in applications

Similar Documents

Automatically Identifying Critical Input Regions and Code in Applications (2014)

Automatically identifying critical input regions and code in applications.

JStereoCode: automatically identifying method and class stereotypes in Java code

JStereoCode: automatically identifying method and class stereotypes in Java code

Automatically Identifying and Creating Accelerators Directly from C Code

Automatically identifying changes that impact code-to-design traceability.

Automatically Identifying Known Software Problems

CODA: Toward Automatically Identifying and Scheduling Coflows in the Dark

Automatically identifying targets users interact with during real world tasks

Automatically identifying critical input regions and code in applications