Sciweavers

2686 search results - page 156 / 538
» Using a neural network in the software testing process
Sort
View
SIGSOFT
2010
ACM
13 years 7 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
IWANN
2007
Springer
14 years 3 months ago
Non-parametric Residual Variance Estimation in Supervised Learning
The residual variance estimation problem is well-known in statistics and machine learning with many applications for example in the field of nonlinear modelling. In this paper, we...
Elia Liitiäinen, Amaury Lendasse, Francesco C...
ISSRE
2003
IEEE
14 years 2 months ago
Exploiting Symmetries to Test Programs
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
Arnaud Gotlieb
ISSTA
2009
ACM
14 years 1 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ICAISC
2004
Springer
14 years 2 months ago
Semi-mechanistic Models for State-Estimation - Soft Sensor for Polymer Melt Index Prediction
Nonlinear state estimation is a useful approach to the monitoring of industrial (polymerization) processes. This paper investigates how this approach can be followed to the develop...
Balazs Feil, János Abonyi, Peter Pach, Sand...