1. 2020
  2. A Large Empirical Assessment of the Role of Data Balancing in Machine-Learning-based Code Smell Detection

    De Roover, C., Nov 2020, In : Journal of Systems and Software. 169, 17 p., 110693.

    Research output: Contribution to journalArticle

  3. Abstract Congruence Criteria for Weak Bisimilarity

    Tsampas, S., Williams, C., Devriese, D. & Piessens, F., 15 Oct 2020, arXiv. 22 p.

    Research output: Book/ReportOther report

  4. Prioritising Server Side Reachability via Inter-process Concolic Testing

    Vandercammen, M., Christophe, L., Di Nucci, D., De Meuter, W. & De Roover, C., 1 Oct 2020, In : The Art, Science, and Engineering of Programming. 5, 2, 36 p.

    Research output: Contribution to journalArticle

  5. A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations

    De Bleser, J., Di Nucci, D. & De Roover, C., Oct 2020, Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test (AST2020). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  6. A Parallel Worklist Algorithm for Modular Analyses

    Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. Compositional Information Flow Analysis for WebAssembly Programs

    Stiévenart, Q. & De Roover, C., 27 Sep 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, p. 13-24 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution

    Opdebeeck, R., Zerouali, A., Velazquez Rodriguez, C. E. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. Incremental Flow Analysis through Computational Dependency Reification

    Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 25-36

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. MAF: A Framework for Modular Static Analysis of Higher-Order Languages

    Van Es, N., Van der Plas, J., Stiévenart, Q. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 37-42

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Leibniz equality is isomorphic to Martin-Lof identity, parametrically

    Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 17 Jun 2020, In : Journal of Functional Programming. 30, 14 p., e17.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...51 Next

ID: 25292