Sciweavers

150 search results - page 1 / 30
» Testing Concurrent Java Components
Sort
View
ICSE
2007
IEEE-ACM
14 years 1 months ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman
APSEC
2004
IEEE
13 years 11 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»
13 years 11 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 7 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