Sciweavers

980 search results - page 55 / 196
» Novel Test Pattern Generators for Pseudo-Exhaustive Testing
Sort
View
ATS
2000
IEEE
98views Hardware» more  ATS 2000»
14 years 1 months ago
Embedded core testing using genetic algorithms
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...
Ruofan Xu, Michael S. Hsiao
AAAI
1992
13 years 10 months ago
A Probabilistic Parser Applied to Software Testing Documents
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
Mark A. Jones, Jason Eisner
FORTE
1998
13 years 10 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
SEKE
2005
Springer
14 years 2 months ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
ICPR
2002
IEEE
14 years 2 months ago
Uniformity Testing Using Minimal Spanning Tree
Testing for uniformity of multivariate data is the initial step in exploratory pattern analysis. We propose a new uniformity testing method, which first computes the maximum (sta...
Anil K. Jain, Xiaowei Xu, Tin Kam Ho, Fan Xiao