NDLI: Delta execution for efficient state-space exploration of object-oriented programs

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

Statistical debugging using compound boolean predicates

Interface grammars for modular software model checking

A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation

Variably interprocedural program analysis for runtime error detection

Interaction testing of highly-configurable systems in the presence of constraints

Finding what's not there: a new approach to revealing neglected conditions in software

Efficient online detection of dynamic control dependence

Automating algorithms for the identification of fault-prone files

Under-constrained execution: making automatic code destruction easy and scalable

Debugging in Parallel

Delta execution for efficient state-space exploration of object-oriented programs

Experimental assessment of random testing for object-oriented software

Using portfolio theory for better and more consistent quality

Pareto efficient multi-objective test case selection

Static specification mining using automata-based abstractions

Dytan: a generic dynamic taint analysis framework

Hierarchical dynamic slicing

Chasing rainbows: improving software testing in the real world

Instrumenting where it hurts: an automatic concurrent debugging technique

Automating component-based system assembly

Blended analysis for performance understanding of framework-based applications

Dynamic test input generation for database applications

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction

Heuristic ranking of java program edits for fault localization

Delta execution for efficient state-space exploration of object-oriented programs

Content Provider	ACM Digital Library
Author	d'Amorim, Marcelo Lauterburg, Steven Marinov, Darko
Abstract	State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular the heap. Previous research has focused on standard program execution that operates on one state/heap. We present Delta Execution, a technique that simultaneously operates on several states/heaps. It exploits the fact that many execution paths in state-space exploration partially overlap and speeds up the exploration by sharing the common parts across the executions and separately executing only the "deltas" where the executions differ. We have implemented Delta Execution in JPF, a popular general-purpose model checker for Java programs, and in BOX, a specialized model checker that we have developed for efficient exploration of sequential Java programs. We have evaluated Delta Execution for (bounded) exhaustive exploration of ten basic subject programs without errors. The experimental results show that on average Delta Execution improves the exploration time 10.97x (over an order of magnitude) in JPF and 2.07x in BOX. We have also evaluated Delta Execution for one larger case study with errors, where the exploration time improved up to 1.43x.
Starting Page	50
Ending Page	60
Page Count	11
File Format	PDF
ISBN	9781595937346
DOI	10.1145/1273463.1273472
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-07-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Model checking Delta execution
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

Delta execution for efficient state-space exploration of object-oriented programs (2008).

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs (2007)

Delta execution for efficient state-space exploration of object-oriented programs (2007)

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Efficient state space exploration of reactive object-oriented programs (2005).

Incremental state-space exploration for programs with dynamically allocated data

Efficient model checking of applications with input/output (2007)

Applying model checking to concurrent object-oriented software

Workshop on state-space exploration for automated testing (SSEAT 2008)

Delta execution for efficient state-space exploration of object-oriented programs

Similar Documents

Delta execution for efficient state-space exploration of object-oriented programs (2008).

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs (2007)

Delta execution for efficient state-space exploration of object-oriented programs (2007)

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Efficient state space exploration of reactive object-oriented programs (2005).

Incremental state-space exploration for programs with dynamically allocated data

Efficient model checking of applications with input/output (2007)

Applying model checking to concurrent object-oriented software

Workshop on state-space exploration for automated testing (SSEAT 2008)

Delta execution for efficient state-space exploration of object-oriented programs