7766 search results - page 34 / 1554 » Testing Nondeterminate Systems |
CONCUR
1999
Springer
14 years 9 hour ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
FM
2001
Springer
14 years 6 days ago
2001
Springer
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
ERCIM
2008
13 years 7 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...