11172 search results - page 162 / 2235 » Testing Physical Systems |
184
click to vote
ASWEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
164
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
184
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
212
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
195
click to vote
VLDB
2007
ACM
16 years 17 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...