Sciweavers

6704 search results - page 91 / 1341
» Testing Scenario-Based Models
Sort
View
QSIC
2009
IEEE
15 years 9 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
LWA
2004
15 years 3 months ago
Modeling Rule Precision
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
Johannes Fürnkranz
112
Voted
CSSC
2010
123views more  CSSC 2010»
15 years 2 months ago
Testing Fractional Order of Long Memory Processes: A Monte Carlo Study
Testing the fractionally integrated order of seasonal and non-seasonal unit roots is quite important for the economic and financial time series modelling. In this paper, Robinson ...
Laurent Ferrara, Dominique Guegan, Zhiping Lu
126
Voted
DAC
2000
ACM
16 years 3 months ago
Self-test methodology for at-speed test of crosstalk in chip interconnects
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
Xiaoliang Bai, Sujit Dey, Janusz Rajski
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
15 years 7 months ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...