Travelled to:1 × Russia
1 × Switzerland
1 × USA
Collaborated with:A.Møller Z.Su M.R.Prasad V.Raychev D.Dimitrov M.T.Vechev
Talks about:applic (2) event (2) autom (2) test (2) javascript (1) stateless (1) interfac (1) descript (1) sequenc (1) generat (1)
Person: Casper Svenning Jensen
DBLP: Jensen:Casper_Svenning
Contributed to:
2015
2013
2013Wrote 3 papers:
- OOPSLA-2015-JensenMRDV #model checking
- Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.
- ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web
- Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
- ISSTA-2013-JensenPM #automation #generative #sequence #testing
- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.