204 search results - page 13 / 41 » Test Derivation from Timed Automata |
ISSTA
2000
ACM
13 years 11 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
SSIRI
2010
13 years 11 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
SIAMCOMP
2010
13 years 5 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
STTT
2011
13 years 2 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...