A framework for automated testing of javascript web applications von Artzi, Shay, Dolby, Julian, Jensen, Simon Holm, Møller, Anders, Tip, Frank

Volltext

Finding concurrency-related bugs using random isolation von Kidd, Nicholas, Reps, Thomas, Dolby, Julian, Vaziri, Mandana

Volltext

DataRinse: Semantic Transforms for Data Preparation Based on Code Mining von Abdelaziz, Ibrahim, Dolby, Julian, Khurana, Udayan, Samulowitz, Horst, Srinivas, Kavitha

Volltext

A scalable AutoML approach based on graph neural networks von Helali, Mossad, Mansour, Essam, Abdelaziz, Ibrahim, Dolby, Julian, Srinivas, Kavitha

Volltext

A Study of Call Graph Construction for JVM-Hosted Languages von Ali, Karim, Lai, Xiaoni, Luo, Zhaoyi, Lhotak, Ondrej, Dolby, Julian, Tip, Frank

Volltext

Efficiently Refactoring Java Applications to Use Generic Libraries von Fuhrer, Robert, Tip, Frank, Kieżun, Adam, Dolby, Julian, Keller, Markus

Volltext

Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints von Rak‐amnouykit, Ingkarat, Milanova, Ana, Baudart, Guillaume, Hirzel, Martin, Dolby, Julian

Volltext

Z3str2: an efficient solver for strings, regular expressions, and length constraints von Zheng, Yunhui, Ganesh, Vijay, Subramanian, Sanu, Tripp, Omer, Berzish, Murphy, Dolby, Julian, Zhang, Xiangyu

Volltext

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking von Artzi, S, Kiezun, A, Dolby, J, Tip, F, Dig, D, Paradkar, A, Ernst, M D

Volltext

Fault Localization for Dynamic Web Applications von Artzi, S., Dolby, J., Tip, F., Pistoia, M.

Volltext

QED: Out-of-the-Box Datasets for SPARQL Query Evaluation von Thost, Veronika, Dolby, Julian

Volltext

Dynamic detection of atomic-set-serializability violations von Hammer, C., Dolby, J., Vaziri, M., Tip, F.

Volltext

Efficient construction of approximate call graphs for JavaScript IDE services von Feldthaus, Asger, Schafer, Max, Sridharan, Manu, Dolby, Julian, Tip, Frank

Volltext

Scalable highly expressive reasoner (SHER) von Dolby, Julian, Fokoue, Achille, Kalyanpur, Aditya, Schonberg, Edith, Srinivas, Kavitha

Volltext

Type-Based Call Graph Construction Algorithms for Scala von Ali, Karim, Rapoport, Marianna, Lhoták, Ondřej, Dolby, Julian, Tip, Frank

Volltext

Correlation tracking for points-to analysis of javascript von Sridharan, Manu, Dolby, Julian, Chandra, Satish, Schäfer, Max, Tip, Frank

Volltext

A Data-Centric Approach to Synchronization von DOLBY, Julian, HAMMER, Christian, MARINO, Daniel, TIP, Frank, VAZIRI, Mandana, VITEK, Jan

Volltext

Practical fault localization for dynamic web applications von Artzi, Shay, Dolby, Julian, Tip, Frank, Pistoia, Marco

Volltext

CLAP: recording local executions to reproduce concurrency failures von Huang, Jeff, Zhang, Charles, Dolby, Julian

Volltext

Customization of Java Library Classes Using Type Constraints and Profile Information von De Sutter, Bjorn, Tip, Frank, Dolby, Julian

Volltext