2419 search results - page 233 / 484 » A Formal Approach to Software Testing |
121
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
170
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
167
Voted
TSE
2010
14 years 10 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
131
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
127
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the first systematic empirical study of the particle filter (PF) algorithms for human figure tracking in video. Our analysis and evaluation follows a modula...