6941 search results - page 31 / 1389 » Testing as a Certification Approach |
ADAEUROPE
2001
Springer
14 years 4 days ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
ISSRE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
ISCAS
2003
IEEE
14 years 27 days ago
2003
IEEE
A deterministic dynamic element matching (DEM) approach to ADC testing is introduced and compared with a common random DEM method. With both approaches, a highly non-ideal DAC is ...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...