Sciweavers

194 search results - page 35 / 39
» Automated Behavioral Regression Testing
Sort
View
ERLANG
2004
ACM
14 years 1 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
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...
BIRTHDAY
2003
Springer
14 years 1 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
FTCS
1993
111views more  FTCS 1993»
13 years 9 months ago
Detection and Discrimination of Injected Network Faults
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...
Roy A. Maxion, Robert T. Olszewski
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
13 years 11 months ago
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...