651 search results - page 67 / 131 » Precise Analysis of Java Programs Using JOANA |
132
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
119
click to vote
ASE
2007
15 years 2 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
109
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
130
click to vote
ISCAPDCS
2001
15 years 3 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...
145
click to vote
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...