1016 search results - page 37 / 204 » Automatic Analysis of Programming Assignments |
EDCC
2006
Springer
14 years 2 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
BMCBI
2004
13 years 10 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...
IEEEVAST
2010
13 years 5 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
WCET
2008
14 years 8 days ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...