Sciweavers

2638 search results - page 182 / 528
» A Framework for Automatic Debugging
Sort
View
ECTEL
2007
Springer
16 years 1 months ago
Evaluating the ALOCOM Approach for Scalable Content Repurposing
In this paper, an evaluation is presented of a framework that supports flexible content repurposing. Unlike the usual practice where content components, such as slides, images, def...
Katrien Verbert, Erik Duval
ACL
2003
15 years 8 months ago
Generating Parallel Multilingual LFG-TAG Grammars from a MetaGrammar
We introduce a MetaGrammar, which allows us to automatically generate, from a single and compact MetaGrammar hierarchy, parallel Lexical Functional Grammars (LFG) and Tree-Adjoini...
Lionel Clément, Alexandra Kinyon
SIGSOFT
2010
ACM
15 years 1 months ago
Path-based fault correlations
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
Wei Le, Mary Lou Soffa
ISSTA
2012
ACM
13 years 9 months ago
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazz...
201
Voted
ESOP
2007
Springer
16 years 1 months ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...