17 search results - page 4 / 4 » Static Deadlock Detection for Java Libraries |
CC
2005
Springer
13 years 10 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
ECLIPSE
2007
ACM
13 years 9 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...