1016 search results - page 43 / 204 » Automatic Analysis of Programming Assignments |
191
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
102
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
81
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
108
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
113
click to vote
DEXAW
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Statistical approaches to document content modeling typically focus either on broad topics or on discourselevel subtopics of a text. We present an analysis of the perform...