Sciweavers

980 search results - page 59 / 196
» Novel Test Pattern Generators for Pseudo-Exhaustive Testing
Sort
View
ACMSE
2010
ACM
13 years 7 months ago
An ontology-driven rote extractor for pattern disambiguation
In this paper, we describe an ontology-driven pattern disambiguation process for Rote Extractors. Our approach can generate lexical patterns for a particular relation from unrestr...
Sheng Yin, Ismailcem Budak Arpinar
DAC
1994
ACM
14 years 1 months ago
Dynamic Search-Space Pruning Techniques in Path Sensitization
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
João P. Marques Silva, Karem A. Sakallah
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 3 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
EDBT
2009
ACM
132views Database» more  EDBT 2009»
14 years 3 months ago
A novel approach for efficient supergraph query processing on graph databases
In recent years, large amount of data modeled by graphs, namely graph data, have been collected in various domains. Efficiently processing queries on graph databases has attracted...
Shuo Zhang, Jianzhong Li, Hong Gao, Zhaonian Zou
ITC
1997
IEEE
119views Hardware» more  ITC 1997»
14 years 19 days ago
Testability Analysis and ATPG on Behavioral RT-Level VHDL
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda