Sciweavers

ICECCS
2000
IEEE
106views Hardware» more  ICECCS 2000»
14 years 2 months ago
Evaluation of Three Specification-Based Testing Criteria
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Je...
ICECCS
2000
IEEE
105views Hardware» more  ICECCS 2000»
14 years 3 months ago
Distributed Development of Complex Software Systems with Object Make
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
Yasuhiro Sugiyama
ICECCS
2000
IEEE
133views Hardware» more  ICECCS 2000»
14 years 3 months ago
An Analysis Tool for Coupling-Based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
A. Jefferson Offutt, Aynur Abdurazik, Roger T. Ale...
ICECCS
2000
IEEE
196views Hardware» more  ICECCS 2000»
14 years 3 months ago
Complexity: Concept, Causes and Control
Complexity arises from many sources – both within and outwith the system. Internal sources include modern hardware, e.g. super-scalar processors, and external sources include th...
John A. McDermid
ICECCS
2000
IEEE
87views Hardware» more  ICECCS 2000»
14 years 3 months ago
Automated Result Verification with AWK
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
Balkhis Abu Bakar, Tomasz Janowski
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
14 years 3 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICECCS
2000
IEEE
126views Hardware» more  ICECCS 2000»
14 years 3 months ago
Domain Modeling of Software Process Models
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh