My research interests include: dynamic program analysis, symbolic execution, model checking and testing. I have been conducting an experiment on the usage of Selenium, all the experiment's data are available at http://soft.vub.ac.be/~lachrist/icsme14/. Recently, I developed an infrastructure to build meta-level systems targeting JavaScript programs ; demo available at: http://soft.vub.ac.be/~lachrist/aran/demo/demo.html (Firefox strongly recommended).