Sciweavers

5855 search results - page 193 / 1171
» Test generation and minimization with
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Compatibility and Regression Testing of COTS-Component-Based Software
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
Leonardo Mariani, Mauro Pezzè, Sofia Papagi...
KBSE
2003
IEEE
15 years 11 months ago
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
Eugenia Díaz, Javier Tuya, Raquel Blanco
EUROCRYPT
2003
Springer
15 years 11 months ago
Nearly One-Sided Tests and the Goldreich-Levin Predicate
Abstract. We study statistical tests with binary output that rarely outputs one, which we call nearly one-sided statistical tests. We provide an efficient reduction establishing im...
Gustav Hast
TOOLS
2010
IEEE
15 years 11 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
Phillip Heidegger, Peter Thiemann
IWSOC
2003
IEEE
99views Hardware» more  IWSOC 2003»
15 years 11 months ago
Template Generation and Selection Algorithms
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...
Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Pa...