Shay Artzi , Julian Dolby , Salvatore A Guarnieri , Simon H Jensen
Simon Holm Jensen , Anders Møller , Peter Thiemann
static analysis symposium 6337 320 -339
Simon Holm Jensen , Magnus Madsen , Anders Møller
foundations of software engineering 59 -69
Simon Holm Jensen , Anders Møller , Peter Thiemann ,
static analysis symposium 238 -255
Simon Holm Jensen , Suresh Thummalapenta , Saurabh Sinha , Satish Chandra
international conference on software testing verification and validation 1 -10
Simon Holm Jensen , Manu Sridharan , Koushik Sen , Satish Chandra
foundations of software engineering 345 -356
Shay Artzi , Julian Dolby , Simon Holm Jensen , Anders Møller
international conference on software engineering 571 -580
Simon Holm Jensen , Peter A. Jonsson , Anders Møller
Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 34 -44
Khalid Zaman Bijon , Thierry Cruanes , Simon Holm Jensen , Allison Waingold Lee
Khalid Zaman Bijon , Thierry Cruanes , Simon Holm Jensen , Allison Waingold Lee
Jennifer Wenjun Bi , Khalid Zaman Bijon , Damien Carru , Thierry Cruanes
Khalid Zaman Bijon , Thierry Cruanes , Simon Holm Jensen , Allison Waingold Lee
Esben Andreasen , Asger Feldthaus , Simon Holm Jensen , Casper S Jensen
Proc. of International Workshop on Scripts to Programs. Beijing, China:[sn] 67 -82
Esben Andreasen , Asger Feldthaus , Simon Holm Jensen , Casper S Jensen
International Workshop on Scripts to Programs (STOP 2012)
Benoit Dageville , Johan Harjono , Simon Holm Jensen , Kunal Prafulla Nabar
Matthias Carl Adams , Simon Holm Jensen , Spyridon Triantafyllis
Benoit Dageville , Johan Harjono , Simon Holm Jensen , Kunal Prafulla Nabar
Matthias Adams , Simon Holm Jensen , Spyridon Triantafyllis
Matthias Carl Adams , Simon Holm Jensen , Spyridon Triantafyllis
Simon Holm Jensen
Datalogisk Institut, Aarhus Universitet