136 search results - page 14 / 28 » From Safety Verification to Safety Testing |
130
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
122
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
133
click to vote
DBSEC
2008
15 years 5 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
162
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
174
click to vote
TII
2008
15 years 4 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...