3527 search results - page 251 / 706 » Test Automation in Practice |
160
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
154
click to vote
AAAI
1998
15 years 7 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
170
click to vote
TRIDENTCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...
237
click to vote
IAJIT
2011
15 years 1 months ago
2011
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
203
click to vote
SRDS
1993
IEEE
15 years 10 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...