A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction.

Kento Emoto Frédéric Loulergue Julien Tesson

Published in: ITP (2014)

Keyphrases

generation method
knowledge extraction
information extraction
distributed memory
parallel processing
shared memory
computer programs
automatically generate
set of test cases
runtime environment
computer architecture
automatically extracted
machine learning
test data
test cases
open source
information retrieval