Sciweavers

2026 search results - page 88 / 406
» Tools for Test Case Generation
Sort
View
112
Voted
SEUS
2010
IEEE
14 years 11 months ago
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
Susanne Kandl, Raimund Kirner
99
Voted
VTS
2007
IEEE
129views Hardware» more  VTS 2007»
15 years 6 months ago
Supply Voltage Noise Aware ATPG for Transition Delay Faults
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
98
Voted
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
15 years 7 months ago
Reconciling Manual and Automated Testing: The AutoTest Experience
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mar...
TAICPART
2006
IEEE
144views Education» more  TAICPART 2006»
15 years 6 months ago
Testing the Implementation of Business Rules Using Intensional Database Tests
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
David Willmor, Suzanne M. Embury
PTS
2004
86views Hardware» more  PTS 2004»
15 years 2 months ago
From Safety Verification to Safety Testing
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
Vlad Rusu, Hervé Marchand, Valéry Ts...