1016 search results - page 149 / 204 » Automatic Analysis of Programming Assignments |
188
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
136
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
141
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
113
click to vote
JPDC
2011
14 years 5 months ago
2011
Scripting languages such as R and Matlab are widely used in scientific data processing. As the data volume and the complexity of analysis tasks both grow, sequential data process...
104
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...