651 search results - page 19 / 131 » Precise Analysis of Java Programs Using JOANA |
SEKE
2005
Springer
15 years 2 months ago
2005
Springer
- Many software development platforms provide a large number of library components to make it easy to build high quality software. On the other hand, it became more and more diffic...
84
Voted
CARDIS
2008
Springer
14 years 11 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
110
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...