291 search results - page 30 / 59 » Software-Test |
111
click to vote
CSSC
2008
15 years 2 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
123
click to vote
AVI
2004
15 years 3 months ago
2004
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
127
click to vote
IJCAI
2007
15 years 3 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
117
Voted
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
108
Voted
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...