@inproceedings{Damasceno:2019:LearningToReuse:iFM, author="Damasceno, Carlos Diego N. and Mousavi, Mohammad Reza and da Silva Simao, Adenilso", editor="Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth", title="Learning to Reuse: Adaptive Model Learning for Evolving Systems", booktitle="Integrated Formal Methods", year="2019", publisher="Springer International Publishing", address="Cham", pages="138--156", abstract="Software systems undergo several changes along their life-cycle and hence, their models may become outdated. To tackle this issue, we propose an efficient algorithm for adaptive learning, called {\$}{\$}{\backslash}mathtt {\{}partial{\backslash}text {\{}-{\}}Dynamic{\textasciitilde}L^*{\_}M{\}}{\$}{\$} ({\$}{\$}{\backslash}mathtt {\{}{\backslash}partial L^*{\_}M{\}}{\$}{\$}) that improves upon the state of the art by exploring observation tables on-the-fly to discard redundant prefixes and deprecated suffixes. Using 18 versions of the OpenSSL toolkit, we compare our proposed algorithm along with three adaptive algorithms. For the existing algorithms in the literature, our experiments indicate a strong positive correlation between number of membership queries and temporal distance between versions and; for our algorithm, we found a weak positive correlation between membership queries and temporal distance, as well, a significantly lower number of membership queries. These findings indicate that, compared to the state-of-the-art algorithms, our {\$}{\$}{\backslash}mathtt {\{}{\backslash}partial L^*{\_}M{\}}{\$}{\$} algorithm is less sensitive to software evolution and more efficient than the current approaches for adaptive learning.", isbn="978-3-030-34968-4", url = {http://doi.org/10.1007/978-3-030-34968-4_8}, doi = {10.1007/978-3-030-34968-4_8}, note = "[[PDF]](/publications/pdf/damascenoetal_ifm2019.pdf) [[Slide]](/publications/pdf/damascenoetal_ifm2019_slide.pdf)", } @inproceedings{Damasceno:2019:LearningFromFamilies:PhDiFM, author = {Damasceno, Carlos Diego N.}, title="Learning From Families: Inferring Behavioral Variability From Software Product Lines", booktitle = {Proceedings of the {PhD} {Symposium} at {iFM}’19 on {Formal} {Methods}: {Algorithms}, {Tools} and {Applications} ({PhD}-{iFM}’19)}, year="2020", location = {Bergen, Norway}, url = {https://hvlopen.brage.unit.no/hvlopen-xmlui/handle/11250/2719437}, language = {eng}, date = {2020-12-28}, institution = {Høgskulen på Vestlandet}, abstract = { Family models are behavioral specifications extended with variability constraints that enable efficient model-based analysis of software product lines (SPL). Albeit reasonably efficient, the creation and maintenance of family models are time-consuming and error-prone, especially if there are large models or crosscutting features. In this PhD project, we investigate the problem of learning family models from SPLs. Our initial contributions are two-fold: (1) partial-Dynamic L*M, a novel adaptive algorithm to speed up automata learning by exploring models from alternative software versions on-the-fly; and (2) FFSM_Diff, a fully automated technique to learn family models by comparing, merging and annotating finite state machines with variability constraints. Our experiments have shown that our techniques are more efficient than the state-of-the-art of adaptive learning in terms of queries and that succinct family models with fewer states can be learnt, especially if there is high feature reuse. We envisage that our studies can leverage model-based techniques to cases where models are non-existent or outdated and will scale better than independently exploring several versions of evolving systems or product models from configurable systems. }, note = "[[URL]](https://hvlopen.brage.unit.no/hvlopen-xmlui/bitstream/handle/11250/2719437/HVL_Rapport%2014_2020_Pun_Stolz.pdf#page=8) [[PDF]](/publications/pdf/damasceno_phdifm2019.pdf) [[Slide]](/publications/pdf/damasceno_phdifm2019_slide.pdf)", } @inproceedings{AraujoEtal:2019:royalSociety, author={H. L. S. Araujo and C. D. N. Damasceno and R. Dimitrova and G. Kefalidou and M. Mehtarizadeh and M. R. Mousavi and J. Onime and J. O. Ringert and J. M. Rojas and N. X. Verdezoto and S. Wali}, booktitle={2019 IEEE International Conferences on Ubiquitous Computing Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS)}, eventtitle = {2019 {IEEE} International Conferences on Ubiquitous Computing Communications ({IUCC}) and Data Science and Computational Intelligence ({DSCI}) and Smart Computing, Networking and Services ({SmartCNS})}, title={Trusted Autonomous Vehicles: an Interactive Exhibit}, year={2019}, pages={386-393}, publisher="IEEE", location = {Shenyang, China}, doi = {10.1109/IUCC/DSCI/SmartCNS.2019.00091}, url = {https://doi.org/10.1109/IUCC/DSCI/SmartCNS.2019.00091}, note = "[[URL]](https://doi.org/10.1109/IUCC/DSCI/SmartCNS.2019.00091) [[PDF]](/publications/pdf/araujoetal_dsci2019.pdf)", } @inproceedings{Damasceno:2019:LDA:3336294.3336307, author = {Damasceno, Carlos Diego N. and Mousavi, Mohammad Reza and Simao, Adenilso}, title = {Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Research]}, booktitle = {Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A}, series = {SPLC '19}, year = {2019}, month = {may}, isbn = {978-1-4503-7138-4}, location = {Paris, France}, pages = {10:1--10:12}, articleno = {10}, numpages = {12}, url = {http://doi.acm.org/10.1145/3336294.3336307}, doi = {10.1145/3336294.3336307}, acmid = {3336307}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {150% model, family model, model learning, software product lines}, abstract = {Substantial effort has been spent on extending specification notations and their associated reasoning techniques to software product lines (SPLs). Family-based analysis techniques operate on a single artifact, referred to as a family model, that is annotated with variability constraints. This modeling approach paves the way for efficient model-based testing and model checking for SPLs. Albeit reasonably efficient, the creation and maintenance of family models tend to be time consuming and error-prone, especially if there are crosscutting features. To tackle this issue, we introduce FFSMDiff, a fully automated technique to learn featured finite state machines (FFSM), a family-based formalism that unifies Mealy Machines from SPLs into a single representation. Our technique incorporates variability to compare and merge Mealy machines and annotate states and transitions with feature constraints. We evaluate our technique using 34 products derived from three different SPLs. Our results support the hypothesis that families of Mealy machines can be effectively merged into succinct FFSMs with fewer states, especially if there is high feature sharing among products. These indicate that FFSMDiff is an efficient family-based model learning technique.}, note = "[[URL]](http://doi.acm.org/10.1145/3336294.3336307) [[PDF]](/publications/pdf/damascenoetal_splc2019.pdf) [[Slide]](/publications/pdf/damascenoetal_splc2019_slide.pdf)", } @inproceedings{Damasceno:2019:LDA:Artifact, author = {Damasceno, Carlos Diego N. and Mousavi, Mohammad Reza and Simao, Adenilso}, title = {Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines [Artifact]}, booktitle = {Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A}, series = {SPLC '19}, year = {2019}, month = {mar}, location = {Paris, France}, note = "[[PDF]](/publications/pdf/damascenoetal_splc2019_artifact.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{Damasceno:2016:ETC:2973839.2973849, author = {Damasceno, Carlos Diego Nascimento and Masiero, Paulo Cesar and Simao, Adenilso}, title = {Evaluating Test Characteristics and Effectiveness of FSM-based Testing Methods on RBAC Systems}, booktitle = {Proceedings of the 30th Brazilian Symposium on Software Engineering}, series = {SBES '16}, year = {2016}, isbn = {978-1-4503-4201-8}, location = {Maring\á, Brazil}, pages = {83--92}, numpages = {10}, url = {http://doi.acm.org/10.1145/2973839.2973849}, doi = {10.1145/2973839.2973849}, acmid = {2973849}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Conformance Testing, Experiments, Finite state machine, Role-Based Access Control (RBAC)}, note = "[[PDF]](/publications/pdf/damascenoetal_sbes2016.pdf) [[Slide]](/publications/pdf/damascenoetal_sbes2016_slide.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{simaoetal:2017:wsmpi, author={Adenilso da Silva Simao and Andre Carvalho and Carlos Diego Nascimento Damasceno and Danniany dos Santos and Edson dos Santos Moreira and Fabio Tomita and Giovana Sachett Maia and Hanna Pamplona Hortencio and Idan Nakel and Isabela Peronti and Jamielli Tomaz Pereira and João Paulo Guardabaxo Siqueira and Jorge Francisco Cutigi and Landir Saviniec and Leandro Resende Mundim and Lucas Esperancini Moreira e Moreira and Luis Eduardo de Freitas and Luiz Henrique Cherri and Maria Carolina dos Santos and Marina Barisa de Oliveira and Misael Costa Junior and Pratibha Chandekar and Raínne Florisbelo Gonçalves and Renan Brito Butkeraites and Ricardo Gesuatto and Rohit Goel and Sergio Mendonça and Stevão Alves de Andrade and Thais Cardoso}, booktitle={3rd Workshop CeMEAI of Mathematical Solutions for Industrial Problems}, title={Testing enviroments and optimization: Amdocs}, year={2017}, publisher="CEPID/CeMEAI", location = {São Carlos-SP, Brazil}, URL = "https://drive.google.com/file/d/1DxkyPkkUqPZaHIHDtgYYrZ_wAEC6fbk2/view", note = "[[PDF]](/publications/pdf/simaoetal2017_wsmpi.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{damascenosimao:2017:eppc, author={Carlos Diego Nascimento Damasceno and Adenilso da Silva Simao}, booktitle={1o. Encontro Paulista dos Pós-graduandos em Computação (EPPC)}, title={Inference of Family Models for Software Product Line Testing}, year={2017}, publisher="ICMC-USP", location = {São Carlos-SP, Brazil}, note = "[[PDF]](/publications/pdf/damascenosimao2017_eppc.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{damasceno2017_prtzmpi_pt, author = {Carlos Diego Nascimento Damasceno and Paulo S. L. Souza and Adenilso Simao}, title = {Um Algoritmo Paralelo para Priorização de Testes Baseada em Similaridade usando OpenMPI}, booktitle = {Anais Estendidos da Escola Regional de Alto Desempenho de São Paulo (ERAD-SP)}, location = {0}, year = {2017}, keywords = {}, pages = {37--40}, publisher = {SBC}, address = {Porto Alegre, RS, Brasil}, html = {https://sol.sbc.org.br/index.php/eradsp/article/view/4361}, note = "[[PDF]](/publications/pdf/damascenoetal2017_eradsp.pdf) [[Slide]](/publications/pdf/damascenoetal2017_eradsp_slide.pdf) [[Poster]](/publications/pdf/damascenoetal2017_eradsp_poster.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{abdalla:2015:SLR, author={Gabriel Abdalla and Carlos Diego Nascimento Damasceno and Milena Guessi and Flavio Oquendo and Elisa Yumi Nakagawa}, booktitle={2015 IX Brazilian Symposium on Components, Architectures and Reuse Software}, title={A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems}, year={2015}, volume={}, number={}, pages={70-79}, abstract={Systems-of-Systems are a class of systems composed of diverse, independent constituent systems. Together, these constituents can accomplish missions that otherwise could not be performed by any of them separately. In another perspective, knowledge representation approaches can assist in the establishment of a common understanding in this field by formalizing and standardizing the main terms and concepts adopted. In spite of the relevance of SoS, a consolidated terminology which could support the community working with such systems is still missing. Furthermore, the multiplicity of stakeholders, technologies, and expertise involved in an SoS makes the need of a common understanding even more imperative. In this study, we report on the main findings of a systematic literature review covering knowledge representation approaches in the SoS field. With this study, we are able to present a comprehensive panorama of the knowledge representation approaches that are currently adopted. Even though a consolidated terminology is not available yet, such panorama can be helpful for devising a common, comprehensive terminology for the SoS field. Therefore, we conclude this paper with directions for future work.}, keywords={knowledge representation;knowledge representation approaches;systems-of-systems;SoS field;diverse independent constituent systems;Ontologies;System of systems;Interoperability;Terminology;Taxonomy;Modeling;Systems-of-Systems;Knowledge Representation;Ontology;Terminology;Systematic Literature Review}, doi={10.1109/SBCARS.2015.18}, month={Sep.}, note = "[[PDF]](/publications/pdf/abdallaetal_sbcars2015.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @InProceedings{damasceno:2014:RS:TSBM, Title = {Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos}, Author = {Damasceno, Carlos Diego Nascimento and Delamaro, Márcio Eduardo and Simão, Adenilso da Silva}, booktitle = {Anais do Workshop Brasileiro de Testes de Software Automatizados e Sistemático - CBSoft - Congresso Brasileiro de Software: Teoria e Prática}, Year = {2014}, Address = {Porto Alegre}, Pages = {31--40}, Publisher = {SBC}, doi = "http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf", Location = {Maceió, AL, Brasil}, note = "[[PDF]](/publications/pdf/damascenoetal2014_sast.pdf) [[Slide]](/publications/pdf/damascenoetal2014_sast_slide.pdf)", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @InProcedings{damasceno2011, author = {Damasceno, C. D. N. and Moutinho, E. R. and Lobato, F. M. F. and Oliveira, I. I. and Franca, A. S. and Santana, A. L.}, title = {SimCleaner - Sistema de Padronizacao de Bases de Dados utilizando Funcoes de Similaridade}, journal = { XIV Semana de Inform\'atica (SEMINF) e Escola Regional de Inform\'atica Norte (ERIN)}, year = {2011}, booktitle = {Anais da XIV Semana de Informática (SEMINF) e Escola Regional de Informática Norte (ERIN)}, note = "[[PDF]](/publications/pdf/damascenoetal2011_erin.pdf)", address = {Belém - PA}, } @InProceedings{lobato2011, Author = { Lobato, F. M. F. and Damasceno, C. D. and Machado, P. L. and Ribeiro-Dos-Santos, A. and Darnet, S. H. and Goncalves, A. N. A. and Alencar, D. O. and Santana, A. L.}, Title = {Abordagem probabilística para análise de confiabilidade de dados gerados em sequenciamentos multiplex na plataforma ABI SOLiD}, Journal = { XLIII Simpósio Brasileiro de Pesquisa Operacional }, booktitle = {Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2011)}, Year = {2011}, Address = {Ubatuba - SP}, doi = {http://www.din.uem.br/sbpo/sbpo2011/pdf/87903.pdf}, note = "[[PDF]](/publications/pdf/lobatoetal2011_sbpo2011.pdf)", }