651 search results - page 49 / 131 » Precise Analysis of Java Programs Using JOANA |
131
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
125
click to vote
NSDI
2010
15 years 3 months ago
2010
Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web applications. Replay is us...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
137
Voted
ICECCS
1996
IEEE
15 years 6 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
121
Voted
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...