Sciweavers

3031 search results - page 85 / 607
» Model Driven Testing Based on Test History
Sort
View
ESEM
2007
ACM
15 years 4 months ago
A Critical Analysis of Empirical Research in Software Testing
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
Lionel C. Briand
133
Voted
MTV
2006
IEEE
98views Hardware» more  MTV 2006»
15 years 6 months ago
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy...
81
Voted
ICCS
2005
Springer
15 years 6 months ago
Multiscale Interpolation, Backward in Time Error Analysis for Data-Driven Contaminant Simulation
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...
SSIRI
2010
14 years 11 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
15 years 5 months ago
Test pattern generation for width compression in BIST
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
Paulo F. Flores, Horácio C. Neto, K. Chakra...