651 search results - page 78 / 131 » Precise Analysis of Java Programs Using JOANA |
126
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
132
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...
105
click to vote
DKE
2010
15 years 2 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
104
Voted
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
110
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...