Sciweavers

2825 search results - page 138 / 565
» Support for Object-Oriented Testing
Sort
View
125
Voted
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Constraint extraction for pseudo-functional scan-based delay testing
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Chen...
EGOV
2008
Springer
15 years 5 months ago
Test Strategies for Evaluation of Semantic eGovernment Applications
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
Ralf Klischewski, Stefan Ukena
ICST
2010
IEEE
15 years 2 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
133
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
The impact of input domain reduction on search-based test data generation
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil...
ICMCS
2007
IEEE
103views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Multimedia Adaptive Computer based Testing: An Overview
Instead of computer games, animations, cartoons, and videos being used only for entertainment by kids, there is now an interest in using multimedia for “innovative testing.” R...
Anup Basu, Irene Cheng, Mun Prasad, Gautam Rao