151 search results - page 14 / 31 » Automating System Tests Using Declarative Virtual Machines |
OSDI
2002
ACM
16 years 2 days ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
CADE
2007
Springer
16 years 3 days ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
106
click to vote
IWQOS
2011
Springer
14 years 2 months ago
2011
Springer
— We present an approach to optimizing the transfer of data objects within a user’s collection of computers and personal devices, subject to a variety of user-defined quality ...
DAGSTUHL
2004
15 years 1 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...