Research output per year
Research output per year
Fingerprint
Dive into the research topics where Casper Svenning Jensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Automated Testing of Event-Driven Applications
Jensen, C. S., 4 Jan 2015, Department of Computer Science, Aarhus University. 163 p.Research output: Book/anthology/dissertation/report › Ph.D. thesis
File5159 Downloads (Pure) -
Stateless Model Checking of Event-Driven Applications
Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M., 2015, OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, p. 57-73 17 p. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access33 Citations (Scopus) -
Automated Testing with Targeted Event Sequence Generation
Jensen, C. S., Prasad, M. R. & Møller, A., 2013, International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings. Pezzè, M. & Harman, M. (eds.). Association for Computing Machinery, p. 67-77 11 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
170 Citations (Scopus) -
Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Jensen, C. S., Møller, A. & Su, Z., 2013, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 . Meyer, B., Baresi, L. & Mezini , M. (eds.). Association for Computing Machinery, p. 510-520 11 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
8 Citations (Scopus) -
Improving Tools for JavaScript Programmers (Position Paper)
Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A., 2012. 9 p.Research output: Contribution to conference › Paper › Research › peer-review