150 search results - page 5 / 30 » Testing Concurrent Java Components |
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...
ECOOPW
1998
Springer
13 years 10 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
AMOST
2007
ACM
13 years 10 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
TACAS
2010
Springer
13 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
CONCURRENCY
1998
13 years 5 months ago
1998
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...