Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Régis Tissot
Latest
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
Generating Tests from B Specifications and Test Purposes
Cite
×