dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Simon Holm Jensen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip: A framework for automated testing of javascript web applications. ICSE 2011: 571-580
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Holm Jensen, Magnus Madsen, Anders Møller: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. SIGSOFT FSE 2011: 59-69
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Holm Jensen, Anders Møller, Peter Thiemann: Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Holm Jensen, Anders Møller, Peter Thiemann: Type Analysis for JavaScript. SAS 2009: 238-255

Selection of 4 from 4 records - Simon Holm Jensen has 6 coauthors

Last update 2012-02-17 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page