334 search results - page 22 / 67 » Model-Based Software Testing and Verification |
SIGADA
2001
Springer
14 years 1 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...