Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.326.4 ◽

2020 ◽

Vol 326 ◽

pp. 50-65

Author(s):

Mara Downing ◽

Abtin Molavi ◽

Lucas Bang

Keyword(s):

Symbolic Execution ◽

Entropy Maximization ◽

Model Counting ◽

Execution Model ◽

Automatic Search

Download Full-text

Probabilistic programming for Java using symbolic execution and model counting

Proceedings of the South African Institute of Computer Scientists and Information Technologists on - SAICSIT '17 ◽

10.1145/3129416.3129433 ◽

2017 ◽

Cited By ~ 1

Author(s):

Willem Visser ◽

Corina S. Păsăreanu

Keyword(s):

Symbolic Execution ◽

Probabilistic Programming ◽

Model Counting

Download Full-text

Side-Channel Analysis via Symbolic Execution and Model Counting

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3282517.3302416 ◽

2019 ◽

Vol 43 (4) ◽

pp. 55-55

Author(s):

Tevfik Bultan

Keyword(s):

Symbolic Execution ◽

Side Channel ◽

Side Channel Analysis ◽

Model Counting ◽

Channel Analysis

Download Full-text

Idiographic Dynamics of Positive Affect in GAD

European Journal of Psychological Assessment ◽

10.1027/1015-5759/a000580 ◽

2020 ◽

Vol 36 (3) ◽

pp. 500-509

Author(s):

Hannah G. Bosley ◽

Devon B. Sandel ◽

Aaron J. Fisher

Keyword(s):

Positive Affect ◽

Structural Equation ◽

Alternative Hypothesis ◽

Equation Model ◽

Aggregated Data ◽

Regulatory Strategy ◽

Constant State ◽

Automatic Search ◽

Time Lagged ◽

Exploratory Procedure

Abstract. Generalized anxiety disorder (GAD) is associated with worry and emotion regulation difficulties. The contrast-avoidance model suggests that individuals with GAD use worry to regulate emotion: by worrying, they maintain a constant state of negative affect (NA), avoiding a feared sudden shift into NA. We tested an extension of this model to positive affect (PA). During a week-long ecological momentary assessment (EMA) period, 96 undergraduates with a GAD analog provided four daily measurements of worry, dampening (i.e., PA suppression), and PA. We hypothesized a time-lagged mediation relationship in which higher worry predicts later dampening, and dampening predicts subsequently lower PA. A lag-2 structural equation model was fit to the group-aggregated data and to each individual time-series to test this hypothesis. Although worry and PA were negatively correlated in 87 participants, our model was not supported at the nomothetic level. However, idiographically, our model was well-fit for about a third (38.5%) of participants. We then used automatic search as an idiographic exploratory procedure to detect other time-lagged relationships between these constructs. While 46 individuals exhibited some cross-lagged relationships, no clear pattern emerged across participants. An alternative hypothesis about the speed of the relationship between variables is discussed using contemporaneous correlations of worry, dampening, and PA. Findings suggest heterogeneity in the function of worry as a regulatory strategy, and the importance of temporal scale for detection of time-lagged effects.

Download Full-text