We introduce the concept of a delaying explorer with the goal of performing prioritized exploration of the behaviors of an asynchronous reactive program. A delaying explorer stratifies the search space using a custom strategy, and a delay operation that allows deviation from that strategy. We show that prioritized search with a delaying explorer performs significantly better than existing prior...

We present the Evidence Explorer (http://www.cs.sunysb.edu/~lmc/ee/), a new tool for assisting users in navigating the proof structure, or evidence, produced by a model checker when attempting to verify a system specification for a temporal-logic property. Due to the sheer size of such evidence, single-step traversal is prohibitive and smarter exploration methods are required. The Evidence Expl...

The prevalence of work-related musculoskeletal disorders in dental hygienists is significantly higher than that of the general population. The purpose of this study was to evaluate the effect of explorer weight on dental and dental hygiene students' tactile discrimination when exploring. A randomized controlled clinical trial utilizing a dual dependent statistical design was used to collect dat...

PURPOSE This study assessed the effect of preparation design on marginal adaptation and also compared the sensitivity and specificity of clinical evaluation techniques for marginal accuracy of cast restorations to stereomicroscopy. MATERIALS AND METHODS Three Ivorine molar teeth of different designs were prepared. (A)-A complete crown preparation with buccal shoulder and beveled finish line. ...