Login / Signup
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version).
Felipe Rodrigues Monteiro Sousa
Lucas C. Cordeiro
Eddie Batista de Lima Filho
Published in:
CoRR (2015)
Keyphrases
</>
main contribution
bounded model checking
genetic algorithm
data sets
dynamic programming
probabilistic model
lightweight
conceptual framework