Abstrakt. Vi presenterar det första symboliska utförandet och det automatiska testgenereringsverktyget för C++-program. Först beskriver vi vårt arbete med att utöka ett befintligt symboliskt exekveringsverktyg för C-program för att hantera C++-program. Vi visar sedan hur vi gjorde detta verktyg generiskt, effektivt och användbart för att hantera verkliga industriella tillämpningar. Nya funktioner inkluderar utökad symbolisk virtuell maskin, bibliotek optimering för C och C++, objektnivå utförande och resonemang, gränssnitt med specifik typ av effektiva lösare, och halvautomatisk enhet och komponent testning. Detta verktyg används för att hjälpa validering och testning av industriell programvara samt allmänt tillgängliga program skrivna med hjälp av C++-språket.
Närbesläktat med CREST är KLOVER REF ett symboliskt exekveringsverktyg och automatiskt testgenereringsverktyg för C++-program.
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}