E-LIB Suche - Ergebnisse für: Da Silva Simao, Adenilso - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Learning to Reuse: Adaptive Model Learning for Evolving Sys..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Damasceno, Carlos Diego N. ; Mousavi, Mohammad Reza ; da Silva Simao, Adenilso - p. 138-156 , 2019

Link: https://doi.org/10.1007/..

2

Impact of the Vendor Lock-in Problem on Testing as a Servic..:

, In: 2017 IEEE International Conference on Cloud Engineering (IC2E),

Ramos De Oliveira, Ricardo ; Martins, Rafael Messias ; Da Silva Simao, Adenilso - p. 190-196 , 2017

Link: https://doi.org/10.1109/..

3

A Systematic Mapping Study on Test Generation from Input/Ou..:

, In: 2015 41st Euromicro Conference on Software Engineering and Advanced Applications,

Da Costa Paiva, Sofia Larissa ; Da Silva Simao, Adenilso - p. 333-340 , 2015

Link: https://doi.org/10.1109/..

4

Event- and Coverage-Based Testing of Web Services:

, In: 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion,

Endo, Andre Takeshi ; Linschulte, Michael ; da Silva Simao, Adenilso. - p. 62-69 , 2010

Link: https://doi.org/10.1109/..

5

Learning by sampling: learning behavioral family models fro..:

Damasceno, Carlos Diego Nascimento ; Mousavi, Mohammad Reza ; Simao, Adenilso da Silva
Empirical Software Engineering. 26 (2021) 1 - p. , 2021

Link: https://doi.org/10.1007/..

6

Feature Subset Selection and Instance Filtering for Cross-p..:

Simao, Adenilso Da Silva ; Porto, Faimison
CLEI Electronic Journal. , 2016

Link: https://doi.org/10.19153..

7

Preface to the special issues devoted to CLEI 2015:

Tupac, Yván ; Tirado, Francisco ; Simao, Adenilso Da Silva...
CLEI Electronic Journal. , 2016

Link: https://doi.org/10.19153..

8

A Generalized Model-Based Test Generation Method:

, In: 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods,

Bonifácio, Adilson Luiz ; Moura, Arnaldo Vieira ; Simão, Adenilso da Silva - p. None , 2008

Link: https://doi.org/10.1109/..

9

Towards Deriving Test Sequences by Model Checking:

Bonifácio, Adilson Luiz ; Moura, Arnaldo Vieira ; Simão, Adenilso da Silva.
Electronic Notes in Theoretical Computer Science. 195 (2008) - p. 21-40 , 2008

Link: https://doi.org/10.1016/..

10

PROLOG & TXL: A Case Study for Prototyping Structural Testi..:

Sugeta, Tatiana ; Simao, Adenilso da Silva ; Maldonado, Jose Carlos.
CLEI Electronic Journal. 5 (2002) 1 - p. , 2002

Link: https://doi.org/10.19153..

11

Feature Subset Selection and Instance Filtering for Cross-p..:

Faimison Porto ; Adenilso da Silva Simao
http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/428. , 2016

Link: https://doi.org/10.19153..

12

Preface to the special issues devoted to CLEI 2015:

Hernán Astudillo ; Dennis Barrios-Aranibar ; Guillermo E. Calderón Ruiz...
http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/415. , 2016

Link: https://doi.org/10.19153..

13

PROLOG & TXL: A Case Study for Prototyping Structural Testi..:

Tatiana Sugeta ; Adenilso da Silva Simao ; Jose Carlos Maldonado.
https://www.clei.org/cleiej/index.php/cleiej/article/view/360. , 2002

Link: https://doi.org/10.19153..

14

A practical approach for testing timed deterministic finite..:

El-Fakih, Khaled ; Yevtushenko, Nina V ; Simao, Adenilso da Silva
vtls:000471150. , 2014

Link: https://doi.org/10.1016/..

15

Generating Reduced Tests for FSMs using a Search-Based Test..:

, In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI),

Ramada, Mariana Soller ; de Lima, Telma Woerle ; Soares, Anderson da Silva. - p. 400-407 , 2019

Link: https://doi.org/10.1109/..

1-15