4079 search results - page 640 / 816 » Differential Testing for Software |
144
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
147
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
142
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
BLASTn is a tool universally used by biologists to identify similarities between nucleotide based biological genome sequences. This report describes an FPGA based hardware impleme...
122
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
128
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...