Difference between revisions of "Vanderson Hafemann"
From CERES
| Line 25: | Line 25: | ||
== Publications == | == 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. | + | * 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. | * 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.
