Search CORE

13 research outputs found

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Author: D. Gopan
H.H. Nguyen
J. Woodcock
R. Sessions
S. Magill
W. Kozaczynski
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2010
Field of study

10.1007/978-3-642-16901-4_13Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6447 LNCS171-18

Teeside University's Research Repository

ScholarBank@NUS

Understanding interleaved code

Author: A. Aho
A. Cimitile
A. Quilici
C. Rich
C. Rich
E. Soloway
F. Calliss
G. Canfora
J.Q. Ning
Kurt Stirewalt
Linda M. Wills
M. Stickel
P. Selfridge
R. Brooks
R. Hall
R.C. Waters
S. Rugaber
S. Rugaber
S. Rugaber
Spencer Rugaber
T. Biggerstaff
V.R. Basili
W. Kozaczynski
W.L. Johnson
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

The problem with existing systems

Author: SC Choi
W Kozaczynski
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1994
Field of study

Automated support for legacy code understanding

Author: Andre Engberts
Basili V.R.
Jim Q. Ning
Kozaczynski W.
Liu S.S.
Lyle J.
W. Voytek Kozaczynski
Weiser M.
Wills L.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

An Experiment in Distributed Software Architecture Recovery

Author: A. Cimitile
A. L. Wolf
C. Rich
D. R. Harris
J. Magee
W. Kozaczynski
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

ParAgent: A Domain-Specific Semi-automatic Parallelization Tool

Author: A. W. Lim
Anthes
B. D. Martino
J. M. Levesque
M. Dion
M. Dion
P. Boulet
R. Eigenmann
W. Kozaczynski
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

From domain models to architecture frameworks

Author: Arango G.
Charlie Mellone
Clements P.
Jacques Meekel
Kozaczynski W.
Nelson C.
Rix M.
Robert B. France
Sajid Dalvi
Thomas B. Horton
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Recovering software architecture from multiple source code analyses

Author: Alexander S. Yeh
Cheng J.
David R. Harris
Frans Ververs Dekker
Garlan D.
Garlin D.
Kozaczynski W.
Melissa P. Chase
Steven M. Christey
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Toward software plug-and-play

Author: Allen R.
Batory D.
Douglas Bryan
Edy S. Liongosari
Fischer G.
Francois Bronsard
Jim Q. Ning
John W. Wetterstrand
Meyer B.
Microsoft Corp.
Ning J. Q.
Sun Microsystems
Urs
W. Kozaczynski
Ásgeir Ólafsson
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core