Publikationer pr. år
Publikationer pr. år
- 3 resultater
Søgeresultater
-
2015
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) -
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. (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)