VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq.

Bernd Fischer Salvatore La Torre Gennaro Parlato

Published in: ASE (2019)

Keyphrases

multi threaded
operating system
source code
multi core processors
multithreading
database systems
information flow
computer architecture
genetic algorithm
low cost
genetic programming