Please use this identifier to cite or link to this item: https://rd.uffs.edu.br/handle/prefix/8103
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1Feitosa, Samuel da Silva-
dc.creatorFacchi, Bernardo Beltrame-
dc.date2024-06-28-
dc.date.accessioned2024-11-20T17:28:03Z-
dc.date.available2024-
dc.date.available2024-11-20T17:28:03Z-
dc.date.issued2024-
dc.identifier.urihttps://rd.uffs.edu.br/handle/prefix/8103-
dc.description.resumoDevelopers expect compilers to be correct. Unfortunately, these tools are not entirely bug-free. A failure introduced by the compiler could compromise a critical system and consequently have catastrophic consequences, specially in applications of great complexity, affecting both end users and developers. Such failures can lead to significant financial losses, security vulnerabilities, and a loss of trust in the software’s reliability. Therefore, testing and validating all the compiler functionalities to assure its correctness is essential given their importance in software development. In light of the given context, this paper describes a random code generation tool using Haskell that generates well-typed Elixir code by adhering to a specified syntax and typing rules, which serves as input for property-based tests, striving to contribute to the overall quality and dependability of software systems built using Elixir.pt_BR
dc.description.provenanceSubmitted by Biblioteca Chapeco (biblio.ch@uffs.edu.br) on 2024-11-14T22:20:55Z No. of bitstreams: 1 BELTRAME.pdf: 749868 bytes, checksum: 0550cc333f1730213a979c50f29ae9e6 (MD5)en
dc.description.provenanceApproved for entry into archive by Franciele Scaglioni da Cruz (franciele.cruz@uffs.edu.br) on 2024-11-20T17:28:03Z (GMT) No. of bitstreams: 1 BELTRAME.pdf: 749868 bytes, checksum: 0550cc333f1730213a979c50f29ae9e6 (MD5)en
dc.description.provenanceMade available in DSpace on 2024-11-20T17:28:03Z (GMT). No. of bitstreams: 1 BELTRAME.pdf: 749868 bytes, checksum: 0550cc333f1730213a979c50f29ae9e6 (MD5) Previous issue date: 2024en
dc.languageporpt_BR
dc.publisherUniversidade Federal da Fronteira Sulpt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCampus Chapecópt_BR
dc.publisher.initialsUFFSpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectGeração de códigopt_BR
dc.subjectMontadores e compiladorespt_BR
dc.subjectTeste e avaliação de softwarept_BR
dc.titleRandom elixir code generation applied to compiler testingpt_BR
dc.typeArtigo Cientificopt_BR
Appears in Collections:Ciência da Computação

Files in This Item:
File Description SizeFormat 
BELTRAME.pdf732.29 kBAdobe PDFView/Open
Show simple item record Recommend this item


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.