@inproceedings{wmlk-2018-faster,
    title = "Faster Variational Execution with Transparent Bytecode Transformation",
    author = "Wong, Chu-Pan and Meinicke, Jens and Lazarek, Lukas and Kästner, Christian",
    year = "2018",
    booktitle = "ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)",
            
}