1186 search results - page 213 / 238 » On Designing an Experiment to Evaluate a Reverse Engineering... |
175
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
165
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
188
Voted
CGO
2006
IEEE
16 years 4 days ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...
176
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
161
Voted
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
The ability to locate network bottlenecks along end-to-end paths on the Internet is of great interest to both network operators and researchers. For example, knowing where bottlen...