Search Sciweavers | Sciweavers

8398 search results - page 17 / 1680

» Optimal Software Testing

click to vote

TSE
2010

136views more TSE 2010»

A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search

13 years 8 months ago

Download www.dcs.kcl.ac.uk

Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...

Mark Harman, Phil McMinn

claim paper

Read More »

click to vote

CSCLP
2004
Springer

128views Artificial Intelligence» more CSCLP 2004»

Constraint-Based Approaches to the Covering Test Problem

14 years 1 months ago

Download homes.ieu.edu.tr

Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...

Brahim Hnich, Steven David Prestwich, Evgeny Selen...

claim paper

Read More »

click to vote

ICST
2009
IEEE

138views Software Engineering» more ICST 2009»

An Evaluation of Model Checkers for Specification Based Test Case Generation

13 years 7 months ago

Download cs.unibg.it

Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...

Gordon Fraser, Angelo Gargantini

claim paper

Read More »

click to vote

ISPW
2008
IEEE

118views Software Engineering» more ISPW 2008»

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

14 years 4 months ago