Many modern software applications are highly configurable, allowing configuration options to be changed even during program execution. When dynamic configuration updating is implemented incorrectly, program errors can result. These program errors occur primarily when stale data—computed from old configurations—or inconsistent data—computed from different configurations—are used. We introduce St...

This artifact is based on Staccato, a tool for finding errors in dynamic configuration update (DCU) implementations. Dynamic configuration update refers to configuration changes that occur at runtime without program restart. Errors in DCU implementations occur when stale data— computed from old configurations—or inconsistent data—computed from different configurations—are used. Staccato uses a ...

Skilled pianists were requested to interactively adjust note (i.e., key depression) durations in simple sequences, played under computer control on a digital piano, so as to sound optimally staccato (perception task) and to perform analogous sequences with staccato articulation on the same instrument as well as on a real piano (production task). The independent variables were tempo, register, a...

Generating minimal hitting sets of a collection of sets is known to be NP-hard, necessitating heuristic approaches to handle large problems. In this paper a low-cost, approximate minimal hitting set (MHS) algorithm, coined STACCATO, is presented. STACCATO uses a heuristic function, borrowed from a lightweight, statistics-based software fault localization approach, to guide the MHS search. Given...

Generating minimal hitting sets of a collection of sets is known to be NPhard, necessitating heuristic approaches to handle large problems. In this paper a low-cost, approximate minimal hitting set (MHS) algorithm, coined Staccato, is presented. Staccato uses a heuristic function, borrowed from a lightweight, statistics-based software fault localization approach, to guide the MHS search. Given ...

Computing minimal hitting sets for a collection of sets is an important problem in many domains (e.g., Spectrum-based Fault Localization). Being an NP-Hard problem, exhaustive algorithms are usually prohibitive for real-world, often large, problems. In practice, the usage of heuristic based approaches trade-off completeness for time efficiency. An example of such heuristic approaches is STACCAT...

No matter what your favorite definition of co-verbal “hand and arm gesture” is, at the basic kinematic level a hand and arm gesture is in any case manifested by some spatiotemporal body movement. Accordingly, a prerequisite of any empirical, data-driven account to gesture is to locate those segments in the stream of hand and arm movements that make up a co-verbal hand and arm gesture. Following...

MOTIVATION There are two main areas of difficulty in homology modelling that are particularly important when sequence identity between target and template falls below 50%: sequence alignment and loop building. These problems become magnified with automatic modelling processes, as there is no human input to correct mistakes. As such we have benchmarked several stand-alone strategies that could b...

OBJECTIVE Investigation on anxiety, stress, depression, and quality of life (QoL) within STACCATO, a randomised trial of two treatment strategies: CD4 guided scheduled treatment interruption (STI) compared to continuous treatment (CT). PARTICIPANTS Thai patients with HIV-infection enrolled in the STACCATO trial. METHODS Anxiety, depression assessed by the questionnaires Hospital Anxiety and...