Testing Based on Finite State Machines: Past, Present and Future
Adenilso Simao$^{1}$
$^{1}$University of Sao Paulo. São Carlos-SP Brazil
email: adenilso@icmc.usp.br

Schedule:Fri 23th@09:00, Room: A

State machines are among the simplest behavioral models which can be used for system modelling. Nonetheless, they are very expressive and have a long history in computing science. The first testing techniques based on this kind of models are from 50ties. Since then, several contributions have been proposed, including some recent results. In this talk, we are going to introduce the main concepts of testing based on state machines, in special, finite state machines. The main generation methods will be discussed. The state-of-the-art methods will be presented and future directions on this research area will be pointed out.

Short Biography Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). Desde 2004 é Professor da Universidade de São Paulo (atualmente, é Professor Associado Nível 2). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação.

BibTex

@InProceedings{CLEI-2015:KN-Adenilso,
	author 		= {Adenilso Simao},
	title 		= {Testing Based on Finite State Machines: Past, Present and Future},
	booktitle 	= {2015 XLI Latin American Computing Conference (CLEI), Special Edition},
	pages 		= {5--5},
	year 		= {2015},
	editor 		= {Universidad Católica San Pablo},
	address 	= {Arequipa-Peru},
	month 		= {October},
	organization 	= {CLEI},
	publisher 	= {CLEI},
	url 		= {http://clei.org/clei2015/KN-Adenilso},
	isbn 		= {978-9972-825-91-0},
	}