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
2762013
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
702015
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
212013
Bluetooth indoor positioning system using fingerprinting
C Frost, CS Jensen, KS Luckow, B Thomsen, R Hansen
Mobile Lightweight Wireless Systems: Third International ICST Conference …, 2012
212012
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, 17-28, 2013
112013
Constructing event sequences in event-driven programs
MR Prasad, CS Jensen
US Patent 8,683,494, 2014
62014
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
62012
B. homsen,“
R Hansen, R Wind, CS Jensen
Seamless indoor/outdoor positioning handover for location-based services in …, 2009
52009
Automated Testing of Event-Driven Applications
CS Jensen
Department of 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
Improving Tools for JavaScript Programmers (Position Paper)
E Andreasen, A Feldthaus, SH Jensen, CS Jensen, PA Jonsson, ...
2012
The system can't perform the operation now. Try again later.
Articles 1–12