Implementation and evaluation of cross translation unit symbolic execution for C family languages.
Gábor HorváthPéter SzécsiZoltán GeraDániel KruppNorbert PatakiPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- symbolic execution
- specification language
- query translation
- test data generation
- test generation
- cross language information retrieval
- static analysis
- machine translation
- target language
- data flow
- statistical machine translation
- neural network
- test cases
- multi objective
- evolutionary algorithm
- training data
- case study