Use este identificador para citar ou linkar para este item: https://rd.uffs.edu.br/handle/prefix/8103
Registro completo de metadados
Campo DCValorIdioma
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
Aparece nas coleções:Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
BELTRAME.pdf732,29 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Recomendar este item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.