Saving the world wide web from vulnerable JavaScript
- Salvatore Guarnieri
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Publications
Date
Featured collections
Popular topics
64 results for Julian Dolby
A framework for automated testing of JavaScript web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2011
- ICSE 2011
Refactoring Java programs for flexible locking
- Max Schäfer
- Manu Sridharan
- et al.
- 2011
- ICSE 2011
Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer
Directed test generation for effective fault localization
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ISSTA 2010
Practical fault localization for dynamic web applications
- Shay Artzi
- Julian Dolby
- et al.
- 2010
- ICSE 2010
MemSAT: Checking axiomatic specifications of memory models
- Emina Torlak
- Mandana Vaziri
- et al.
- 2010
- PLDI 2010
Finding bugs in web applications using dynamic test generation and explicit-state model checking
- Shay Artzi
- Adam Kiezun
- et al.
- 2010
- IEEE TSE
Scalable highly expressive reasoner (SHER)
- Julian Dolby
- Achille Fokoue
- et al.
- 2009
- Journal of Web Semantics
Modular string-sensitive permission analysis with demand-driven precision
- Emmanuel Geay
- Marco Pistoia
- et al.
- 2009
- ICSE 2009