551 search results - page 3 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
TAICPART
2006
IEEE
14 years 8 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
ESEC
1999
Springer
13 years 10 months ago
1999
Springer
MMB
2010
Springer
13 years 8 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
GLVLSI
2008
IEEE
14 years 22 days ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...