| Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013 | 274 | 2013 |
| 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 | 75 | 2015 |
| 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 | 30 | 2011 |
| 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 | 22 | 2013 |
| 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 | 21 | 2011 |
| 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 | 11 | 2013 |
| Constructing event sequences in event-driven programs MR Prasad, CS Jensen US Patent 8,683,494, 2014 | 6 | 2014 |
| A. Møller, A.: Automated testing with targeted event sequence generation C Jensen, M Prasad Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 6 | 2013 |
| 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 | 6 | 2012 |
| B. homsen,“ R Hansen, R Wind, CS Jensen Seamless indoor/outdoor positioning handover for location-based services in …, 2009 | 6 | 2009 |
| Automated Testing of Event-Driven Applications CS Jensen Department of Computer Science, Aarhus University, 2015 | 1 | 2015 |
| Improving Tools for JavaScript Programmers (Position Paper) E Andreasen, A Feldthaus, SH Jensen, CS Jensen, PA Jonsson, ... | 1 | 2012 |
| 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 |