We present a novel approach for generating interaction combinations based on SMT constraint resolution. Our approach can generate maximal interaction coverage in the presence of general constraints as supported by the underlying solver. It supports seeding with general predicates, which allows us to combine it with path exploration such that both interaction and path coverage goals can be met. ...

Unhealthy behavior is responsible for much human disease, and a common goal of contemporary preventive medicine is therefore to encourage behavior change. However, while behavior change often seems easy in the short run, it can be difficult to sustain. This article provides a selective review of research from the basic learning and behavior laboratory that provides some insight into why. The re...

In recent years, the nudge approach to behavior change has emerged from the behavioral sciences to challenge the traditional use of regulation in public health strategies to address modifiable individual-level behaviors related to the rise of noncommunicable diseases and their treatment. However, integration and testing of the nudge approach as part of more comprehensive public health strategie...

BACKGROUND Many online interventions designed to promote health behaviors combine multiple behavior change techniques (BCTs), adopt different modes of delivery (MoD) (eg, text messages), and range in how usable they are. Research is therefore needed to examine the impact of these features on the effectiveness of online interventions. OBJECTIVE This study applies Classification and Regression ...

OBJECTIVE The purpose of the current investigation is to assess and validate the factor structure of the Behavioral Risk Factor Surveillance System's (BRFSS) Adverse Childhood Experience (ACE) module. METHOD ACE data available from the 2009 BRFSS survey were fit using exploratory factor analysis (EFA) to estimate an initial factorial structure. The exploratory solution was then validated usin...

This paper describes a methodology for specifying and validating featurebased systems. Our solution allows the easy integration of a new feature into an existing system and to perform its validation in an incremental way. Our specification proposal is based on the synchronous approach, which proved to be well-adapted to the chosen level of abstraction. The validation process focuses on the dete...

This pa, per continues the investigM, ions of [I] to [4] concerning the decision problem for v~u'ious ~flgebra, ie theories, formula, ted in Keyt.ing's predicate ea.leulus. Let T be the theory of M)elia, n groups with decidable equMity formula, ted in ]-[eytino"s predicate eMeulus HPC; theft, is, the la, n/ua, ge of T ha, s O, '- ,-a,nd the a, xioms of T ~n'e: (n) x+y-.q-~-x (b) (x+y)+z = .,'+(...