2774 search results - page 268 / 555 » Query-Driven Program Testing |
126
Voted
RTAS
2006
IEEE
15 years 8 months 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...
102
Voted
OOPSLA
2005
Springer
15 years 8 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...
PPDP
2005
Springer
15 years 8 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...
133
Voted
SAS
2005
Springer
15 years 8 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...
98
Voted
ESOP
2004
Springer
15 years 8 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...