Casper Svenning Jensen

According to our database, Casper Svenning Jensen authored at least 6 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Stateless model checking of event-driven applications.

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013

Towards harnessing theories through tool support for hard real-time Java programming.

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

Innov. Syst. Softw. Eng., 2013

Server interface descriptions for automated testing of JavaScript web applications.

Casper Svenning Jensen, Anders Møller, Zhendong Su

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automated testing with targeted event sequence generation.

Casper Svenning Jensen, Mukul R. Prasad, Anders Møller

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2011

Bluetooth Indoor Positioning System Using Fingerprinting.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen

Proceedings of the Mobile Lightweight Wireless Systems, 2011

WCET analysis of Java bytecode featuring common execution environments.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011