Search for persons
X
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
4
FuSeBMC_IA: Interval Analysis and Methods for Test Case Gen..:
, In:
?
Proceedings of the XXVII Brazilian Symposium on Programming Languages ,
5
Análise comparativa entre linguagens de programação em sist..:
, In:
?
2022 XVLIII Latin American Computer Conference (CLEI) ,
7
Solving real urban VRPTW instances by applying a Branch-Cut..:
, In:
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9
ESBMC-Jimple: verifying Kotlin programs via jimple intermed..:
, In:
?
2021 XLVII Latin American Computing Conference (CLEI) ,
12
Optimal scheduling of arborescences using the Gangal-Ranade..:
, In:
?
2021 XLVII Latin American Computing Conference (CLEI) ,
13
Improvement of SARS-CoV-2 macromolecule conformation by alg..:
, In:
?
Proceedings of the 19th Brazilian Symposium on Human Factors in Computing Systems ,
14
Enhanced interaction : audience engagement in entertainm..:
, In:
?
Proceedings of the 19th Brazilian Symposium on Human Factors in Computing Systems ,
15