Sciweavers

21183 search results - page 301 / 4237
» Adaptive Testing by Test
Sort
View
ICSE
2012
IEEE-ACM
13 years 9 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
DATE
2008
IEEE
95views Hardware» more  DATE 2008»
16 years 1 months ago
Improvements in Polynomial-Time Feasibility Testing for EDF
This paper presents two fully polynomial-time sufficient feasibility tests for EDF when considering periodic tasks with arbitrary deadlines and preemptive scheduling on uniproces...
Alejandro Masrur, Sebastian Drossler, Georg Farber
VTS
2007
IEEE
114views Hardware» more  VTS 2007»
16 years 26 days ago
Parameter Estimation for a Model with Both Imperfect Test and Repair
We describe estimation of the parameters of a manufacturing test and repair model using data available from that test. The model allows imperfect testing and imperfect repair. The...
Simon P. Wilson, Ben Flood, Suresh Goyal, Jim Mosh...
SEKE
2007
Springer
16 years 21 days ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 18 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...