Sciweavers

6014 search results - page 211 / 1203
» Structural Testing with Use Cases
Sort
View
PTS
2007
112views Hardware» more  PTS 2007»
15 years 5 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
UAI
2001
15 years 5 months ago
A Bayesian Multiresolution Independence Test for Continuous Variables
In this paper we present a method of computing the posterior probability of conditional independence of two or more continuous variables from data, examined at several resolutions...
Dimitris Margaritis, Sebastian Thrun
SIGSOFT
2004
ACM
16 years 4 months ago
Scaling regression testing to large software systems
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
Alessandro Orso, Nanjuan Shi, Mary Jean Harrold
CONNECTION
2004
71views more  CONNECTION 2004»
15 years 3 months ago
Lack of combinatorial productivity in language processing with simple recurrent networks
An astronomical set of sentences can be produced in natural language by combining relatively simple sentence structures with a human-size lexicon. These sentences are within the ra...
Frank van der Velde, Gwendid T. van der Voort van ...
GECCO
2011
Springer
240views Optimization» more  GECCO 2011»
14 years 7 months ago
Collisions are helpful for computing unique input-output sequences
Computing unique input-output sequences (UIOs) from finite state machines (FSMs) is important for conformance testing in software engineering, where evolutionary algorithms (EAs)...
Chao Qian, Yang Yu, Zhi-Hua Zhou