Type Analysis for JavaScript. - Simon Holm Jensen; Anders Møller; Peter Thiemann 001 (SAS, 2009)

Interprocedural Analysis with Lazy Propagation. - Simon Holm Jensen; Anders Møller; Peter Thiemann 001 (SAS, 2010)

A framework for automated testing of javascript web applications. - Shay Artzi; Julian Dolby; Simon Holm Jensen; Anders Møller; Frank Tip (ICSE, 2011)

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. - Simon Holm Jensen; Magnus Madsen; Anders Møller (SIGSOFT FSE, 2011)

Remedying the eval that men do. - Simon Holm Jensen; Peter A. Jonsson; Anders Møller (ISSTA, 2012)

Test Generation from Business Rules. - Simon Holm Jensen; Suresh Thummalapenta; Saurabh Sinha; Satish Chandra 001 (ICST, 2015)

MemInsight: platform-independent memory debugging for JavaScript. - Simon Holm Jensen; Manu Sridharan; Koushik Sen; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)