| Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013 | 270 | 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 | 68 | 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 | 29 | 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 | 21 | 2013 |
| 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 | 20 | 2012 |
| 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 | 10 | 2013 |
| Constructing event sequences in event-driven programs MR Prasad, CS Jensen US Patent 8,683,494, 2014 | 6 | 2014 |
| 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 | 5 | 2009 |
| Automated Testing of Event-Driven Applications CS Jensen Department of Computer Science, Aarhus University, 2015 | 1 | 2015 |
| 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 |
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
