Casper Svenning Jensen

Casper Svenning Jensen

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1464274
Aarhus Universitet
person_outline Casper Svenning Jensen's MOST POPULAR ARTICLES
1-) Automated Testing with Targeted Event Sequence GenerationCS Jensen, MR Prasad, A MøllerInternational Symposium on Software Testing and Analysis, 20132502013
2-) Stateless model checking of event-driven applicationsCS Jensen, A Møller, V Raychev, D Dimitrov, M VechevACM SIGPLAN Notices 50 (10), 57-73, 2015612015
3-) Wcet analysis of java bytecode featuring common execution environmentsC Frost, CS Jensen, KS Luckow, B ThomsenProceedings of the 9th International Workshop on Java Technologies for Real …, 2011302011
4-) Server interface descriptions for automated testing of JavaScript web applicationsCS Jensen, A Møller, Z SuProceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013212013
5-) Bluetooth indoor positioning system using fingerprintingC Frost, CS Jensen, KS Luckow, B Thomsen, R HansenMobile Lightweight Wireless Systems: Third International ICST Conference …, 2012212012