Difference between revisions of "Vanderson Hafemann"
From CERES
| (13 intermediate revisions by one user not shown) | |||
| Line 3: | Line 3: | ||
|Given Name=Vanderson | |Given Name=Vanderson | ||
|Title=M.Sc. | |Title=M.Sc. | ||
| − | |Cell Phone= | + | |Cell Phone=+46 0729 773621 |
|Position=Ph.D. Student | |Position=Ph.D. Student | ||
|Email=vanderson.hafemann@hh.se | |Email=vanderson.hafemann@hh.se | ||
| + | |Image=foto.jpg | ||
|Street Address=Boreliusgatan 5 | |Street Address=Boreliusgatan 5 | ||
|Country=Sweden | |Country=Sweden | ||
|Office=E327 | |Office=E327 | ||
| + | |url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann | ||
}} | }} | ||
[[Category:Staff]] | [[Category:Staff]] | ||
| Line 14: | Line 16: | ||
<!-- __NOTOC__ --> | <!-- __NOTOC__ --> | ||
{{ShowPerson}} | {{ShowPerson}} | ||
| + | |||
| + | == Research Interests == | ||
| + | * [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]] | ||
| + | |||
| + | |||
{{InsertProjects}} | {{InsertProjects}} | ||
<!-- {{PublicationsList}} --> | <!-- {{PublicationsList}} --> | ||
| − | Here is the | + | == 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. | ||
Latest revision as of 14:18, 31 May 2016
Vanderson Hafemann, Ph.D. Student, M.Sc.
Family Name: Hafemann Fragal
Given Name: Vanderson
Role: Ph.D. Student
Title: M.Sc.
Subject:
Organization:
Email: vanderson.hafemann@hh.se
url: http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
Phone:
Cell Phone: +46-0729-773621
Research Interests
Projects:
Publications
- Test Reuse Strategy - Here is the extended version of the paper with more details about the selection algorithm. Here is the link to the experiment package.
