5570 search results - page 57 / 1114 » Applications of Fair Testing |
115
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
110
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
109
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 10 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
109
click to vote
JMIV
2010
14 years 10 months ago
2010
In this paper, we propose a new and generic methodology for the analysis of texture anisotropy. The methodology is based on the stochastic modeling of textures by anisotropic fract...