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 | 24 | 2016 |
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 | 20 | 2019 |
Hierarchical featured state machines VH Fragal, A Simao, MR Mousavi Science of Computer Programming 171, 67-88, 2019 | 9 | 2019 |
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 | 8 | 2017 |
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 | 7 | 2013 |
Application engineering for embedded systems-transforming sysml specification to Simulink within a product-line based approach VH Fragal, RF Silva, IMS Gimenes, EAO Júnior International Conference on Enterprise Information Systems 2, 94-101, 2013 | 6 | 2013 |
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 | 4 | 2011 |
Automatic generation of configurable test-suites for software product lines V Hafemann Fragal Halmstad University Press, 2018 | 2 | 2018 |
Engenharia de aplicação para sistemas embarcados: transformando especificações SysML em Simulink VH Fragal Universidade Estadual de Maringá, 2013 | 1 | 2013 |
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 | 1 | 2011 |
A SysML-based Approach for Developing Embedded Systems Software Product Lines RF Silva, VH Fragal, EAO Junior, IMS Gimenes, F Oquendo | | 2013 |