E-LIB Suche - Ergebnisse für: Carvalho, Luiz

1

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Carvalho, Luiz ; Degiovanni, Renzo ; Cordy, Maxime... - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

2

SPEcBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Carvalho, Luiz ; Degiovanni, Renzo ; Cordy, Maxime... - p. 1508-1520 , 2024

Link: https://doi.org/10.1145/..

3

On the Usefulness of Automatically Generated Microservice A..:

Carvalho, Luiz ; Colanzi, Thelma Elita ; Assunção, Wesley K. G....
IEEE Transactions on Software Engineering. 50 (2024) 3 - p. 651-667 , 2024

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

4

Milled premolar crown margin defect detection using multipl..:

Rice, Dwight ; Carvalho, Luiz ; Becker, Ryan..
Oral Surgery, Oral Medicine, Oral Pathology and Oral Radiology. 135 (2023) 2 - p. e51 , 2023

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

5

ACoRe: Automated Goal-Conflict Resolution:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Carvalho, Luiz ; Degiovanni, Renzo ; Brizzio, Matías... - p. 3-25 , 2023

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

6

Accuracy evaluation of two portable blood glucose meters in..:

Moresco, Maurício Bianchini ; Matesco, Viviana Cauduro ; Martins, Francisco Sávio de Moura...
Ciência Rural. 53 (2023) 10 - p. , 2023

Link: https://doi.org/10.1590/..

7

Re-engineering Legacy Systems as Microservices: An Industri..:

, In: Handbook of Re-Engineering Software Intensive Systems into Software Product Lines,

Carvalho, Luiz ; Garcia, Alessandro ; Assunção, Wesley K. G.... - p. 471-494 , 2022

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

8

Assessment of selegiline and trilostane combined therapy ef..:

de Carvalho, Guilherme Luiz Carvalho ; Meirelles, Luana ; da Silva, Carolina Castilhos...
Research in Veterinary Science. 150 (2022) - p. 107-114 , 2022

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

9

Analysis of a many-objective optimization approach for iden..:

Assunção, Wesley K. G. ; Colanzi, Thelma Elita ; Carvalho, Luiz...
Empirical Software Engineering. 27 (2022) 2 - p. , 2022

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

10

Cognitive dysfunction severity evaluation in dogs with natu..:

da Silva, Carolina Castilhos ; Cavalcante, Ingrid ; de Carvalho, Guilherme Luiz Carvalho.
Journal of Veterinary Behavior. 46 (2021) - p. 74-78 , 2021

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

11

A Relação entre Regurgitação Mitral e Implante Transcateter..:

Cunha, Luciana de Cerjat Bernardes P. da ; Guerios, Enio Eduardo ; Cunha, Claudio Leinig Pereira da...
Arquivos Brasileiros de Cardiologia. 116 (2021) 6 - p. 1059-1069 , 2021

Link: https://doi.org/10.36660..

12

Path analysis under multiple-trait BLUP: application in the..:

Alves, Rodrigo ; Rocha, João ; Teodoro, Larissa...
Revista de la Facultad de Ciencias Agrarias UNCuyo. 53 (2021) 1 - p. 1-10 , 2021

Link: https://doi.org/10.48162..

13

Canine endogenous adrenocorticotrophic hormone preanalytica..:

Pöppl, Álan Gomes ; Silva, Carolina Castilhos da ; Carvalho, Guilherme Luiz Carvalho de..
Ciência Rural. 51 (2021) 1 - p. , 2021

Link: https://doi.org/10.1590/..

14

Search-based many-criteria identification of microservices ..:

, In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion,

Carvalho, Luiz ; Garcia, Alessandro ; Colanzi, Thelma Elita... - p. 305-306 , 2020

Link: https://dl.acm.org/doi/1..

15

On the Performance and Adoption of Search-Based Microservic..:

, In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Carvalho, Luiz ; Garcia, Alessandro ; Colanzi, Thelma Elita... - p. 569-580 , 2020

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