Sciweavers

4079 search results - page 129 / 816
» Differential Testing for Software
Sort
View
NHM
2010
79views more  NHM 2010»
13 years 3 months ago
Small solids in an inviscid fluid
We present in this paper several results concerning a simple model of interaction between an inviscid fluid, modeled by the Burgers equation, and a particle, assumed to be point-wi...
Boris Andreianov, Frédéric Lagouti&e...
FORTE
1997
13 years 10 months ago
A Framework for Distributed Object-Oriented Testing
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheu...
ISSTA
2009
ACM
14 years 3 months ago
Automatic system testing of programs without test oracles
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
Christian Murphy, Kuang Shen, Gail E. Kaiser
ICST
2009
IEEE
14 years 3 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
BMCBI
2010
113views more  BMCBI 2010»
13 years 9 months ago
ProbABEL package for genome-wide association analysis of imputed data
Background: Over the last few years, genome-wide association (GWA) studies became a tool of choice for the identification of loci associated with complex traits. Currently, impute...
Yurii S. Aulchenko, Maksim V. Struchalin, Cornelia...