3801 search results - page 45 / 761 » An Approach to Modeling Software Safety |
ISSRE
2008
IEEE
15 years 4 months ago
2008
IEEE
The process can fail to deliver its expected outputs
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
ENTCS
2006
14 years 9 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...