Sciweavers

150 search results - page 1 / 30
» Testing Concurrent Java Components
Sort
View
ICSE
2007
IEEE-ACM
14 years 5 months ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman
APSEC
2004
IEEE
14 years 2 months ago
Testing Java Interrupts and Timed Waits
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...
Luke Wildman, Brad Long, Paul A. Strooper
CAV
2006
Springer
209views Hardware» more  CAV 2006»
14 years 2 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha
ENTCS
2006
113views more  ENTCS 2006»
13 years 11 months ago
Concurrent Java Test Generation as a Search Problem
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
Yaniv Eytani