Follow
Vanderson Hafemann Fragal
Vanderson Hafemann Fragal
Ph.D Candidate on Computer Science at University of São Paulo and Halmstad University
Verified email at icmc.usp.br
Title
Cited by
Cited by
Year
Validated test models for software product lines: Featured finite state machines
V Hafemann Fragal, A Simao, MR Mousavi
International Workshop on Formal Aspects of Component Software, 210-227, 2016
212016
Extending HSI test generation method for software product lines
VH Fragal, A Simao, MR Mousavi, UC Turker
The Computer Journal 62 (1), 109-129, 2019
172019
Hierarchical featured state machines
VH Fragal, A Simao, MR Mousavi
Science of Computer Programming 171, 67-88, 2019
82019
Reducing the concretization effort in fsm-based testing of software product lines
VH Fragal, A Simao, AT Endo, MR Mousavi
2017 IEEE International Conference on Software Testing, Verification and …, 2017
82017
SyMPLES: A sysml-based approach for developing embedded systems software product lines
R Silva, V Fragal, E Oliveira-Junior, I Gimenes, F Oquendo
15th International Conference on Enterprise Information Systems (ICEIS 2013 …, 2013
72013
Application Engineering for Embedded Systems-Transforming SysML Specification to Simulink within a Product-Line based Approach.
VH Fragal, RF da Silva, IM de Souza Gimenes, EAO Junior
ICEIS (2), 94-101, 2013
62013
Mapping software product line features to unmanned aerial vehicle models
VH Fragal, EAO Junior, IM Gimenes
1st Brazilian Conference on Critical Embedded Systems, 49-54, 2011
42011
Automatic generation of configurable test-suites for software product lines
V Hafemann Fragal
Halmstad University Press, 2018
22018
Engenharia de aplicação para sistemas embarcados: transformando especificações SysML em Simulink
VH Fragal
Universidade Estadual de Maringá, 2013
12013
O estabelecimento de contratos eletrônicos com o ambiente FeatureContract
VH Fragal, MM Fantinato, I Gimenes, L Martimiano, MB Toledo
Revista Eletrônica de Iniciação Científica em Computação 11 (1), 2011
12011
Application Engineering for Embedded Systems
VH Fragal, RF Silva, IMS Gimenes, EAO Júnior
2013
A SysML-based Approach for Developing Embedded Systems Software Product Lines
RF Silva, VH Fragal, EAO Junior, IMS Gimenes, F Oquendo
2013
The system can't perform the operation now. Try again later.
Articles 1–12