281 search results - page 2 / 57 » Concurrent Java Test Generation as a Search Problem |
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
ISCI
2008
13 years 5 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
ICST
2009
IEEE
14 years 8 days ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
PLDI
2012
ACM
11 years 8 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
IFIP
2010
Springer
13 years 14 days ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...