Research output per year
Research output per year
Search results
-
2015
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) -
2013
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) -
2012
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