1057 search results - page 32 / 212 » Testing from Formal Specifications, a Generic Approach |
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
This paper describes an approach to attention based layout segmentation using general principles of the human visual perception to achieve this goal. The text is considered as tex...
INLG
2010
Springer
13 years 5 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
The problem attempted in this paper is to select a sample from a large set where the sample is required to have a particular average property. The problem can be expressed as an o...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
VVEIS
2004
13 years 9 months ago
2004
Because of their complexity, business transactions are prone to failure in many ways. This paper reports on our experience using a fault-based testing approach. The approach overco...