By Topic

Causal Program Slicing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Ross Gore ; Univ. of Virginia, Charlottesville, VA, USA ; Paul F. Reynolds Jr.

Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior and the conditions under which it arises. Explanation exploration (EE) has been presented to gather insight into unexpected behaviors. EE provides subject matter experts (SMEs) with the capability to test hypotheses about an unexpected behavior by semi-automatically creating conditions of interest under which SMEs can observe the unexpected behavior. EE also reveals the interactions of identified variables that influence the unexpected behavior. Causal program slicing, improves EE by: automatically identifying all variables in the model that may influence the unexpected behavior, quantifying how the state changes in those variables influence the unexpected behavior, and mapping the quantified state changes in the variables to the statements in the modelpsilas source code that cause change in state. These capabilities require less SME knowledge and provide more insight than EE.

Published in:

2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation

Date of Conference:

22-25 June 2009