Sciweavers

729 search results - page 36 / 146
» Using Metrics to Improve Software Testing
Sort
View
AMOST
2007
ACM
13 years 11 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
ICSE
2009
IEEE-ACM
14 years 2 months ago
JUnitMX - A change-aware unit testing tool
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
Jan Wloka, Barbara G. Ryder, Frank Tip
TIM
2010
148views Education» more  TIM 2010»
13 years 2 months ago
Measurement of Heart Rate Variability Using an Oscillometric Blood Pressure Monitor
Abstract--We apply the maximal overlap discrete wavelet transform (MODWT)-based spectral density estimation method to measure heart rate variability (HRV) from short-duration pulse...
S. Ahmad, Miodrag Bolic, Hilmi R. Dajani, Voicu Gr...
IOLTS
2006
IEEE
101views Hardware» more  IOLTS 2006»
14 years 1 months ago
Delay Fault Localization in Test-Per-Scan BIST Using Built-In Delay Sensor
— Delay failures are becoming a dominant failure mechanism in nanometer technologies. Diagnosis of such failures is important to ensure yield and robustness of the design. Howeve...
Swaroop Ghosh, Swarup Bhunia, Arijit Raychowdhury,...
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
14 years 1 months ago
Informative performance metrics for dynamic optimisation problems
Existing metrics for dynamic optimisation are designed primarily to rate an algorithm’s overall performance. These metrics show whether one algorithm is better than another, but...
Stefan Bird, Xiaodong Li