3527 search results - page 168 / 706 » Test Automation in Practice |
123
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...
131
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
147
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
141
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...
147
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Managed runtime systems, such as a Java virtual machine (JVM), are complex pieces of software with many interacting components. The Just-In-Time (JIT) compiler is at the core of t...