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

Feitosa, Samuel da Silva; Ribeiro, Rodrigo; Bois, André Rauber Du

doi:10.1016/j.scico.2020.102494

Cited by 4 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A criação de ferramentas para gerar programas aleatórios válidos é uma tarefa árdua, uma vez que é difícil implementar um gerador para programas que são aceitos pelo compilador. A produção de um caso de teste válido e útil deve respeitar uma série de restrições, como por exemplo a correta sintaxe e as regras do sistema de tipos em linguagens estaticamente tipadas [4]. Uma abordagem interessante é utilizar as regras formais do sistema de tipos para gerar apenas programas bem tipados e armazenálos em árvores de sintaxe abstrata (ASTs) da linguagem alvo [5].…”

Section: Referencial Teórico 21 Geração De Código Baseada Em Tiposunclassified

See 1 more Smart Citation

Desenvolvimento de um Gerador de Programas Aleatórios em Java

Kraus

Schafaschek

Feitosa

2021

Anais Do XII Computer on the Beach - COTB '21

View full text Add to dashboard Cite

With great advances in the computer science area where technologicalsystems are becoming more and more complex, tests are hardto perform. The problem is even more serious in critical systems,such as flight control or nuclear systems, where an error can causecatastrophic damage in our society. Currently, two techniques areoften used for software validation: testing and software verification.This project aims the testing area, generating random programs tobe used as input to property-based tests, in order to detect errorsin systems and libraries, minimizing the possibility of errors. Morespecifically, Java programs will be automatically generated from existentclasses and interfaces, considering all syntactic and semanticconstraints of the language.

show abstract

Section: Referencial Teórico 21 Geração De Código Baseada Em Tiposunclassified

“…Um dos trabalhos pioneiros utiliza a biblioteca QuickCheck e gera código Haskell [5]. Também existem soluções propostas especificamente para a geração aleatória de código Java [4,7,8].…”

Section: Trabalhos Relacionadosunclassified