281 search results - page 4 / 57 » Concurrent Java Test Generation as a Search Problem |
ISCIS
2003
Springer
14 years 20 days ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
FLAIRS
2004
13 years 9 months ago
2004
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
ASIAN
2004
Springer
14 years 27 days ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...