Sciweavers

2342 search results - page 303 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
109
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
Locating causes of program failures
Which is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. H...
Holger Cleve, Andreas Zeller
ISSTA
2004
ACM
15 years 9 months ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
129
Voted
ESEM
2008
ACM
15 years 5 months ago
A hybrid faulty module prediction using association rule mining and logistic regression analysis
This paper proposes a fault-prone module prediction method that combines association rule mining with logistic regression analysis. In the proposed method, we focus on three key m...
Yasutaka Kamei, Akito Monden, Shuuji Morisaki, Ken...
149
Voted
CSREAESA
2003
15 years 5 months ago
Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
Friedhelm Stappert, Carsten Rust
138
Voted
WWW
2008
ACM
16 years 4 months ago
Personalized interactive faceted search
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...
Jonathan Koren, Yi Zhang, Xue Liu