Sciweavers

ESEC
1997
Springer
13 years 11 months ago
Cryptographic Verification of Test Coverage Claims
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
Premkumar T. Devanbu, Stuart G. Stubblebine
APSEC
1995
IEEE
13 years 11 months ago
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae ...
APSEC
1995
IEEE
13 years 11 months ago
Development of Distributed Applications with Separation of Concerns
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
António Rito Silva, Pedro Sousa, José...
APSEC
1995
IEEE
13 years 11 months ago
Testing of Object-Oriented Programs Based on Finite State Machines
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
APSEC
1995
IEEE
13 years 11 months ago
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim
APL
1995
ACM
13 years 11 months ago
Infix, Cut and Finite Automata
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
Clifford A. Reiter
APL
1995
ACM
13 years 11 months ago
The Role of Composition in Computer Programming
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
Donald B. McIntyre
AMAST
1995
Springer
13 years 11 months ago
Information Algebras
Ewa Orlowska