Aarhus University Seal / Aarhus Universitets segl

Casper Svenning Jensen

  1. 2015
  2. Published

    Automated Testing of Event-Driven Applications. / Jensen, Casper Svenning.

    Department of Computer Science, Aarhus University, 2015. 163 p.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  3. Published

    Stateless Model Checking of Event-Driven Applications. / Jensen, Casper Svenning; Møller, Anders; Raychev, Veselin; Dimitrov, Dimitar; Vechev, Martin.

    OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. p. 57-73 (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. 2013
  5. Published

    Automated Testing with Targeted Event Sequence Generation. / Jensen, Casper Svenning; Prasad, Mukul R.; Møller, Anders.

    International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings. ed. / Mauro Pezzè; Mark Harman. Association for Computing Machinery, 2013. p. 67-77.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Server Interface Descriptions for Automated Testing of JavaScript Web Applications. / Jensen, Casper Svenning; Møller, Anders; Su, Zhendong.

    Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 . ed. / Bertrand Meyer; Luciano Baresi; Mira Mezini . Association for Computing Machinery, 2013. p. 510-520 .

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  7. 2012
  8. Published

    Improving Tools for JavaScript Programmers (Position Paper). / Andreasen, Esben; Feldthaus, Asger; Jensen, Simon Holm; Jensen, Casper S.; Jonsson, Peter A.; Madsen, Magnus; Møller, Anders.

    2012. Paper presented at International Workshop on Scripts to Programs, Beijing, China.

    Research output: Contribution to conferencePaperResearchpeer-review