Vanderson Hafemann - Revision history

Ceres at 13:18, 31 May 2016

2016-05-31T13:18:45Z

2016-05-31T12:53:26Z

2016-05-31T12:23:07Z

2016-05-04T08:54:36Z

2016-04-29T14:22:12Z

2016-04-29T14:20:25Z

2016-04-29T14:19:56Z

2016-04-29T14:14:44Z

2016-04-29T14:10:24Z

2016-04-29T14:04:17Z

@@ Line 25: / Line 25: @@
 == 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.

@@ Line 25: / Line 25: @@
 == Publications ==
-* Test Reuse Strategy - Here is the  detailed selection algorithm based on properties presented in the P method. Here is the  to the experiment package.
+* 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.
 * 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.

← Older revision		Revision as of 12:23, 31 May 2016
Line 25:		Line 25:

	== Publications ==		== Publications ==
		+	* Test Reuse Strategy - Here is the detailed selection algorithm based on properties presented in the P method. Here is the 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.

@@ Line 6: / Line 6: @@
 |Position=Ph.D. Student
 |Email=vanderson.hafemann@hh.se
 |Street Address=Boreliusgatan 5
 |Country=Sweden

@@ Line 9: / Line 9: @@
 |Country=Sweden
 |Office=E327
 |url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
 }}
@@ Line 19: / Line 18: @@
 == Research Interests ==
 * [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
@@ Line 28: / Line 23: @@
 <!-- {{PublicationsList}} -->
-== Paper Submission Info ==
+== Publications ==
 * 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.