Generating Well-Typed Terms That Are Not “Useless”
J Frank, B Quiring, L Lampropoulos - Proceedings of the ACM on …, 2024 - dl.acm.org
Random generation of well-typed terms lies at the core of effective random testing of
compilers for functional languages. Existing techniques have had success following a top …
compilers for functional languages. Existing techniques have had success following a top …
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória
Desenvolvido pelo Facebook em 2012, o GraphQL tem se tornado uma alternativa popular
para os desenvolvedores na construção de suas APIs Web. Sua principal característica é …
para os desenvolvedores na construção de suas APIs Web. Sua principal característica é …
Intelligent unit testing: how reasoning can improve automated testing
M Konstantinou - 2023 - studenttheses.uu.nl
The thesis provides an alternative approach to automated software testing. This novel ap-
proach is based on an intelligent BDI agent that is later extended in a multi-agent …
proach is based on an intelligent BDI agent that is later extended in a multi-agent …
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars
EM Cardoso, DF Pereira, RSMA De Paula… - Proceedings of the …, 2022 - dl.acm.org
PEGs are recognition formalism proposed by Brian Ford to describe top-down recursive
parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing …
parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing …