The ability to postmortem failures in deployed systems due to non-deterministic events is
useful in crash investigations. With this goal in mind, we propose FlashBox-a system that …

(57) ABSTRACT A system, a computer readable article of manufacture, and a method for
Verifying operation of a target system to be inspected. The system includes an abstract …

When trying to track down bugs using cyclic debugging, the ability to correctly reproduce
executions is imperative. In sequential, deterministic, non-real-time software, this …

Traditional tracing mechanisms, usually developed for use in a single‐computer
environment, are bound to a specific programming language. Today's highly distributed and …

Cyclic debugging is the process normally used for examining and removing bugs in
computer systems. For this process, the possibility to deterministically repeat executions is a …

Cyclic debugging is the process of iteratively re-executing a failed execution in order to
determine the cause of the failure, ie, the bug. In this process, being able to correctly …

Testing and debugging are major parts of a software development project, counted in time,
money as well as importance. As it is not likely that programmers and designers will make a …

抄録 UML/SysML による実行可能なシステム・モデルの振舞が, 時間/機能制約による仕様に対して
整合するかどうかを動的に検査する技術を提案する. 制御系の離散的振舞と機械系/電気系の連続 …

Today's programs in distributed and embedded systems are often designed for longtime
running applications and, thus, they are very complex. It is unlikely that all mistakes in such …