Sciweavers

668 search results - page 84 / 134
» Empirical Methods in Software Engineering Research
Sort
View
TASE
2008
IEEE
14 years 4 months ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
Corinna Spermann, Michael Leuschel
ICSE
2001
IEEE-ACM
14 years 2 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
ICSM
2000
IEEE
14 years 2 months ago
Information Retrieval Models for Recovering Traceability Links between Code and Documentation
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
SQJ
2002
110views more  SQJ 2002»
13 years 9 months ago
A General Model of Unit Testing Efficacy
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
Houman Younessi, Panlop Zeephongsekul, Winai Bodhi...
ESEM
2007
ACM
14 years 1 months ago
The Effects of Over and Under Sampling on Fault-prone Module Detection
The goal of this paper is to improve the prediction performance of fault-prone module prediction models (fault-proneness models) by employing over/under sampling methods, which ar...
Yasutaka Kamei, Akito Monden, Shinsuke Matsumoto, ...