5159 search results - page 73 / 1032 » Structural Testing of Executables |
146
click to vote
EDOC
2011
IEEE
14 years 2 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
151
click to vote
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
116
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
133
click to vote
EUROMICRO
2005
IEEE
15 years 8 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
138
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...