We introduce a methodology and research tools for visual exploratory software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements speci cations into a live quick-feedback cycle, without recompilation or restart of the system under test. This supports discovery and veri cation of software dynamic behavior, software comprehensio...

OBJECTIVES/HYPOTHESIS To better understand the causes and outcomes of lawsuits involving otolaryngologists in the past decade by analyzing malpractice litigation trends to prevent future litigation and improve physician education. STUDY DESIGN Analysis of a national database for all US civil trials. METHODS The Westlaw database was reviewed from 2001 to 2011. Data were compiled on the demog...

As the number of state mental hospital beds declines, persons with persistent mental illness are increasingly encountered by those working in the legal system. Attorneys may have little experience in working with this population. This research involved a 32-item written survey of the 492 members of the criminal bar in South Carolina. Demographic variables were surveyed, and attorneys were asked...

OBJECTIVES/HYPOTHESIS Malpractice claims pertaining to rhinological procedures are a potentially important source of information that could be used to minimize the risk of future litigation and improve patient care. STUDY DESIGN A retrospective review of a publicly available database containing jury verdicts and settlements. METHODS The LexisNexis Jury Verdicts and Settlements database was ...

Runtime Verification (RV) is a lightweight method for monitoring the formal specification of a system during its execution. It has recently been shown that a given state predicate can be monitored consistently by a set of crash-prone asynchronous distributed monitors, only if sufficiently many different verdicts can be emitted by each monitor. We revisit this impossibility result in the context...

Testing a protocol at runtime in an online way is a complex and challenging work. It requires the ability to handle numerous messages in a short time, and also requires the same offline testing preciseness. Meanwhile, since online testing is a long term continuously process, the tester has to undergo severe conditions when dealing with large amount of nonstop traces. In this paper, we present a...