Margaret H. Smith

According to our database, Margaret H. Smith authored at least 12 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Formal Analysis of Log Files.

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith

J. Aerosp. Comput. Inf. Commun., 2010

From scripts to specifications: the evolution of a flight software testing effort.

Alex Groce, Klaus Havelund, Margaret H. Smith

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Requirements Capture with RCAT.

Margaret H. Smith, Klaus Havelund

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Automated Testing of Planning Models.

Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2002

An Automated Verification Method for Distributed Systems Software Based on Model Extraction.

Gerard J. Holzmann, Margaret H. Smith

IEEE Trans. Software Eng., 2002

2001

Software model checking: extracting verification models from source code.

Gerard J. Holzmann, Margaret H. Smith

Softw. Test. Verification Reliab., 2001

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.

Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

Automating software feature verification.

Gerard J. Holzmann, Margaret H. Smith

Bell Labs Tech. J., 2000

1999

A Practical Method for Verifying Event-Driven Software.

Gerard J. Holzmann, Margaret H. Smith

Proceedings of the 1999 International Conference on Software Engineering, 1999

Software Model Checking.

Gerard J. Holzmann, Margaret H. Smith

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Interval reduction through requirements analysis.

Gerard J. Holzmann, Margaret H. Smith

Bell Labs Tech. J., 1998