GDPA  
Matthew Dwyer  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Matthew Dwyer

E-Mail

dwyer@cis.ksu.edu

Homepage

http://www.cis.ksu.edu/~dwyer/

Address

Associate Professor
Dept. of Computing and Info. Sciences
Kansas State University
SAnToS Laboratory
324e Nichols Hall
Manhattan, KS 66506
USA
Phone: (785) 532-6350
Fax: (785) 532-7353

Institution

Kansas State University - USA

Publications

2000:
/Corbett, 2000/ Bandera: Extracting Finite-State Models from Java Source Code
/Corbett, 2000a/ Bandera: A Source-level Interface for Model Checking Java Programs

1999:
/Dwyer, 1999/ Patterns in Property Specifications for Finite-State Verification

1998:
/Dwyer, 1998/ Filter-based Model Checking of Partial Systems

Conferences

Programme Committee
ESEC/FSE'99 Toulouse, France

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster