 |
|
| Constance Heitmeyer |
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
Constance Heitmeyer
E-Mail
heitmeyer@itd.nrl.navy.mil
Address
NRL ITD Naval Research Laboratory Information Technology Division Code 5546 Washington, DC 20375 USA
Institution
Naval Research Laboratory - USA Publications
/Gargantini, 1999/ Using Model Checking to Generate Tests from Requirements Specifications/Jeffords, 1998/ Automatic Generation of State Invariants from Requirements Specifications
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|