Sciweavers

1012 search results - page 28 / 203
» Identification of System Software Components Using Clusterin...
Sort
View
ICSE
2003
IEEE-ACM
14 years 2 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
CSMR
2005
IEEE
14 years 2 months ago
Clustering Data Retrieved from Java Source Code to Support Software Maintenance: A Case Study
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
Dimitris Rousidis, Christos Tjortjis
COMPSAC
2003
IEEE
14 years 2 months ago
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
Ann T. Tai, Kam S. Tso, William H. Sanders
ICSE
2003
IEEE-ACM
14 years 9 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ICSM
2007
IEEE
14 years 3 months ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...