37 search results - page 6 / 8 » A study of interleaving coverage criteria |
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— WLAN hot-spots are becoming widely spread. This, combined with the availability of new multi-mode terminals integrating heterogeneous technologies, opens new business opportuni...
ICWMC
2006
IEEE
14 years 4 months ago
2006
IEEE
In MANET research the mobility of the nodes is often described using standard synthetic models. Given a particular application, e.g. networks of unmanned aerial vehicles (UAVs) pe...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
ISSRE
2007
IEEE
14 years 12 days ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
JSS
2010
13 years 5 months ago
2010
Test suite minimisation techniques seek to reduce the effort required for regression testing by selecting a subset of test suites. In previous work, the problem has been considere...