1016 search results - page 42 / 204 » Automatic Analysis of Programming Assignments |
114
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
95
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
102
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
113
click to vote
CARDIS
2008
Springer
15 years 2 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
CONCURRENCY
2007
15 years 24 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...