Sciweavers

6704 search results - page 244 / 1341
» Testing Scenario-Based Models
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
GECCO
2008
Springer
15 years 7 months ago
Particle filtering with particle swarm optimization in systems with multiplicative noise
We propose a Particle Filter model that incorporates Particle Swarm Optimization for predicting systems with multiplicative noise. The proposed model employs a conventional multio...
A. D. Klamargias, Konstantinos E. Parsopoulos, Phi...
ECLIPSE
2006
ACM
16 years 18 days ago
JExercise: a specification-based and test-driven exercise support plugin for Eclipse
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
Hallvard Trætteberg, Trond Aalberg
VTS
2003
IEEE
89views Hardware» more  VTS 2003»
15 years 12 months ago
Detecting Intra-Word Faults in Word-Oriented Memories
This paper improves upon the state of the art in testing word oriented memories. It first presents a complete set of fault models for intra-word coupling faults. Then, it establi...
Said Hamdioui, A. J. van de Goor, Mike Rodgers
VTS
2003
IEEE
115views Hardware» more  VTS 2003»
15 years 12 months ago
Design and Optimization of Multi-level TAM Architectures for Hierarchical SOCs
Multi-level TAM optimization is necessary for modular testing of hierarchical SOCs that contain older-generation SOCs as embedded cores. We present two hierarchical TAM optimizati...
Vikram Iyengar, Krishnendu Chakrabarty, Mark D. Kr...