1016 search results - page 68 / 204 » Automatic Analysis of Programming Assignments |
128
click to vote
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
142
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
154
Voted
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
115
click to vote
EDM
2009
15 years 12 days ago
2009
Students in introductory programming classes often articulate their questions and information needs incompletely. Consequently, the automatic classification of student questions to...
171
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...