1760 search results - page 181 / 352 » A System to Mark Programs Automatically |
128
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
121
click to vote
AAAI
1998
15 years 4 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
120
click to vote
ASM
2010
ASM
16 years 11 days ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
112
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
There is growing interest in computing courses for non-CS majors. We have recently built such a course that has met with positive response. We describe our design process, which i...