Sciweavers

6014 search results - page 132 / 1203
» Structural Testing with Use Cases
Sort
View
91
Voted
IWPC
1999
IEEE
15 years 6 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
113
Voted
RTSS
1996
IEEE
15 years 6 months ago
Visual assessment of a real-time system design: a case study on a CNC controller
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Sakse...
103
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
Brian Demsky, Martin C. Rinard
103
Voted
PVM
2010
Springer
15 years 29 days ago
MPI Datatype Marshalling: A Case Study in Datatype Equivalence
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
Dries Kimpe, David Goodell, Robert B. Ross
116
Voted
ANTSW
2008
Springer
15 years 4 months ago
Molecular Structure Elucidation Using Ant Colony Optimization: A Preliminary Study
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
Caroline Farrelly, Douglas B. Kell, Joshua D. Know...