Sciweavers

840 search results - page 36 / 168
» Test suite oscillations
Sort
View
93
Voted
ISSRE
2008
IEEE
15 years 6 months ago
Testing Software Product Lines Using Incremental Test Generation
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
ICCAD
1997
IEEE
108views Hardware» more  ICCAD 1997»
15 years 4 months ago
Fault simulation of interconnect opens in digital CMOS circuits
We describe a highly accurate but e cient fault simulator for interconnect opens, based on characterizing the standard cell library with SPICE; using transistor charge equations f...
Haluk Konuk
95
Voted
STTT
2008
117views more  STTT 2008»
15 years 10 days ago
An approach to quality engineering of TTCN-3 test specifications
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski
97
Voted
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
15 years 7 months ago
Test exploration and validation using transaction level models
—The complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space ...
Michael A. Kochte, Christian G. Zoellin, Michael E...
109
Voted
ICST
2010
IEEE
14 years 11 months ago
Automated Behavioral Regression Testing
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
Wei Jin, Alessandro Orso, Tao Xie