NDLI: Disqover: Debugging via code sequence covers

Content Provider	IEEE Xplore Digital Library
Author	Elsaka, E. Memon, A.
Copyright Year	2015
Description	Author affiliation: Dept. of Comput. Sci., Univ. of Maryland, College Park, MD, USA (Elsaka, E.; Memon, A.)
Abstract	Automated model-based test generation has seen an undeniable trend towards obtaining large numbers of test cases. However, the full benefits of this trend have not yet percolated to downstream activities, such as debugging. We present Disqover for automated software debugging based on code sequence covers that leverages execution traces, or alternatively, sequence covers of large numbers of failing test cases to quickly identify causes of test failures, thereby aiding debugging. We develop a new algorithm that efficiently extracts commonalities between sequence covers in the form of ordered subsequences and values of variables contained in these subsequences that contribute to each failure. The results of our experimental evaluation suggest that users of Disqover need only 30% of the time needed to identify faults compared to the baseline in a user study. Furthermore, we show that the number of inspected statements using our approach is smaller than that of other state-of-the-art systems by multiple orders of magnitude. Additionally, we show that increasing the number and diversity of test cases improves our results by further decreasing the length of output subsequences to be examined.
Starting Page	85
Ending Page	92
File Size	398706
Page Count	8
File Format	PDF
e-ISBN	9781509019441
DOI	10.1109/ISSREW.2015.7392051
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-11-02
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Runtime Unified modeling language Debugging Market research Mathematical model Software 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

Gaining Insight into Executable Models during Runtime: Architecture and Mappings

Monitoring with behavior view diagrams for debugging

Visualizing interactions in distributed Java applications

Dynamic Mapping of Runtime Information Models for Debugging Embedded Software

A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures

Software Evolution towards Model-Centric Runtime Adaptivity

Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime

Supporting integrated development of closed-loop PLC control software for production systems

Testing and debugging UML models based on fUML

Disqover: Debugging via code sequence covers

Similar Documents

Gaining Insight into Executable Models during Runtime: Architecture and Mappings

Monitoring with behavior view diagrams for debugging

Visualizing interactions in distributed Java applications

Dynamic Mapping of Runtime Information Models for Debugging Embedded Software

A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures

Software Evolution towards Model-Centric Runtime Adaptivity

Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime

Supporting integrated development of closed-loop PLC control software for production systems

Testing and debugging UML models based on fUML

Disqover: Debugging via code sequence covers