Scala-am: A modular static analysis framework Q Stiévenart, M Vandercammen, W De Meuter, C De Roover 2016 IEEE 16th International Working Conference on Source Code Analysis and …, 2016 | 13 | 2016 |
A formal foundation for trace-based JIT compilers M Vandercammen, J Nicolay, S Marr, J De Koster, T D'Hondt, ... Proceedings of the 13th International Workshop on Dynamic Analysis, 25-30, 2015 | 5 | 2015 |
Prioritising Server Side Reachability via Inter-process Concolic Testing M Vandercammen, L Christophe, D Di Nucci, W De Meuter, C De Roover arXiv preprint arXiv:2010.16303, 2020 | 2 | 2020 |
Inter-process Concolic Testing of Full-stack JavaScript Web Applications M Vandercammen PhD thesis, Vrije Universiteit Brussel, 2023 | 1 | 2023 |
Incrementalizing Abstract Interpretation. N Van Es, M Vandercammen, C De Roover BENEVOL, 31-35, 2017 | 1 | 2017 |
Improving trace-based jit optimisation using whole-program information M Vandercammen, C De Roover Proceedings of the 8th International Workshop on Virtual Machines and …, 2016 | 1 | 2016 |
The Essence of Meta-Tracing JIT Compilers M Vandercammen | 1 | 2015 |
FERRARI: FailurE Reproduction through automatic test cAse generation and stack tRace analysIs V Pontillo, M Vandercammen, S Verbelen, C De Roover | | 2024 |
Concolic Testing of Full-Stack JavaScript Applications. M Vandercammen, L Christophe, W De Meuter, C De Roover BENEVOL, 38-42, 2018 | | 2018 |
A flexible framework for studying trace-based just-in-time compilation M Vandercammen, S Marr, C De Roover Computer Languages, Systems & Structures 51, 22-47, 2018 | | 2018 |
Employing Run-time Static Analysis to Improve Concolic Execution. M Vandercammen, C De Roover BENEVOL, 26-29, 2017 | | 2017 |
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation M Vandercammen, Q Stiévenart, W De Meuter, C De Roover Grand Timely Topics in Software Engineering: International Summer School …, 2017 | | 2017 |
A Formal Foundation for Trace-Based JIT Compilation M Vandercammen, J Nicolay, C De Roover SPLASH 2015, 2015 | | 2015 |
State Merging for Concolic Testing of Event-Driven Applications M Vandercammen, C De Roover Available at SSRN 4713823, 0 | | |