KBSE 2009 - PDF Preprint Papers

KBSE 2009 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2009 Paper

click to vote

KBSE
2009
IEEE

196views Software Engineering» more KBSE 2009»

A Case for Automated Debugging Using Data Structure Repair

14 years 7 months ago

Download users.ece.utexas.edu

—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...

Muhammad Zubair Malik, Khalid Ghori, Bassem Elkara...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	196	A Case for Automated Debugging Using Data Structure Repair	claim
2	169	Clone-Aware Configuration Management	claim
3	154	Code Completion from Abbreviated Input	claim
4	148	SMT-Based Bounded Model Checking for Embedded ANSI-C Software	claim
5	145	Design Rule Hierarchies and Parallelism in Software Development Tasks	claim
6	143	Adding Examples into Java Documents	claim
7	138	Static Typing for Ruby on Rails	claim
8	135	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time	claim
9	128	A Petri Net Based Debugging Environment for QVT Relations	claim
10	128	Alattin: Mining Alternative Patterns for Detecting Neglected Conditions	claim
11	128	A Modelling Language for Interactive Web Applications	claim
12	128	An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software	claim
13	123	Evaluating the Accuracy of Fault Localization Techniques	claim
14	120	Improving API Usage through Automatic Detection of Redundant Code	claim
15	117	Towards Augmenting Requirements Models with Preferences	claim
16	117	A Framework for State-Space Exploration of Java-Based Actor Programs	claim
17	115	Inferring Method Effect Summaries for Nested Heap Regions	claim
18	110	Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks	claim
19	110	Automatic Generation of Object Usage Specifications from Large Method Traces	claim
20	110	Generating Fixes from Object Behavior Anomalies	claim
21	110	A Methodology and Framework to Simplify Usability Analysis of Mobile Applications	claim
22	105	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions	claim
23	102	Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients	claim
24	102	Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses	claim
25	99	Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software	claim
26	93	Service Substitution Revisited	claim
27	92	ReAssert: Suggesting Repairs for Broken Unit Tests	claim
28	91	Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy	claim
29	89	Secure and Usable Requirements Engineering	claim
30	86	Static Validation of C Preprocessor Macros	claim
31	85	Loopfrog: A Static Analyzer for ANSI-C Programs	claim
32	61	Understanding the Value of Software Engineering Technologies	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers