APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
The scale-free network shown in the small world phenomenon indicates that our human society consists of a small number of people who play the role of hubs linked with many nodes (...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...