Program slice distribution functions
Ross Gore,Paul F. Reynolds +1 more
- 13 Dec 2009
- pp 1092-1103
TL;DR: The use of PSDFs is the first approach to quantifying the uncertainty in program slices for stochastic simulations and extends the state of the art in analysis and informed decision making based on simulation outcomes.
read more
Abstract: Unexpected behaviors in simulations require explanation, so that decision makers and subject matter experts can separate valid behaviors from design or coding errors. Validation of unexpected behaviors requires accumulation of insight into the behavior and the conditions under which it arises. Stochastic simulations are known for unexpected behaviors that can be difficult to recreate and explain. To facilitate exploration, analysis and understanding of unexpected behaviors in stochastic simulations we have developed a novel approach, called Program Slice Distribution Functions (PSDFs), for quantifying the uncertainty of the dynamic program slices (simulation executions) causing unexpected behaviors. Our use of PSDFs is the first approach to quantifying the uncertainty in program slices for stochastic simulations and extends the state of the art in analysis and informed decision making based on simulation outcomes. We apply PSDFs to a published epidemic simulation and describe how users can apply PSDFs to their own stochastic simulations.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Environmental Toxicology and Chemistry
Donald G. Crosby
- 26 Feb 1998
TL;DR: In this article, the authors discuss the effects of chemicals in the environment on humans and their effect on humans' health, including the effects on their health on animals and on the environment.
356
References
Program Slicing
TL;DR: Program slicing as mentioned in this paper is a method for automatically decomposing programs by analyzing their data flow and control flow. But it is not a technique for finding statement-minimal slices, as it is in general unsolvable, but using data flow analysis is sufficient to find approximate slices.
3.3K
•Book
Theory of modeling and simulation
Bernard P. Zeigler,Tag Gon Kim,Herbert Praehofer +2 more
- 01 Jan 1976
TL;DR: In this paper, the authors present a rigorous mathematical foundation for modeling and simulation and provide a comprehensive framework for integrating the various simulation approaches employed in practice, including cellular automata, chaotic systems, hierarchical block diagrams, and Petri nets.
Program slicing
Keith Gallagher,David Binkley +1 more
- 01 Sep 2008
TL;DR: Applications of program slicing are surveyed, ranging from its first use as a debugging technique to current applications in property verification using finite state models, and a summary of research challenges for the slicing community is discussed.
2.8K
A Survey of Program Slicing Techniques.
Frank Tip
- 31 Jul 1994
TL;DR: An overview of the applications of program slicing, which include debugging, program integration, dataflow testing, and software maintenance is presented, including the various general approaches used to compute slices.
•Journal Article
A survey of program slicing techniques.
TL;DR: A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest, referred to as a slicing criterion, and is typically specified by a location in the program in combination with a subset of the program's variables.
1.3K