Casper Svenning Jensen

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Top Venues

Innov. Syst. Softw. Eng.

ESEC/SIGSOFT FSE

Publications

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev
Stateless model checking of event-driven applications. OOPSLA (2015)
Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
Automated testing with targeted event sequence generation. ISSTA (2013)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Casper Svenning Jensen, Anders Møller, Zhendong Su
Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE (2013)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen
Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT (2011)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
WCET analysis of Java bytecode featuring common execution environments. JTRES (2011)