Search Sciweavers | Sciweavers

1365 search results - page 8 / 273

» Maximal Causality Analysis

147

click to vote

ATVA
2006
Springer

99views Hardware» more ATVA 2006»

Whodunit? Causal Analysis for Counterexamples

15 years 8 months ago

Download www.cs.wmich.edu

Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...

claim paper

Read More »

100

click to vote

PAKDD
2009
ACM

80views Data Mining» more PAKDD 2009»

Trace Mining from Distributed Assembly Databases for Causal Analysis

15 years 11 months ago

Download www.trl.ibm.com

Shohei Hido, Hirofumi Matsuzawa, Fumihiko Kitayama...

claim paper

Read More »

106

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 9 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Jens Brandt, Tobias Schüle

claim paper

Read More »

104

click to vote

ICSM
1997
IEEE

91views Software Engineering» more ICSM 1997»

Causal Analysis of the Requirements Change Process for a Large System

15 years 8 months ago

Download www.ehealthinformation.ca

Khaled El Emam, Dirk Höltje, Nazim H. Madhavj...

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

90views Software Engineering» more EMSOFT 2006»

A causality interface for deadlock analysis in dataflow

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers