Sciweavers

ICSE
1992
IEEE-ACM
14 years 3 months ago
Seeking Concurrency in Rule-Based Programming
Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...
ICSE
1992
IEEE-ACM
14 years 3 months ago
The Use of Program Dependence Graphs in Software Engineering
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
Susan Horwitz, Thomas W. Reps
ICSE
1992
IEEE-ACM
14 years 3 months ago
Incremental Testing of Object-Oriented Class Structures
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
Mary Jean Harrold, John D. McGregor, Kevin J. Fitz...
ICSE
1992
IEEE-ACM
14 years 3 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...