1554 search results - page 20 / 311 » Testing Polymorphic Behavior |
111
Voted
ACSD
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
102
Voted
ENTCS
2010
15 years 14 days ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
123
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
108
click to vote
ISBI
2011
IEEE
14 years 4 months ago
2011
IEEE
Most algorithms used for imaging genetics examine statistical effects of each individual genetic variant, one at a time. We developed a new approach, based on ridge regression, to...