"Blue Collar Formal Methods" in Commercial Quality Assurance

[article]
Summary:

There are many areas in commercial QA where Formal Methods (FM) could make useful contributions, yet there has not been a lot of focus by the FM community on commercial QA in a "real-world" setting. This paper focuses on these methods.

There are many areas in commercial QA where Formal Methods (FM) could make useful contributions, yet there has not been a lot of focus by the FM community on commercial QA in a "real-world" setting. This paper focuses on these methods.

About the author

StickyMinds is one of the growing communities of the TechWell network.

Featuring fresh, insightful stories, TechWell.com is the place to go for what is happening in software development and delivery.  Join the conversation now!