Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013 | 276 | 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 | 70 | 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 | 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 | 21 | 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 | 11 | 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 |