Edit CreatePerson: Vanderson Hafemann

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Family Name:
Given Name:
Title:
Phone:
Cell Phone:
Position:
Email:
Image:
Street Address:
Country:
Office:
Affiliation:
URL:
Revision Date:
Note:

Project:

Free text:

[[Category:Staff]]   {{ShowPerson}} == Research Interests == * [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]] {{InsertProjects}}  == Publications == * Test Reuse Strategy - Here is the [[Media:FM_2016_Vanderson_extended_v1.pdf|extended version of the paper]] with more details about the selection algorithm. Here is the [[Media:pack.zip|link]] to the experiment package. * Featured Finite State Machines - Here is the [[Media:Proofs_FFSM.pdf|PDF]] with detailed proofs of FFSM properties from the paper. Here is the [[Media:Experiment_Pack.zip|link]] to the experiment package.

Summary:

This is a minor edit Watch this page

Cancel

Edit CreatePerson: Vanderson Hafemann

Navigation menu

Views

Personal tools

Search

Tools