150 search results - page 2 / 30 » Testing Concurrent Java Components |
ASWEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
ENTCS
2002
13 years 4 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
APCSAC
2003
IEEE
13 years 8 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...