Zobrazeno 1 - 10
of 96
pro vyhledávání: '"Adenilso Simao"'
Publikováno v:
Heliyon, Vol 10, Iss 5, Pp e27278- (2024)
Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These networks have numerous applications, including functional enrichment, discove
Externí odkaz:
https://doaj.org/article/6288991348144cdc968b9cab46f83809
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-10 (2021)
Abstract Identifying significantly mutated genes in cancer is essential for understanding the mechanisms of tumor initiation and progression. This task is a key challenge since large-scale genomic studies have reported an endless number of genes muta
Externí odkaz:
https://doaj.org/article/2e76dee92a5d42cab49b80c1f6072f83
Publikováno v:
CLEI Electronic Journal, Vol 22, Iss 3 (2019)
We are proud to introduce the special issue with extended versions of selected papers presented in the 43rd Latin American Conference in Informatics (CLEI 2018).
Externí odkaz:
https://doaj.org/article/aba8242720b44d46b1d85d72dd0d0a52
Autor:
Adenilso Simao, Alexandre Petrenko
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 141, Iss Proc. MBT 2014, Pp 56-70 (2014)
Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called ioco-relation. However, generating tests for ioco is usually hindered
Externí odkaz:
https://doaj.org/article/1b6742028b404337abb9bcc953790b63
Publikováno v:
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea366846fdef9d7bf1303b1d25217295
https://doi.org/10.1109/icstw58534.2023.00020
https://doi.org/10.1109/icstw58534.2023.00020
Publikováno v:
Anais do XXII Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2022).
Several computational methods allow identifying genes related to cancer (driver mutation) through patient mutation data and biological networks. Usually, networks are not built focusing on biological activities associated with cancer because they are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c58b95de130ee895774960f3d194057
https://doi.org/10.5753/sbcas.2022.222457
https://doi.org/10.5753/sbcas.2022.222457
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The effectiveness of model-based testing (MBT) is mainly due to its potential for automation. If the model is formal and machine-readable, test cases can be derived automatically. One of the most used formal modeling techniques is the interpretation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8968bd394af92d22d13a11f011498452
https://doi.org/10.1007/s11219-020-09531-0
https://doi.org/10.1007/s11219-020-09531-0
Publikováno v:
Testing Software and Systems ISBN: 9783031046728
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dcc8a4ecb973573c35930fd895d166d
https://doi.org/10.1007/978-3-031-04673-5_7
https://doi.org/10.1007/978-3-031-04673-5_7
Autor:
Ana Cavalcanti, Adenilso Simao
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The process algebra CSP has been studied as a notation for model-based testing. Theoretical and practical work has been developed using its trace and failure semantics, and their refinement notions as conformance relations. Two sets of tests have bee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf290826713551d697710084b106f89f
https://doi.org/10.1007/s11219-018-9431-9
https://doi.org/10.1007/s11219-018-9431-9
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Family-based behavioral analysis operates on a single specification artifact, referred to as family model, annotated with feature constraints to express behavioral variability in terms of conditional states and transitions. Family-based behavioral mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c4321b08a4929f15d5e764ed00a361b
https://doi.org/10.1007/s10664-020-09912-w
https://doi.org/10.1007/s10664-020-09912-w