A type-directed algorithm to generate random well-typed Java 8 programs.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFeitosa, Samuel da Silva-
Autor(es): dc.creatorRibeiro, Rodrigo Geraldo-
Autor(es): dc.creatorBois, André Rauber Du-
Data de aceite: dc.date.accessioned2025-08-21T15:53:58Z-
Data de disponibilização: dc.date.available2025-08-21T15:53:58Z-
Data de envio: dc.date.issued2022-02-14-
Data de envio: dc.date.issued2022-02-14-
Data de envio: dc.date.issued2019-
Fonte completa do material: dc.identifierhttp://www.repositorio.ufop.br/jspui/handle/123456789/14493-
Fonte completa do material: dc.identifierhttps://www.sciencedirect.com/science/article/abs/pii/S0167642320301039?via%3Dihub-
Fonte completa do material: dc.identifierhttps://doi.org/10.1016/j.scico.2020.102494-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1026918-
Descrição: dc.descriptionProperty-based testing of compilers or programming language semantics is difficult to accomplish because it is hard to design a random generator for valid programs. Most compiler test tools do not have a well-specified way for generating type-correct programs, which is a requirement for such testing activities. In this project, we formalize a typedirected procedure to generate random well-typed Java 8 programs in the context of Featherweight Java, extending it with interfaces, λ-expressions and default methods. We implement the approach using the Haskell programming language and verify it against relevant properties using QuickCheck, a library for property-based testing.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languageen-
Direitos: dc.rightsrestrito-
Palavras-chave: dc.subjectFeatherweight Java-
Palavras-chave: dc.subjectProperty-based testing-
Palavras-chave: dc.subjectQuickCheck-
Título: dc.titleA type-directed algorithm to generate random well-typed Java 8 programs.-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.