612 search results - page 45 / 123 » Using Static Analysis to Improve Automatic Test Generation |
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
122
click to vote
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
HIPC
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...
105
click to vote
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...