A. Goldberg
发表
Zhenyu Qian,
Alessandro Coglio,
Allen Goldberg,
2000
.
A. Goldberg,
W. B. Martin,
P. D. White,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
Koushik Sen,
K. Havelund,
H. Barringer,
2003
.
K. Havelund,
A. Venet,
A. Goldberg,
2006
.
Xiaolei Qian,
A. Goldberg,
2018
.
Allen Goldberg,
Tie-Cheng Wang,
A. Goldberg,
1992,
CADE.
Alessandro Coglio,
Allen Goldberg,
A. Coglio,
2000
.
Sarfraz Khurshid,
Koushik Sen,
Cyrille Artho,
2005
.
A. Smautalk Goldberg,
A. Goldberg,
Dorothy Elizabeth Rob,
1984
.
A. Goldberg,
1990,
SDE 4.
Allen Goldberg,
Lee Blaine,
A. Goldberg,
1991
.
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2004,
VMCAI.
Allen Goldberg,
Robert Paige,
R. Paige,
1984,
LFP '84.
Michael R. Lowry,
Sarfraz Khurshid,
Koushik Sen,
2005,
Theor. Comput. Sci..
Koushik Sen,
Howard Barringer,
Klaus Havelund,
2003
.
Zhenyu Qian,
Alessandro Coglio,
Allen Goldberg,
2000,
OOPSLA '00.
Michael R. Lowry,
Doron Drusinsky,
Corina S. Pasareanu,
2013,
Formal Methods Syst. Des..
Michael R. Lowry,
Cyrille Artho,
Grigore Rosu,
2003,
Abstract State Machines.
Sarfraz Khurshid,
Koushik Sen,
Cyrille Artho,
2004
.
Allen Goldberg,
Tie-Cheng Wang,
David Zimmerman,
1994,
ISSTA '94.
Allen Goldberg,
A. Goldberg,
1998,
CCS '98.