2774 search results - page 268 / 555 » Query-Driven Program Testing |
167
click to vote
RTAS
2006
IEEE
16 years 11 days ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
144
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
132
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
189
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
144
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...