2419 search results - page 131 / 484 » A Formal Approach to Software Testing |
133
Voted
VIROLOGY
2008
15 years 3 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
119
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
140
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
119
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
139
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...