scholarly journals Data Flow Analysis In Software Reliability

2011 ◽  
pp. 49-85 ◽  
Author(s):  
Lloyd D. Fosdick ◽  
Leon J. Osterweil
Keyword(s):  
Software Reliability ◽  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

scholarly journals Data Flow Analysis in Software Reliability

1976 ◽  
Vol 8 (3) ◽  
pp. 305-330 ◽  
Author(s):  
Lloyd D. Fosdick ◽  
Leon J. Osterweil
Keyword(s):  
Software Reliability ◽  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

scholarly journals PREVENTING BUFFER OVERFLOW ATTACKS WITH RELIABLE AND LOW COST SYSTEM

2015 ◽  
pp. 156-159
Author(s):  
B V S NAGARAJU ◽  
Y. SRINIVASA RAO ◽  
P. HARINI
Keyword(s):  
Software Reliability ◽  
Data Flow ◽  
Low Cost ◽  
Flow Analysis ◽  
Data Flow Analysis ◽  
Cost System ◽  
Analysis Technique ◽  
Dynamic Methods ◽  
Field Static ◽  
Testing Field

Detection of Data Flow Anomalies There are static or dynamic methods to detect data flow anomalies in the software reliability and testing field. Static methods are not suitable in our case due to its slow speed; dynamic methods are not suitable either due to the need for real execution of a program with some inputs. Their scheme is rule-based, whereas SigFree is a generic approach which does not require any pre-known patterns. Then, it uses the found patterns and a data flow analysis technique called program slicing to analyze the packet’s payload to see if the packet really contains code Four rules (or cases) are discussed in this work.

scholarly journals Incremental data flow analysis in a structured program editor

1984 ◽  
Vol 19 (6) ◽  
pp. 132-143 ◽  
Author(s):  
Frank Kenneth Zadeck
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis ◽  
Structured Program

scholarly journals Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations

2007 ◽  
Vol 176 (3) ◽  
pp. 97-108 ◽  
Author(s):  
Wolfram Amme ◽  
Marc-André Möller ◽  
Philipp Adler
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
General Concept ◽  
Data Flow Analysis

scholarly journals On Probabilistic Techniques for Data Flow Analysis

2007 ◽  
Vol 190 (3) ◽  
pp. 59-77 ◽  
Author(s):  
Alessandra Di Pierro ◽  
Chris Hankin ◽  
Herbert Wiklicky
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

May/must analysis and the DFAGen data-flow analysis generator

2009 ◽  
Vol 51 (10) ◽  
pp. 1440-1453 ◽  
Author(s):  
Andrew Stone ◽  
Michelle Strout ◽  
Shweta Behere
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

Polyhedral Data-Flow Analysis for Data Storage and Transfer Exploration

1998 ◽  
pp. 121-153
Author(s):  
Francky Catthoor ◽  
Sven Wuytack ◽  
Eddy De Greef ◽  
Florin Balasa ◽  
Lode Nachtergaele ◽  
...  
Keyword(s):  
Data Storage ◽  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document