Margaret H. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2010

Formal Analysis of Log FilesHoward Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith. jacic, 7(11):365-390, 2010. [doi]

From scripts to specifications: the evolution of a flight software testing effortAlex Groce, Klaus Havelund, Margaret H. Smith. ICSE 2010: 129-138 [doi]

2008

Automated Testing of Planning ModelsKlaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith. mochart 2009: 90-105 [doi]

Requirements Capture with RCATMargaret H. Smith, Klaus Havelund. RE 2008: 183-192 [doi]

2002

An Automated Verification Method for Distributed Systems Software Based on Model ExtractionGerard J. Holzmann, Margaret H. Smith. TSE, 28(4):364-377, 2002. [doi]

2001

Software model checking: extracting verification models from source codeGerard J. Holzmann, Margaret H. Smith. stvr, 11(2):65-79, 2001.

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of ProgramsMargaret H. Smith, Gerard J. Holzmann, Kousha Etessami. RE 2001: 14-22 [doi]

2000

Automating software feature verificationGerard J. Holzmann, Margaret H. Smith. bell, 5(2):72-87, 2000. [doi]

1999

Software Model CheckingGerard J. Holzmann, Margaret H. Smith. forte 1999: 481-497

A Practical Method for Verifying Event-Driven SoftwareGerard J. Holzmann, Margaret H. Smith. ICSE 1999: 597-607 [doi]

1998

Interval reduction through requirements analysisGerard J. Holzmann, Margaret H. Smith. bell, 3(2):22-31, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL