Powered by
Conference Publishing Consulting

2014 International Symposium on Software Testing and Analysis (ISSTA), July 21–25, 2014, San Jose, CA, USA

ISSTA 2014 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

A B C D E F G H I J K L M N O P R S T V W X Y Z

Acher, Mathieu ISSTA'14: "A Variability-Based Testing ..."
Aiken, Alex ISSTA'14: "Verifying Atomicity via Data ..."
Alférez, Mauricio ISSTA'14: "A Variability-Based Testing ..."
Alipour, Mohammad Amin ISSTA'14-DEMO: "MuCheck: An Extensible Tool ..." ISSTA'14: "Using Test Case Reduction ..."
Alkhalaf, Muath ISSTA'14: "Semantic Differential Repair ..."
Allier, Simon ISSTA'14: "Tailored Source Code Transformations ..."
Alshahwan, Nadia ISSTA'14: "Coverage and Fault Detection ..." ISSTA'14: "Automated Testing for SQL ..."
Appelt, Dennis ISSTA'14: "Automated Testing for SQL ..."
Arcuri, Andrea ISSTA'14-DEMO: "Extending a Search-Based Test ..."
Arlt, Stephan ISSTA'14: "Reducing GUI Test Suites via ..."
Aydin, Abdulbaki ISSTA'14: "Semantic Differential Repair ..."
Balakrishnan, Gogul ISSTA'14: "ARC++: Effective Typestate ..."
Baudry, Benoit ISSTA'14: "Tailored Source Code Transformations ..." ISSTA'14: "A Variability-Based Testing ..."
Benavides, David ISSTA'14: "A Variability-Based Testing ..."
Bishop, Judith ISSTA'14-DEMO: "Constructing Coding Duels ..."
Böhme, Marcel ISSTA'14: "CoREBench: Studying Complexity ..."
Briand, Lionel C. ISSTA'14: "Identifying Optimal Trade-Offs ..." ISSTA'14: "Automated Testing for SQL ..."
Bronson, Nathan ISSTA'14: "Verifying Atomicity via Data ..."
Bultan, Tevfik ISSTA'14: "Semantic Differential Repair ..."
Cadar, Cristian ISSTA'14: "Covrig: A Framework for the ..."
Cando, Adam ISSTA'14-DEMO: "Legend: An Agile DSL Toolset ..."
Chandra, Satish ISSTA'14: "Robust Test Automation using ..."
Chen, Meixian ISSTA'14-DOC: "Reusing Constraint Proofs ..."
Chen, Zhenyu ISSTA'14: "Virtual DOM Coverage for Effective ..."
Cheung, Shing-Chi ISSTA'14: "CrashLocator: Locating Crashing ..."
Chhetri, Deepak ISSTA'14: "ARC++: Effective Typestate ..."
Clause, James ISSTA'14: "Integrated Energy-Directed ..." ISSTA'14: "Lightweight Automated Detection ..."
Cotroneo, Domenico ISSTA'14: "An Empirical Study of Injected ..."
De Halleux, Jonathan ISSTA'14-DEMO: "Constructing Coding Duels ..."
Ernst, Michael D. ISSTA'14-DEMO: "Defects4J: A Database of Existing ..." ISSTA'14-DEMO: "A Format String Checker for ..." ISSTA'14: "A Type System for Format Strings ..." ISSTA'14: "Empirically Revisiting the ..." ISSTA'14: "Efficient Mutation Analysis ..."
Fedyukovich, Grigory ISSTA'14: "Verification-Aided Regression ..."
Ferrara, Pietro ISSTA'14: "Hybrid Security Analysis of ..."
Fraser, Gordon ISSTA'14-DEMO: "Extending a Search-Based Test ..." ISSTA'14: "Efficient Mutation Analysis ..."
Galeotti, Juan Pablo ISSTA'14-DEMO: "Extending a Search-Based Test ..."
Galindo, José A. ISSTA'14: "A Variability-Based Testing ..."
Gao, Zebao ISSTA'14: "Virtual DOM Coverage for Effective ..."
Gopinath, Rahul ISSTA'14-DEMO: "MuCheck: An Extensible Tool ..."
Gotlieb, Arnaud ISSTA'14: "FLOWER: Optimal Test Suite ..."
Groce, Alex ISSTA'14-DEMO: "MuCheck: An Extensible Tool ..." ISSTA'14: "Using Test Case Reduction ..."
Gross, Thomas R. ISSTA'14: "Performance Regression Testing ..."
Gueta, Guy Golan ISSTA'14: "Verifying Atomicity via Data ..."
Gupta, Aarti ISSTA'14: "ARC++: Effective Typestate ..."
Halfond, William G. J. ISSTA'14: "Integrated Energy-Directed ..."
Harman, Mark ISSTA'14: "Coverage and Fault Detection ..."
Henderson, Andrew ISSTA'14: "Make It Work, Make It Right, ..."
Hosek, Petr ISSTA'14: "Covrig: A Framework for the ..."
Hu, Xunchao ISSTA'14: "Make It Work, Make It Right, ..."
Huggler, Markus ISSTA'14: "Performance Regression Testing ..."
Hyvärinen, Antti E. J. ISSTA'14: "Verification-Aided Regression ..."
Ivančić, Franjo ISSTA'14: "ARC++: Effective Typestate ..."
Jalali, Darioush ISSTA'14-DEMO: "Defects4J: A Database of Existing ..." ISSTA'14: "Empirically Revisiting the ..."
Jiang, Lingxiao ISSTA'14: "Scalable Detection of Missed ..."
Jin, Yuchen ISSTA'14: "Integrated Energy-Directed ..."
Just, René ISSTA'14-DEMO: "Defects4J: A Database of Existing ..." ISSTA'14-DEMO: "The Major Mutation Framework: ..." ISSTA'14: "Efficient Mutation Analysis ..."
Khoo, Siau-Cheng ISSTA'14: "Efficient Predicated Bug Signature ..." ISSTA'14: "Scalable Detection of Missed ..."
Khurshid, Sarfraz ISSTA'14: "Feedback-Driven Dynamic Invariant ..."
Kim, Gene ISSTA'14-DEMO: "A Format String Checker for ..." ISSTA'14: "A Type System for Format Strings ..."
Kim, Sunghun ISSTA'14: "CrashLocator: Locating Crashing ..."
King, Tariq M. ISSTA'14-DEMO: "Legend: An Agile DSL Toolset ..."
Ko, In-Young ISSTA'14: "Dodona: Automated Oracle Data ..."
Kulkarni, Sandeep S. ISSTA'14: "Automatic Repair for Multi-threaded ..."
Lam, Wing ISSTA'14: "Empirically Revisiting the ..."
Lanzaro, Anna ISSTA'14: "An Empirical Study of Injected ..."
Le, Duc ISSTA'14-DEMO: "MuCheck: An Extensible Tool ..."
Li, Ding ISSTA'14: "Integrated Energy-Directed ..."
Lin, Yiyan ISSTA'14: "Automatic Repair for Multi-threaded ..."
Loyola, Pablo ISSTA'14: "Dodona: Automated Oracle Data ..."
Mack, Cody ISSTA'14-DEMO: "Legend: An Agile DSL Toolset ..."
Maeda, Naoto ISSTA'14: "ARC++: Effective Typestate ..."
Mariani, Leonardo ISSTA'14: "Link: Exploiting the Web of ..." ISSTA'14: "Verification-Aided Regression ..."
Marijan, Dusica ISSTA'14: "FLOWER: Optimal Test Suite ..."
Marinescu, Paul ISSTA'14: "Covrig: A Framework for the ..."
Mesbah, Ali ISSTA'14: "DOM-Based Test Adequacy Criteria ..."
Milea, Narcisa Andreea ISSTA'14: "Scalable Detection of Missed ..."
Mirshokraie, Shabnam ISSTA'14-DOC: "Effective Test Generation ..."
Mirzaaghaei, Mehdi ISSTA'14: "DOM-Based Test Adequacy Criteria ..."
Monperrus, Martin ISSTA'14: "Tailored Source Code Transformations ..."
Muhammad, Ali ISSTA'14: "Verification-Aided Regression ..."
Muşlu, Kıvanç ISSTA'14: "Empirically Revisiting the ..."
Natella, Roberto ISSTA'14: "An Empirical Study of Injected ..."
Nejati, Shiva ISSTA'14: "Identifying Optimal Trade-Offs ..."
Nguyen, Cu Duy ISSTA'14: "Automated Testing for SQL ..."
Nistor, Adrian ISSTA'14: "SunCat: Helping Developers ..."
Notkin, David ISSTA'14: "Empirically Revisiting the ..."
Nunez, Gabriel ISSTA'14-DEMO: "Legend: An Agile DSL Toolset ..."
Orso, Alessandro ISSTA'14-DEMO: "X-PERT: A Web Application ..." ISSTA'14: "Cross-Platform Feature Matching ..."
Pastore, Fabrizio ISSTA'14: "Verification-Aided Regression ..."
Person, Suzette ISSTA'14: "Feedback-Driven Dynamic Invariant ..."
Pezzè, Mauro ISSTA'14: "Link: Exploiting the Web of ..."
Pistoia, Marco ISSTA'14: "Hybrid Security Analysis of ..."
Podelski, Andreas ISSTA'14: "Reducing GUI Test Suites via ..."
Pradel, Michael ISSTA'14: "Performance Regression Testing ..."
Prakash, Aravind ISSTA'14: "Make It Work, Make It Right, ..."
Prasad, Mukul R. ISSTA'14-DEMO: "X-PERT: A Web Application ..." ISSTA'14: "Cross-Platform Feature Matching ..."
Ravindranath, Lenin ISSTA'14: "SunCat: Helping Developers ..."
Riganelli, Oliviero ISSTA'14: "Link: Exploiting the Web of ..."
Roth, Andreas ISSTA'14-DEMO: "ProCrawl: Mining Test Models ..."
Rothermel, Gregg ISSTA'14: "Dodona: Automated Oracle Data ..."
Roy Choudhary, Shauvik ISSTA'14-DEMO: "X-PERT: A Web Application ..." ISSTA'14: "Cross-Platform Feature Matching ..."
Roychoudhury, Abhik ISSTA'14: "CoREBench: Studying Complexity ..."
Rungta, Neha ISSTA'14: "Feedback-Driven Dynamic Invariant ..."
Sagiv, Mooly ISSTA'14: "Verifying Atomicity via Data ..."
Sahin, Cagri ISSTA'14: "Integrated Energy-Directed ..."
Santiago, Dionny ISSTA'14-DEMO: "Legend: An Agile DSL Toolset ..."
Santoro, Mauro ISSTA'14: "Link: Exploiting the Web of ..."
Schur, Matthias ISSTA'14-DEMO: "ProCrawl: Mining Test Models ..."
Sehestedt, Stephan ISSTA'14: "Verification-Aided Regression ..."
Shacham, Ohad ISSTA'14: "Verifying Atomicity via Data ..."
Sharygina, Natasha ISSTA'14: "Verification-Aided Regression ..."
Sinha, Saurabh ISSTA'14: "Robust Test Automation using ..."
Srisakaokul, Siwakorn ISSTA'14-DEMO: "A Format String Checker for ..." ISSTA'14: "A Type System for Format Strings ..."
Staats, Matt ISSTA'14: "Dodona: Automated Oracle Data ..."
Sun, Chengnian ISSTA'14: "Efficient Predicated Bug Signature ..."
Suri, Neeraj ISSTA'14: "An Empirical Study of Injected ..."
Thummalapenta, Suresh ISSTA'14: "Robust Test Automation using ..."
Tillmann, Nikolai ISSTA'14-DEMO: "Constructing Coding Duels ..."
Tripp, Omer ISSTA'14: "Hybrid Security Analysis of ..."
Vechev, Martin ISSTA'14: "Verifying Atomicity via Data ..."
Wang, Chao ISSTA'14: "Runtime Prevention of Concurrency ..."
Wang, Jiteng ISSTA'14-DEMO: "Canalyze: A Static Bug-Finding ..."
Wang, Xujiewen ISSTA'14: "Make It Work, Make It Right, ..."
Wehrle, Martin ISSTA'14: "Reducing GUI Test Suites via ..."
Weitz, Konstantin ISSTA'14-DEMO: "A Format String Checker for ..." ISSTA'14: "A Type System for Format Strings ..."
Winter, Stefan ISSTA'14: "An Empirical Study of Injected ..."
Wu, Rongxin ISSTA'14: "CrashLocator: Locating Crashing ..."
Wuttke, Jochen ISSTA'14: "Empirically Revisiting the ..."
Xiao, Xusheng ISSTA'14: "ARC++: Effective Typestate ..."
Xie, Tao ISSTA'14-DEMO: "Constructing Coding Duels ..."
Xu, Zhenbo ISSTA'14-DEMO: "Canalyze: A Static Bug-Finding ..."
Xu, Zhongxing ISSTA'14-DEMO: "Canalyze: A Static Bug-Finding ..."
Yahav, Eran ISSTA'14: "Verifying Atomicity via Data ..."
Yan, Lok Kwong ISSTA'14: "Make It Work, Make It Right, ..."
Yandrapally, Rahulkrishna ISSTA'14: "Robust Test Automation using ..."
Yang, Guowei ISSTA'14: "Feedback-Driven Dynamic Invariant ..."
Yin, Heng ISSTA'14: "Make It Work, Make It Right, ..."
Zeller, Andreas ISSTA'14-DEMO: "ProCrawl: Mining Test Models ..."
Zhang, Benwen ISSTA'14: "Lightweight Automated Detection ..."
Zhang, Chaoqiang ISSTA'14: "Using Test Case Reduction ..."
Zhang, Hongyu ISSTA'14: "CrashLocator: Locating Crashing ..."
Zhang, Jian ISSTA'14-DEMO: "Canalyze: A Static Bug-Finding ..."
Zhang, Lingming ISSTA'14: "Feedback-Driven Dynamic Invariant ..."
Zhang, Lu ISSTA'14: "Runtime Prevention of Concurrency ..."
Zhang, Sai ISSTA'14: "Empirically Revisiting the ..."
Zhang, Xiangyu ISSTA'14: "Virtual DOM Coverage for Effective ..."
Zheng, Yunhui ISSTA'14: "Virtual DOM Coverage for Effective ..."
Zhou, Rundong ISSTA'14: "Make It Work, Make It Right, ..."
Zou, Yunxiao ISSTA'14: "Virtual DOM Coverage for Effective ..."
Zuo, Zhiqiang ISSTA'14-DOC: "Efficient Statistical Debugging ..." ISSTA'14: "Efficient Predicated Bug Signature ..."

148 authors

proc time: 0.24