Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Casper Svenning Jensen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
Automated Testing of Event-Driven Applications
Jensen, C. S., 4 jan. 2015, Department of Computer Science, Aarhus University. 163 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
Fil5159 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, s. 57-73 17 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang33 Citationer (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. (red.). Association for Computing Machinery, s. 67-77 11 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
170 Citationer (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. (red.). Association for Computing Machinery, s. 510-520 11 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
8 Citationer (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 s.Publikation: Konferencebidrag › Paper › Forskning › peer review