A carregar...

Legion: Best-First Concolic Testing (Competition Contribution)

Legion is a grey-box coverage-based concolic tool that aims to balance the complementary nature of fuzzing and symbolic execution to achieve the best of both worlds. It proposes a variation of Monte Carlo tree search (MCTS) that formulates program exploration as sequential decision-making under unce...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Fundamental Approaches to Software Engineering
Main Authors: Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I. P.
Formato: Artigo
Idioma:Inglês
Publicado em: 2020
Assuntos:
Acesso em linha:https://ncbi.nlm.nih.gov/pmc/articles/PMC7418122/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45234-6_31
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!