2441 search results - page 66 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
105
click to vote
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
94
Voted
ERLANG
2007
ACM
15 years 2 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
83
Voted
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
DAC
2005
ACM
15 years 12 months ago
2005
ACM
This paper presents a parameterized soft core generator for the discrete Fourier transform (DFT). Reusable IPs of digital signal processing (DSP) kernels are important time-saving...
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...