Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Computing
• Debugging
• Aspect-oriented software development
• Aspect-oriented programming
• Delta debugging
• Extreme programming
• Software testing
• Debugger
• Software bug
• AspectJ
• Spring Framework

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

Source URL: zhang-sai.github.io

Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008

Source URL: zhang-sai.github.io

• Debugging
• Delta debugging
• Complement system

Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington

Source URL: zhang-sai.github.io

• Software bug
• Debugging

Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Computer programming
• Software engineering
• Java
• Widget toolkits
• Cross-platform software
• Concurrent computing
• Swing
• Thread
• Debugging
• D
• Event dispatching thread

LNCSA Lightweight and Portable Approach to Making Concurrent Failures Reproducible

Source URL: zhang-sai.github.io

• Concurrency control
• Computing
• Computer programming
• Edsger W. Dijkstra
• System software
• Concurrency
• Transaction processing
• Concurrent computing
• Monitor
• Lock
• Thread
• Synchronization

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

Source URL: zhang-sai.github.io

• Software development
• Computing
• Software
• Aspect-oriented software development
• Debugging
• Aspect-oriented programming
• Programming paradigms
• AspectJ
• Delta debugging
• Software bug
• Debugger
• Computer programming

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Information retrieval
• Computing
• SQL keywords
• SQL
• Query languages
• Database management systems
• Database theory
• Select
• Null
• Update
• Join

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy