1. 2017
  2. Employing Run-time Static Analysis to Improve Concolic Execution

    Vandercammen, M. & De Roover, C., 5 Dec 2017, BElgian-NEtherlands Software eVOLution Symposium. CEUR Workshop Proceedings, Vol. 2047. p. 26-29 4 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  3. Modular Static Analysis of Actor Programs

    Stiévenart, Q., Nicolay, J., De Roover, C. & De Meuter, W., 5 Dec 2017. 5 p.

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  4. Untangling Source Code Changes Using Program Slicing

    Muylaert, W. & De Roover, C., 5 Dec 2017, p. 36-38. 3 p.

    Research output: Unpublished contribution to conferenceUnpublished abstractResearch

  5. Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

    Philips, L., De Koster, J., De Meuter, W. & De Roover, C., 1 Dec 2017, In : The Art, Science, and Engineering of Programming. 2, 2, 29 p., 3.

    Research output: Contribution to journalArticleResearchpeer-review

  6. Purity analysis for JavaScript through abstract interpretation

    Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., Dec 2017, In : Journal of Software: Evolution and Process. 29, 12, 34 p., e1889.

    Research output: Contribution to journalArticleResearchpeer-review

  7. Volume of Signaling Traffic Reaching Cellular Networks from Mobile Phones

    Oteyo, I. N. & Bainomugisha, E., 3 Nov 2017, 2017 IEEE AFRICON: Science, Technology and Innovation for Africa, AFRICON 2017. Cornish, D. R. (ed.). IEEE, p. 831-836 6 p. 8095590

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

  8. Dynamic Verification of Inter-parameter Constraints in Web Applications

    Oostvogels, N., 25 Oct 2017, (Unpublished).

    Research output: Unpublished contribution to conferencePosterResearch

  9. A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools

    Marr, S., Torres Lopez, C., Gonzalez Boix, E., Aumayr, D. & Mossenbock, H., 24 Oct 2017, 13th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2017). Ancona, D. (ed.). ACM, p. 3-14 12 p.

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

  10. A principled approach towards debugging communicating event-loops

    Torres Lopez, C., Gonzalez Boix, E., Scholliers, C., Marr, S. & Mossenbock, H., 23 Oct 2017, Proceeding AGERE 2017 Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control. Association for Computing Machinery (ACM), p. 41-49 9 p.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

  11. Dynamic Verification of Inter-parameter Constraints in Web Applications

    Oostvogels, N., De Koster, J. & De Meuter, W., 23 Oct 2017, (Unpublished). 2 p.

    Research output: Unpublished contribution to conferenceUnpublished paperResearch

Previous 1...3 4 5 6 7 8 9 10 ...40 Next

ID: 25292