Sciweavers

3031 search results - page 56 / 607
» Model Driven Testing Based on Test History
Sort
View
127
Voted
ICWS
2010
IEEE
15 years 2 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
111
Voted
APSEC
2004
IEEE
15 years 4 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
MA
2010
Springer
86views Communications» more  MA 2010»
14 years 11 months ago
Tests for multiple regression based on simplicial depth
A general approach for developing distribution free tests for general linear models based on simplicial depth is applied to multiple regression. The tests are based on the asympto...
Robin Wellmann, Christine H. Müller
ICOIN
2001
Springer
15 years 5 months ago
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teru...
COMPSAC
1999
IEEE
15 years 4 months ago
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu