Follow
Casper Svenning Jensen
Casper Svenning Jensen
Graduared Ph.D., Aarhus University
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
Automated Testing with Targeted Event Sequence Generation
CS Jensen, MR Prasad, A Møller
International Symposium on Software Testing and Analysis, 2013
2462013
Stateless model checking of event-driven applications
CS Jensen, A Møller, V Raychev, D Dimitrov, M Vechev
ACM SIGPLAN Notices 50 (10), 57-73, 2015
592015
Wcet analysis of java bytecode featuring common execution environments
C Frost, CS Jensen, KS Luckow, B Thomsen
Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011
302011
Server interface descriptions for automated testing of JavaScript web applications
CS Jensen, A Møller, Z Su
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
202013
Bluetooth indoor positioning system using fingerprinting
C Frost, CS Jensen, KS Luckow, B Thomsen, R Hansen
International Conference on Mobile Lightweight Wireless Systems, 136-150, 2011
162011
Towards harnessing theories through tool support for hard real-time Java programming
T Bøgholm, C Frost, RR Hansen, CS Jensen, KS Luckow, AP Ravn, ...
Innovations in Systems and Software Engineering 9 (1), 17-28, 2013
112013
Constructing event sequences in event-driven programs
MR Prasad, CS Jensen
US Patent 8,683,494, 2014
52014
Improving tools for javascript programmers
E Andreasen, A Feldthaus, SH Jensen, CS Jensen, PA Jonsson, ...
Proc. of International Workshop on Scripts to Programs. Beijing, China:[sn …, 2012
42012
Automated Testing of Event-Driven Applications
CS Jensen
Department Office Computer Science, Aarhus University, 2015
12015
Towards harnessing theories through tool support for hard real-time Java programming
H Søndergaard, T Bøgholm, C Frost, RR Hansen, CS Jensen, KS Luckow, ...
Innovations in Systems and Software Engineering 8, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–10