SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

Yoshiki Takashima Ruben Martins Limin Jia Corina S. Pasareanu

Published in: PLDI (2021)

Keyphrases

program synthesis
recursive programs
np hard
databases
artificial intelligence
digital libraries
semi automatic
text mining
inductive logic programming