4079 search results - page 646 / 816 » Differential Testing for Software |
108
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
136
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
130
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
151
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
122
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...