Margaret H. Smith

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

Publications

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)
Alex Groce, Klaus Havelund, Margaret H. Smith
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) (2010)
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA (2009)
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
Automated Testing of Planning Models. MoChArt (2008)
Margaret H. Smith, Klaus Havelund
Requirements Capture with RCAT. RE (2008)
Gerard J. Holzmann, Margaret H. Smith
An Automated Verification Method for Distributed Systems Software Based on Model Extraction. IEEE Trans. Software Eng. 28 (4) (2002)
Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE (2001)
Gerard J. Holzmann, Margaret H. Smith
Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. 11 (2) (2001)
Gerard J. Holzmann, Margaret H. Smith
Automating software feature verification. Bell Labs Tech. J. 5 (2) (2000)
Gerard J. Holzmann, Margaret H. Smith
Software Model Checking. FORTE (1999)
Gerard J. Holzmann, Margaret H. Smith
A Practical Method for Verifying Event-Driven Software. ICSE (1999)
Gerard J. Holzmann, Margaret H. Smith
Interval reduction through requirements analysis. Bell Labs Tech. J. 3 (2) (1998)