Isolating cause-effect chains from computer programs
نویسندگان
چکیده
منابع مشابه
Isolating cause-effect chains in computer systems
One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true for effects that cause major harm, and especially challenging for causes that actively prevent discovery. We introduce Malfor, a system that, for any reliably reproducible and observable effect, isolates the processes that cause the effect. We apply Malfor to intrusio...
متن کاملMining Cause-Effect-Chains from Version Histories (-1)
Software reliability is determined by software changes. How do these changes relate to each other? By analyzing the impacted method definitions and usages, we determine dependencies between changes, resulting in a change genealogy that captures how earlier changes enable and cause later ones. Model checking this genealogy reveals temporal process patterns that encode key features of the softwar...
متن کاملIsolating Determinism in Multi-threaded Programs
Futures are a program abstraction that express a simple form of fork-join parallelism. The expression future (e) declares that e can be evaluated concurrently with the future’s continuation. Safe-futures provide additional deterministic guarantees, ensuring that all data dependencies found in the original (non-future annotated) version are respected. In this paper, we present a dynamic analysis...
متن کاملOn Detecting of Chaotic Dynamics via Isolating Chains
We show in the paper the method of isolating chains in proof of chaotic dynamics. It is based on the earlier notion of an isolating segment but gives more powerful tool for exploring dynamics of periodic ODE’s. As an application we show that the processes generated by the equations in the complex plane ż = zk + eiφtz, where k ≥ 3 is an odd number and φ is close to 0, has chaotic behaviour.
متن کاملExtracting Computer Algebra Programs from Statements
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been mechanically proved with the help of a proof assistant. This approach has been found when proving the correctness of certain Computer Algebra programs (for Algebraic Topology) by using the Isabelle proof assistant. To ea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2002
ISSN: 0163-5948
DOI: 10.1145/605466.605468