Sai - PDFSEARCH.IO - Document Search Engine

Sai
Results: 4177

#	Item
1	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 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Debugging Aspect-oriented software development Aspect-oriented programming Delta debugging Extreme programming Software testing Debugger Software bug AspectJ Spring Framework
2	Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
3	Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Debugging Delta debugging Complement system
4	Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software bug Debugging
5	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Computer programming Software engineering Java Widget toolkits Cross-platform software Concurrent computing Swing Thread Debugging D Event dispatching thread
6	LNCSA Lightweight and Portable Approach to Making Concurrent Failures Reproducible Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Concurrency control Computing Computer programming Edsger W. Dijkstra System software Concurrency Transaction processing Concurrent computing Monitor Lock Thread Synchronization
7	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Software Aspect-oriented software development Debugging Aspect-oriented programming Programming paradigms AspectJ Delta debugging Software bug Debugger Computer programming
8	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 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software engineering Computing Computer programming Object-oriented programming Method High-level programming languages Functional languages Programming languages Inheritance Method overriding Factory Polymorphism
9	Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Data management Information retrieval Computing SQL keywords SQL Query languages Database management systems Database theory Select Null Update Join
10	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy

UPDATE