A Provably Correct Stackless Intermediate Representation for Java ...
Refactoring of Security Antipatterns in Distributed Java Components
An Empirical Evaluation of Java Decompilation and Intellectual ...
An Empirical Evaluation of Java Decompilation and Intellectual ...
Machine Learning in the context of static application security testing
Proceedings of the 29th International Workshop on Concurrency ...
Automated Analysis of Software Artefacts ? A Use Case in E ...