 |
|
| 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
|