Background: Early resuscitation with blood components or products is emerging as best
practice in selected patients with trauma and medical patients; as a result, out-of-hospital …

Background Telementoring facilitates the coordination of advanced medical care in rural,
remote or austere environments. Because the interpersonal element of telementoring has been …

Short-term facilitation is a widely observed form of synaptic enhancement that is not well
understood. Although presynaptic calcium has long been implicated in this process, its role is …

To report a compiler bug, one must often find a small test case that triggers the bug. The
existing approach to automated test-case reduction, delta debugging, works by removing …

… Supplemental materials for the analyses in this paper are provided in Regehr et al. (2007). …
The sex and age composition of the samples is described in Regehr et al. (2007). …

Compilers should be correct. To improve the quality of C compilers, we created Csmith, a
randomized test-case generation tool, and spent three years using it to find compiler bugs. …

C's volatile qualifier is intended to provide a reliable link between operations at the source-code
level and operations at the memory-system level. We tested thirteen production-quality …

Aggressive random testing tools ("fuzzers") are impressively effective at finding compiler bugs.
For example, a single test-case generator has resulted in more than 1,700 bugs reported …

The Campbell systematic review aims to examine the effectiveness of psychotherapeutic
interventions in reducing symptoms of distress and trauma for victims of sexual assault and rape…

… Eide and Regehr’s improved version of the existing Randprog tool used differential testing
to look for miscompilation of volatile-qualified variables [Eide and Regehr 2008]. Their testing …