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 ..." A Variability-Based Testing Approach for Synthesizing Video Sequences José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides (INRIA, France; University of Rennes 1, France; University of Seville, Spain) @InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:
	Aiken, Alex	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Alférez, Mauricio	ISSTA '14: "A Variability-Based Testing ..." A Variability-Based Testing Approach for Synthesizing Video Sequences José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides (INRIA, France; University of Rennes 1, France; University of Seville, Spain) @InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:
	Alipour, Mohammad Amin	ISSTA '14: "MuCheck: An Extensible Tool ..." MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce (Oregon State University, USA) @InProceedings{ISSTA14p561, author = {Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce}, title = {MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2014}, } Article: issta14demo-demoid7-p doi: ISSTA '14: "Using Test Case Reduction ..." Using Test Case Reduction and Prioritization to Improve Symbolic Execution Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour (Oregon State University, USA) @InProceedings{ISSTA14p211, author = {Chaoqiang Zhang and Alex Groce and Mohammad Amin Alipour}, title = {Using Test Case Reduction and Prioritization to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2014}, } Article: issta14main-mainid76-p doi:
	Alkhalaf, Muath	ISSTA '14: "Semantic Differential Repair ..." Semantic Differential Repair for Input Validation and Sanitization Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan (University of California at Santa Barbara, USA) @InProceedings{ISSTA14p301, author = {Muath Alkhalaf and Abdulbaki Aydin and Tevfik Bultan}, title = {Semantic Differential Repair for Input Validation and Sanitization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid114-p doi:
	Allier, Simon	ISSTA '14: "Tailored Source Code Transformations ..." Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants Benoit Baudry, Simon Allier, and Martin Monperrus (INRIA, France; IRISA, France; University of Lille, France) @InProceedings{ISSTA14p196, author = {Benoit Baudry and Simon Allier and Martin Monperrus}, title = {Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2014}, } Article: issta14main-mainid46-p doi:
	Alshahwan, Nadia	ISSTA '14: "Coverage and Fault Detection ..." Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria Nadia Alshahwan and Mark Harman (University College London, UK) @InProceedings{ISSTA14p241, author = {Nadia Alshahwan and Mark Harman}, title = {Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2014}, } Article: issta14main-mainid90-p doi: ISSTA '14: "Automated Testing for SQL ..." Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan (University of Luxembourg, Luxembourg; University College London, UK) @InProceedings{ISSTA14p346, author = {Dennis Appelt and Cu Duy Nguyen and Lionel C. Briand and Nadia Alshahwan}, title = {Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {}, year = {2014}, } Article: issta14main-mainid69-p doi:
	Appelt, Dennis	ISSTA '14: "Automated Testing for SQL ..." Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan (University of Luxembourg, Luxembourg; University College London, UK) @InProceedings{ISSTA14p346, author = {Dennis Appelt and Cu Duy Nguyen and Lionel C. Briand and Nadia Alshahwan}, title = {Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {}, year = {2014}, } Article: issta14main-mainid69-p doi:
	Arcuri, Andrea	ISSTA '14: "Extending a Search-Based Test ..." Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri (Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway) @InProceedings{ISSTA14p553, author = {Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri}, title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {553-552}, doi = {}, year = {2014}, } Article: issta14demo-demoid3-p doi:
	Arlt, Stephan	ISSTA '14: "Reducing GUI Test Suites via ..." Reducing GUI Test Suites via Program Slicing Stephan Arlt, Andreas Podelski, and Martin Wehrle (University of Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland) @InProceedings{ISSTA14p361, author = {Stephan Arlt and Andreas Podelski and Martin Wehrle}, title = {Reducing GUI Test Suites via Program Slicing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2014}, } Article: issta14main-mainid52-p doi:
	Aydin, Abdulbaki	ISSTA '14: "Semantic Differential Repair ..." Semantic Differential Repair for Input Validation and Sanitization Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan (University of California at Santa Barbara, USA) @InProceedings{ISSTA14p301, author = {Muath Alkhalaf and Abdulbaki Aydin and Tevfik Bultan}, title = {Semantic Differential Repair for Input Validation and Sanitization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid114-p doi:
	Balakrishnan, Gogul	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Baudry, Benoit	ISSTA '14: "Tailored Source Code Transformations ..." Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants Benoit Baudry, Simon Allier, and Martin Monperrus (INRIA, France; IRISA, France; University of Lille, France) @InProceedings{ISSTA14p196, author = {Benoit Baudry and Simon Allier and Martin Monperrus}, title = {Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2014}, } Article: issta14main-mainid46-p doi: ISSTA '14: "A Variability-Based Testing ..." A Variability-Based Testing Approach for Synthesizing Video Sequences José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides (INRIA, France; University of Rennes 1, France; University of Seville, Spain) @InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:
	Benavides, David	ISSTA '14: "A Variability-Based Testing ..." A Variability-Based Testing Approach for Synthesizing Video Sequences José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides (INRIA, France; University of Rennes 1, France; University of Seville, Spain) @InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:
	Bishop, Judith	ISSTA '14: "Constructing Coding Duels ..." Constructing Coding Duels in Pex4Fun and Code Hunt Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA14p577, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Constructing Coding Duels in Pex4Fun and Code Hunt}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2014}, } Article: issta14demo-demoid10-p doi:
	Böhme, Marcel	ISSTA '14: "CoREBench: Studying Complexity ..." CoREBench: Studying Complexity of Regression Errors Marcel Böhme and Abhik Roychoudhury (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ISSTA14p136, author = {Marcel Böhme and Abhik Roychoudhury}, title = {CoREBench: Studying Complexity of Regression Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {136-135}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid38-p doi:
	Briand, Lionel C.	ISSTA '14: "Automated Testing for SQL ..." Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan (University of Luxembourg, Luxembourg; University College London, UK) @InProceedings{ISSTA14p346, author = {Dennis Appelt and Cu Duy Nguyen and Lionel C. Briand and Nadia Alshahwan}, title = {Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {}, year = {2014}, } Article: issta14main-mainid69-p doi: ISSTA '14: "Identifying Optimal Trade-Offs ..." Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search Shiva Nejati and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ISSTA14p466, author = {Shiva Nejati and Lionel C. Briand}, title = {Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2014}, } Article: issta14main-mainid29-p doi:
	Bronson, Nathan	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Bultan, Tevfik	ISSTA '14: "Semantic Differential Repair ..." Semantic Differential Repair for Input Validation and Sanitization Muath Alkhalaf, Abdulbaki Aydin, and Tevfik Bultan (University of California at Santa Barbara, USA) @InProceedings{ISSTA14p301, author = {Muath Alkhalaf and Abdulbaki Aydin and Tevfik Bultan}, title = {Semantic Differential Repair for Input Validation and Sanitization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid114-p doi:
	Cadar, Cristian	ISSTA '14: "Covrig: A Framework for the ..." Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software Paul Marinescu, Petr Hosek, and Cristian Cadar (Imperial College London, UK) @InProceedings{ISSTA14p121, author = {Paul Marinescu and Petr Hosek and Cristian Cadar}, title = {Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid79-p doi:
	Cando, Adam	ISSTA '14: "Legend: An Agile DSL Toolset ..." Legend: An Agile DSL Toolset for Web Acceptance Testing Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack (Ultimate Software, USA) @InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:
	Chandra, Satish	ISSTA '14: "Robust Test Automation using ..." Robust Test Automation using Contextual Clues Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra (IBM Research, India; Microsoft, USA; Samsung Research, USA) @InProceedings{ISSTA14p406, author = {Rahulkrishna Yandrapally and Suresh Thummalapenta and Saurabh Sinha and Satish Chandra}, title = {Robust Test Automation using Contextual Clues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {}, year = {2014}, } Article: issta14main-mainid107-p doi:
	Chen, Meixian	ISSTA '14: "Reusing Constraint Proofs ..." Reusing Constraint Proofs for Scalable Program Analysis Meixian Chen (University of Lugano, Switzerland) @InProceedings{ISSTA14p581, author = {Meixian Chen}, title = {Reusing Constraint Proofs for Scalable Program Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2014}, } Article: issta14doc-docid1-p doi:
	Chen, Zhenyu	ISSTA '14: "Virtual DOM Coverage for Effective ..." Virtual DOM Coverage for Effective Testing of Dynamic Web Applications Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao (Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA) @InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:
	Cheung, Shing-Chi	ISSTA '14: "CrashLocator: Locating Crashing ..." CrashLocator: Locating Crashing Faults Based on Crash Stacks Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{ISSTA14p271, author = {Rongxin Wu and Hongyu Zhang and Shing-Chi Cheung and Sunghun Kim}, title = {CrashLocator: Locating Crashing Faults Based on Crash Stacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2014}, } Article: issta14main-mainid43-p doi:
	Chhetri, Deepak	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Clause, James	ISSTA '14: "Lightweight Automated Detection ..." Lightweight Automated Detection of Unsafe Information Leakage via Exceptions Benwen Zhang and James Clause (University of Delaware, USA) @InProceedings{ISSTA14p436, author = {Benwen Zhang and James Clause}, title = {Lightweight Automated Detection of Unsafe Information Leakage via Exceptions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2014}, } Article: issta14main-mainid83-p doi: ISSTA '14: "Integrated Energy-Directed ..." Integrated Energy-Directed Test Suite Optimization Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond (University of Southern California, USA; University of Delaware, USA) @InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:
	Cotroneo, Domenico	ISSTA '14: "An Empirical Study of Injected ..." An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri (Federico II University of Naples, Italy; TU Darmstadt, Germany) @InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:
	De Halleux, Jonathan	ISSTA '14: "Constructing Coding Duels ..." Constructing Coding Duels in Pex4Fun and Code Hunt Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA14p577, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Constructing Coding Duels in Pex4Fun and Code Hunt}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2014}, } Article: issta14demo-demoid10-p doi:
	Ernst, Michael D.	ISSTA '14: "Defects4J: A Database of Existing ..." Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs René Just, Darioush Jalali, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p569, author = {René Just and Darioush Jalali and Michael D. Ernst}, title = {Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {569-568}, doi = {}, year = {2014}, } Article: issta14demo-demoid11-p doi: ISSTA '14: "A Format String Checker for ..." A Format String Checker for Java Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p573, author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and Michael D. Ernst}, title = {A Format String Checker for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {}, year = {2014}, } Article: issta14demo-demoid12-p doi: ISSTA '14: "A Type System for Format Strings ..." A Type System for Format Strings Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p166, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A Type System for Format Strings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid108-p doi: ISSTA '14: "Efficient Mutation Analysis ..." Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States René Just, Michael D. Ernst, and Gordon Fraser (University of Washington, USA; University of Sheffield, UK) @InProceedings{ISSTA14p421, author = {René Just and Michael D. Ernst and Gordon Fraser}, title = {Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2014}, } Article: issta14main-mainid103-p doi: ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Fedyukovich, Grigory	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Ferrara, Pietro	ISSTA '14: "Hybrid Security Analysis of ..." Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation Omer Tripp, Pietro Ferrara, and Marco Pistoia (IBM Research, USA) @InProceedings{ISSTA14p61, author = {Omer Tripp and Pietro Ferrara and Marco Pistoia}, title = {Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2014}, } Article: issta14main-mainid31-p doi:
	Fraser, Gordon	ISSTA '14: "Extending a Search-Based Test ..." Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri (Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway) @InProceedings{ISSTA14p553, author = {Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri}, title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {553-552}, doi = {}, year = {2014}, } Article: issta14demo-demoid3-p doi: ISSTA '14: "Efficient Mutation Analysis ..." Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States René Just, Michael D. Ernst, and Gordon Fraser (University of Washington, USA; University of Sheffield, UK) @InProceedings{ISSTA14p421, author = {René Just and Michael D. Ernst and Gordon Fraser}, title = {Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2014}, } Article: issta14main-mainid103-p doi:
	Galeotti, Juan Pablo	ISSTA '14: "Extending a Search-Based Test ..." Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri (Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway) @InProceedings{ISSTA14p553, author = {Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri}, title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {553-552}, doi = {}, year = {2014}, } Article: issta14demo-demoid3-p doi:
	Galindo, José A.	ISSTA '14: "A Variability-Based Testing ..." A Variability-Based Testing Approach for Synthesizing Video Sequences José A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, and David Benavides (INRIA, France; University of Rennes 1, France; University of Seville, Spain) @InProceedings{ISSTA14p391, author = {José A. Galindo and Mauricio Alférez and Mathieu Acher and Benoit Baudry and David Benavides}, title = {A Variability-Based Testing Approach for Synthesizing Video Sequences}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2014}, } Article: issta14main-mainid71-p doi:
	Gao, Zebao	ISSTA '14: "Virtual DOM Coverage for Effective ..." Virtual DOM Coverage for Effective Testing of Dynamic Web Applications Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao (Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA) @InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:
	Gopinath, Rahul	ISSTA '14: "MuCheck: An Extensible Tool ..." MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce (Oregon State University, USA) @InProceedings{ISSTA14p561, author = {Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce}, title = {MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2014}, } Article: issta14demo-demoid7-p doi:
	Gotlieb, Arnaud	ISSTA '14: "FLOWER: Optimal Test Suite ..." FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow Arnaud Gotlieb and Dusica Marijan (Simula Research Laboratory, Norway) @InProceedings{ISSTA14p226, author = {Arnaud Gotlieb and Dusica Marijan}, title = {FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {226-225}, doi = {}, year = {2014}, } Article: issta14main-mainid60-p doi:
	Groce, Alex	ISSTA '14: "MuCheck: An Extensible Tool ..." MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce (Oregon State University, USA) @InProceedings{ISSTA14p561, author = {Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce}, title = {MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2014}, } Article: issta14demo-demoid7-p doi: ISSTA '14: "Using Test Case Reduction ..." Using Test Case Reduction and Prioritization to Improve Symbolic Execution Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour (Oregon State University, USA) @InProceedings{ISSTA14p211, author = {Chaoqiang Zhang and Alex Groce and Mohammad Amin Alipour}, title = {Using Test Case Reduction and Prioritization to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2014}, } Article: issta14main-mainid76-p doi:
	Gross, Thomas R.	ISSTA '14: "Performance Regression Testing ..." Performance Regression Testing of Concurrent Classes Michael Pradel, Markus Huggler, and Thomas R. Gross (University of California at Berkeley, USA; ETH Zurich, Switzerland) @InProceedings{ISSTA14p16, author = {Michael Pradel and Markus Huggler and Thomas R. Gross}, title = {Performance Regression Testing of Concurrent Classes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2014}, } Article: issta14main-mainid80-p doi:
	Gueta, Guy Golan	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Gupta, Aarti	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Halfond, William G. J.	ISSTA '14: "Integrated Energy-Directed ..." Integrated Energy-Directed Test Suite Optimization Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond (University of Southern California, USA; University of Delaware, USA) @InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:
	Harman, Mark	ISSTA '14: "Coverage and Fault Detection ..." Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria Nadia Alshahwan and Mark Harman (University College London, UK) @InProceedings{ISSTA14p241, author = {Nadia Alshahwan and Mark Harman}, title = {Coverage and Fault Detection of the Output-Uniqueness Test Selection Criteria}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2014}, } Article: issta14main-mainid90-p doi:
	Henderson, Andrew	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Hosek, Petr	ISSTA '14: "Covrig: A Framework for the ..." Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software Paul Marinescu, Petr Hosek, and Cristian Cadar (Imperial College London, UK) @InProceedings{ISSTA14p121, author = {Paul Marinescu and Petr Hosek and Cristian Cadar}, title = {Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid79-p doi:
	Hu, Xunchao	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Huggler, Markus	ISSTA '14: "Performance Regression Testing ..." Performance Regression Testing of Concurrent Classes Michael Pradel, Markus Huggler, and Thomas R. Gross (University of California at Berkeley, USA; ETH Zurich, Switzerland) @InProceedings{ISSTA14p16, author = {Michael Pradel and Markus Huggler and Thomas R. Gross}, title = {Performance Regression Testing of Concurrent Classes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2014}, } Article: issta14main-mainid80-p doi:
	Hyvärinen, Antti E. J.	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Ivančić, Franjo	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Jalali, Darioush	ISSTA '14: "Defects4J: A Database of Existing ..." Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs René Just, Darioush Jalali, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p569, author = {René Just and Darioush Jalali and Michael D. Ernst}, title = {Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {569-568}, doi = {}, year = {2014}, } Article: issta14demo-demoid11-p doi: ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Jiang, Lingxiao	ISSTA '14: "Scalable Detection of Missed ..." Scalable Detection of Missed Cross-Function Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ISSTA14p181, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Scalable Detection of Missed Cross-Function Refactorings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2014}, } Article: issta14main-mainid123-p doi:
	Jin, Yuchen	ISSTA '14: "Integrated Energy-Directed ..." Integrated Energy-Directed Test Suite Optimization Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond (University of Southern California, USA; University of Delaware, USA) @InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:
	Just, René	ISSTA '14: "The Major Mutation Framework: ..." The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java René Just (University of Washington, USA) @InProceedings{ISSTA14p565, author = {René Just}, title = {The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {565-564}, doi = {}, year = {2014}, } Article: issta14demo-demoid9-p doi: ISSTA '14: "Defects4J: A Database of Existing ..." Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs René Just, Darioush Jalali, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p569, author = {René Just and Darioush Jalali and Michael D. Ernst}, title = {Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {569-568}, doi = {}, year = {2014}, } Article: issta14demo-demoid11-p doi: ISSTA '14: "Efficient Mutation Analysis ..." Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States René Just, Michael D. Ernst, and Gordon Fraser (University of Washington, USA; University of Sheffield, UK) @InProceedings{ISSTA14p421, author = {René Just and Michael D. Ernst and Gordon Fraser}, title = {Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2014}, } Article: issta14main-mainid103-p doi:
	Khoo, Siau-Cheng	ISSTA '14: "Scalable Detection of Missed ..." Scalable Detection of Missed Cross-Function Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ISSTA14p181, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Scalable Detection of Missed Cross-Function Refactorings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2014}, } Article: issta14main-mainid123-p doi: ISSTA '14: "Efficient Predicated Bug Signature ..." Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun (National University of Singapore, Singapore; University of California at Davis, USA) @InProceedings{ISSTA14p286, author = {Zhiqiang Zuo and Siau-Cheng Khoo and Chengnian Sun}, title = {Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: issta14main-mainid110-p doi:
	Khurshid, Sarfraz	ISSTA '14: "Feedback-Driven Dynamic Invariant ..." Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid (University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA) @InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:
	Kim, Gene	ISSTA '14: "A Format String Checker for ..." A Format String Checker for Java Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p573, author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and Michael D. Ernst}, title = {A Format String Checker for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {}, year = {2014}, } Article: issta14demo-demoid12-p doi: ISSTA '14: "A Type System for Format Strings ..." A Type System for Format Strings Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p166, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A Type System for Format Strings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid108-p doi:
	Kim, Sunghun	ISSTA '14: "CrashLocator: Locating Crashing ..." CrashLocator: Locating Crashing Faults Based on Crash Stacks Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{ISSTA14p271, author = {Rongxin Wu and Hongyu Zhang and Shing-Chi Cheung and Sunghun Kim}, title = {CrashLocator: Locating Crashing Faults Based on Crash Stacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2014}, } Article: issta14main-mainid43-p doi:
	King, Tariq M.	ISSTA '14: "Legend: An Agile DSL Toolset ..." Legend: An Agile DSL Toolset for Web Acceptance Testing Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack (Ultimate Software, USA) @InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:
	Ko, In-Young	ISSTA '14: "Dodona: Automated Oracle Data ..." Dodona: Automated Oracle Data Set Selection Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel (University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA14p256, author = {Pablo Loyola and Matt Staats and In-Young Ko and Gregg Rothermel}, title = {Dodona: Automated Oracle Data Set Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2014}, } Article: issta14main-mainid128-p doi:
	Kulkarni, Sandeep S.	ISSTA '14: "Automatic Repair for Multi-threaded ..." Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability Yiyan Lin and Sandeep S. Kulkarni (Michigan State University, USA) @InProceedings{ISSTA14p316, author = {Yiyan Lin and Sandeep S. Kulkarni}, title = {Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {}, year = {2014}, } Article: issta14main-mainid89-p doi:
	Lam, Wing	ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Lanzaro, Anna	ISSTA '14: "An Empirical Study of Injected ..." An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri (Federico II University of Naples, Italy; TU Darmstadt, Germany) @InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:
	Le, Duc	ISSTA '14: "MuCheck: An Extensible Tool ..." MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce (Oregon State University, USA) @InProceedings{ISSTA14p561, author = {Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce}, title = {MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2014}, } Article: issta14demo-demoid7-p doi:
	Li, Ding	ISSTA '14: "Integrated Energy-Directed ..." Integrated Energy-Directed Test Suite Optimization Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond (University of Southern California, USA; University of Delaware, USA) @InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:
	Lin, Yiyan	ISSTA '14: "Automatic Repair for Multi-threaded ..." Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability Yiyan Lin and Sandeep S. Kulkarni (Michigan State University, USA) @InProceedings{ISSTA14p316, author = {Yiyan Lin and Sandeep S. Kulkarni}, title = {Automatic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {316-315}, doi = {}, year = {2014}, } Article: issta14main-mainid89-p doi:
	Loyola, Pablo	ISSTA '14: "Dodona: Automated Oracle Data ..." Dodona: Automated Oracle Data Set Selection Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel (University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA14p256, author = {Pablo Loyola and Matt Staats and In-Young Ko and Gregg Rothermel}, title = {Dodona: Automated Oracle Data Set Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2014}, } Article: issta14main-mainid128-p doi:
	Mack, Cody	ISSTA '14: "Legend: An Agile DSL Toolset ..." Legend: An Agile DSL Toolset for Web Acceptance Testing Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack (Ultimate Software, USA) @InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:
	Maeda, Naoto	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Mariani, Leonardo	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi: ISSTA '14: "Link: Exploiting the Web of ..." Link: Exploiting the Web of Data to Generate Test Inputs Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro (University of Milano-Bicocca, Italy; University of Lugano, Switzerland) @InProceedings{ISSTA14p496, author = {Leonardo Mariani and Mauro Pezzè and Oliviero Riganelli and Mauro Santoro}, title = {Link: Exploiting the Web of Data to Generate Test Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {496-495}, doi = {}, year = {2014}, } Article: issta14main-mainid63-p doi:
	Marijan, Dusica	ISSTA '14: "FLOWER: Optimal Test Suite ..." FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow Arnaud Gotlieb and Dusica Marijan (Simula Research Laboratory, Norway) @InProceedings{ISSTA14p226, author = {Arnaud Gotlieb and Dusica Marijan}, title = {FLOWER: Optimal Test Suite Reduction as a Network Maximum Flow}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {226-225}, doi = {}, year = {2014}, } Article: issta14main-mainid60-p doi:
	Marinescu, Paul	ISSTA '14: "Covrig: A Framework for the ..." Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software Paul Marinescu, Petr Hosek, and Cristian Cadar (Imperial College London, UK) @InProceedings{ISSTA14p121, author = {Paul Marinescu and Petr Hosek and Cristian Cadar}, title = {Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid79-p doi:
	Mesbah, Ali	ISSTA '14: "DOM-Based Test Adequacy Criteria ..." DOM-Based Test Adequacy Criteria for Web Applications Mehdi Mirzaaghaei and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ISSTA14p91, author = {Mehdi Mirzaaghaei and Ali Mesbah}, title = {DOM-Based Test Adequacy Criteria for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: issta14main-mainid96-p doi:
	Milea, Narcisa Andreea	ISSTA '14: "Scalable Detection of Missed ..." Scalable Detection of Missed Cross-Function Refactorings Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ISSTA14p181, author = {Narcisa Andreea Milea and Lingxiao Jiang and Siau-Cheng Khoo}, title = {Scalable Detection of Missed Cross-Function Refactorings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2014}, } Article: issta14main-mainid123-p doi:
	Mirshokraie, Shabnam	ISSTA '14: "Effective Test Generation ..." Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications Shabnam Mirshokraie (University of British Columbia, Canada) @InProceedings{ISSTA14p585, author = {Shabnam Mirshokraie}, title = {Effective Test Generation and Adequacy Assessment for JavaScript-Based Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {585-584}, doi = {}, year = {2014}, } Article: issta14doc-docid2-p doi:
	Mirzaaghaei, Mehdi	ISSTA '14: "DOM-Based Test Adequacy Criteria ..." DOM-Based Test Adequacy Criteria for Web Applications Mehdi Mirzaaghaei and Ali Mesbah (University of British Columbia, Canada) @InProceedings{ISSTA14p91, author = {Mehdi Mirzaaghaei and Ali Mesbah}, title = {DOM-Based Test Adequacy Criteria for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2014}, } Article: issta14main-mainid96-p doi:
	Monperrus, Martin	ISSTA '14: "Tailored Source Code Transformations ..." Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants Benoit Baudry, Simon Allier, and Martin Monperrus (INRIA, France; IRISA, France; University of Lille, France) @InProceedings{ISSTA14p196, author = {Benoit Baudry and Simon Allier and Martin Monperrus}, title = {Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2014}, } Article: issta14main-mainid46-p doi:
	Muhammad, Ali	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Muşlu, Kıvanç	ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Natella, Roberto	ISSTA '14: "An Empirical Study of Injected ..." An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri (Federico II University of Naples, Italy; TU Darmstadt, Germany) @InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:
	Nejati, Shiva	ISSTA '14: "Identifying Optimal Trade-Offs ..." Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search Shiva Nejati and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{ISSTA14p466, author = {Shiva Nejati and Lionel C. Briand}, title = {Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {466-465}, doi = {}, year = {2014}, } Article: issta14main-mainid29-p doi:
	Nguyen, Cu Duy	ISSTA '14: "Automated Testing for SQL ..." Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, and Nadia Alshahwan (University of Luxembourg, Luxembourg; University College London, UK) @InProceedings{ISSTA14p346, author = {Dennis Appelt and Cu Duy Nguyen and Lionel C. Briand and Nadia Alshahwan}, title = {Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {}, year = {2014}, } Article: issta14main-mainid69-p doi:
	Nistor, Adrian	ISSTA '14: "SunCat: Helping Developers ..." SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications Adrian Nistor and Lenin Ravindranath (Chapman University, USA; Massachusetts Institute of Technology, USA) @InProceedings{ISSTA14p376, author = {Adrian Nistor and Lenin Ravindranath}, title = {SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {}, year = {2014}, } Article: issta14main-mainid5-p doi:
	Notkin, David	ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Nunez, Gabriel	ISSTA '14: "Legend: An Agile DSL Toolset ..." Legend: An Agile DSL Toolset for Web Acceptance Testing Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack (Ultimate Software, USA) @InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:
	Orso, Alessandro	ISSTA '14: "X-PERT: A Web Application ..." X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p549, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {549-548}, doi = {}, year = {2014}, } Article: issta14demo-demoid16-p doi: ISSTA '14: "Cross-Platform Feature Matching ..." Cross-Platform Feature Matching for Web Applications Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p106, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {Cross-Platform Feature Matching for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid129-p doi:
	Pastore, Fabrizio	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Person, Suzette	ISSTA '14: "Feedback-Driven Dynamic Invariant ..." Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid (University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA) @InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:
	Pezzè, Mauro	ISSTA '14: "Link: Exploiting the Web of ..." Link: Exploiting the Web of Data to Generate Test Inputs Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro (University of Milano-Bicocca, Italy; University of Lugano, Switzerland) @InProceedings{ISSTA14p496, author = {Leonardo Mariani and Mauro Pezzè and Oliviero Riganelli and Mauro Santoro}, title = {Link: Exploiting the Web of Data to Generate Test Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {496-495}, doi = {}, year = {2014}, } Article: issta14main-mainid63-p doi:
	Pistoia, Marco	ISSTA '14: "Hybrid Security Analysis of ..." Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation Omer Tripp, Pietro Ferrara, and Marco Pistoia (IBM Research, USA) @InProceedings{ISSTA14p61, author = {Omer Tripp and Pietro Ferrara and Marco Pistoia}, title = {Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2014}, } Article: issta14main-mainid31-p doi:
	Podelski, Andreas	ISSTA '14: "Reducing GUI Test Suites via ..." Reducing GUI Test Suites via Program Slicing Stephan Arlt, Andreas Podelski, and Martin Wehrle (University of Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland) @InProceedings{ISSTA14p361, author = {Stephan Arlt and Andreas Podelski and Martin Wehrle}, title = {Reducing GUI Test Suites via Program Slicing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2014}, } Article: issta14main-mainid52-p doi:
	Pradel, Michael	ISSTA '14: "Performance Regression Testing ..." Performance Regression Testing of Concurrent Classes Michael Pradel, Markus Huggler, and Thomas R. Gross (University of California at Berkeley, USA; ETH Zurich, Switzerland) @InProceedings{ISSTA14p16, author = {Michael Pradel and Markus Huggler and Thomas R. Gross}, title = {Performance Regression Testing of Concurrent Classes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2014}, } Article: issta14main-mainid80-p doi:
	Prakash, Aravind	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Prasad, Mukul R.	ISSTA '14: "X-PERT: A Web Application ..." X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p549, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {549-548}, doi = {}, year = {2014}, } Article: issta14demo-demoid16-p doi: ISSTA '14: "Cross-Platform Feature Matching ..." Cross-Platform Feature Matching for Web Applications Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p106, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {Cross-Platform Feature Matching for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid129-p doi:
	Ravindranath, Lenin	ISSTA '14: "SunCat: Helping Developers ..." SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications Adrian Nistor and Lenin Ravindranath (Chapman University, USA; Massachusetts Institute of Technology, USA) @InProceedings{ISSTA14p376, author = {Adrian Nistor and Lenin Ravindranath}, title = {SunCat: Helping Developers Understand and Predict Performance Problems in Smartphone Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {376-375}, doi = {}, year = {2014}, } Article: issta14main-mainid5-p doi:
	Riganelli, Oliviero	ISSTA '14: "Link: Exploiting the Web of ..." Link: Exploiting the Web of Data to Generate Test Inputs Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro (University of Milano-Bicocca, Italy; University of Lugano, Switzerland) @InProceedings{ISSTA14p496, author = {Leonardo Mariani and Mauro Pezzè and Oliviero Riganelli and Mauro Santoro}, title = {Link: Exploiting the Web of Data to Generate Test Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {496-495}, doi = {}, year = {2014}, } Article: issta14main-mainid63-p doi:
	Roth, Andreas	ISSTA '14: "ProCrawl: Mining Test Models ..." ProCrawl: Mining Test Models from Multi-user Web Applications Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany) @InProceedings{ISSTA14p545, author = {Matthias Schur and Andreas Roth and Andreas Zeller}, title = {ProCrawl: Mining Test Models from Multi-user Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2014}, } Article: issta14demo-demoid6-p doi:
	Rothermel, Gregg	ISSTA '14: "Dodona: Automated Oracle Data ..." Dodona: Automated Oracle Data Set Selection Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel (University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA14p256, author = {Pablo Loyola and Matt Staats and In-Young Ko and Gregg Rothermel}, title = {Dodona: Automated Oracle Data Set Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2014}, } Article: issta14main-mainid128-p doi:
	Roy Choudhary, Shauvik	ISSTA '14: "X-PERT: A Web Application ..." X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p549, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {549-548}, doi = {}, year = {2014}, } Article: issta14demo-demoid16-p doi: ISSTA '14: "Cross-Platform Feature Matching ..." Cross-Platform Feature Matching for Web Applications Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso (Georgia Tech, USA; Fujitsu Labs, USA) @InProceedings{ISSTA14p106, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {Cross-Platform Feature Matching for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid129-p doi:
	Roychoudhury, Abhik	ISSTA '14: "CoREBench: Studying Complexity ..." CoREBench: Studying Complexity of Regression Errors Marcel Böhme and Abhik Roychoudhury (Saarland University, Germany; National University of Singapore, Singapore) @InProceedings{ISSTA14p136, author = {Marcel Böhme and Abhik Roychoudhury}, title = {CoREBench: Studying Complexity of Regression Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {136-135}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid38-p doi:
	Rungta, Neha	ISSTA '14: "Feedback-Driven Dynamic Invariant ..." Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid (University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA) @InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:
	Sagiv, Mooly	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Sahin, Cagri	ISSTA '14: "Integrated Energy-Directed ..." Integrated Energy-Directed Test Suite Optimization Ding Li, Yuchen Jin, Cagri Sahin, James Clause, and William G. J. Halfond (University of Southern California, USA; University of Delaware, USA) @InProceedings{ISSTA14p451, author = {Ding Li and Yuchen Jin and Cagri Sahin and James Clause and William G. J. Halfond}, title = {Integrated Energy-Directed Test Suite Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {451-450}, doi = {}, year = {2014}, } Article: issta14main-mainid97-p doi:
	Santiago, Dionny	ISSTA '14: "Legend: An Agile DSL Toolset ..." Legend: An Agile DSL Toolset for Web Acceptance Testing Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack (Ultimate Software, USA) @InProceedings{ISSTA14p541, author = {Tariq M. King and Gabriel Nunez and Dionny Santiago and Adam Cando and Cody Mack}, title = {Legend: An Agile DSL Toolset for Web Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2014}, } Article: issta14demo-demoid1-p doi:
	Santoro, Mauro	ISSTA '14: "Link: Exploiting the Web of ..." Link: Exploiting the Web of Data to Generate Test Inputs Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro (University of Milano-Bicocca, Italy; University of Lugano, Switzerland) @InProceedings{ISSTA14p496, author = {Leonardo Mariani and Mauro Pezzè and Oliviero Riganelli and Mauro Santoro}, title = {Link: Exploiting the Web of Data to Generate Test Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {496-495}, doi = {}, year = {2014}, } Article: issta14main-mainid63-p doi:
	Schur, Matthias	ISSTA '14: "ProCrawl: Mining Test Models ..." ProCrawl: Mining Test Models from Multi-user Web Applications Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany) @InProceedings{ISSTA14p545, author = {Matthias Schur and Andreas Roth and Andreas Zeller}, title = {ProCrawl: Mining Test Models from Multi-user Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2014}, } Article: issta14demo-demoid6-p doi:
	Sehestedt, Stephan	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Shacham, Ohad	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Sharygina, Natasha	ISSTA '14: "Verification-Aided Regression ..." Verification-Aided Regression Testing Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad (University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland) @InProceedings{ISSTA14p46, author = {Fabrizio Pastore and Leonardo Mariani and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, title = {Verification-Aided Regression Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2014}, } Article: issta14main-mainid55-p doi:
	Sinha, Saurabh	ISSTA '14: "Robust Test Automation using ..." Robust Test Automation using Contextual Clues Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra (IBM Research, India; Microsoft, USA; Samsung Research, USA) @InProceedings{ISSTA14p406, author = {Rahulkrishna Yandrapally and Suresh Thummalapenta and Saurabh Sinha and Satish Chandra}, title = {Robust Test Automation using Contextual Clues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {}, year = {2014}, } Article: issta14main-mainid107-p doi:
	Srisakaokul, Siwakorn	ISSTA '14: "A Format String Checker for ..." A Format String Checker for Java Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p573, author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and Michael D. Ernst}, title = {A Format String Checker for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {}, year = {2014}, } Article: issta14demo-demoid12-p doi: ISSTA '14: "A Type System for Format Strings ..." A Type System for Format Strings Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p166, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A Type System for Format Strings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid108-p doi:
	Staats, Matt	ISSTA '14: "Dodona: Automated Oracle Data ..." Dodona: Automated Oracle Data Set Selection Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel (University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA14p256, author = {Pablo Loyola and Matt Staats and In-Young Ko and Gregg Rothermel}, title = {Dodona: Automated Oracle Data Set Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2014}, } Article: issta14main-mainid128-p doi:
	Sun, Chengnian	ISSTA '14: "Efficient Predicated Bug Signature ..." Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun (National University of Singapore, Singapore; University of California at Davis, USA) @InProceedings{ISSTA14p286, author = {Zhiqiang Zuo and Siau-Cheng Khoo and Chengnian Sun}, title = {Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: issta14main-mainid110-p doi:
	Suri, Neeraj	ISSTA '14: "An Empirical Study of Injected ..." An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri (Federico II University of Naples, Italy; TU Darmstadt, Germany) @InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:
	Thummalapenta, Suresh	ISSTA '14: "Robust Test Automation using ..." Robust Test Automation using Contextual Clues Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra (IBM Research, India; Microsoft, USA; Samsung Research, USA) @InProceedings{ISSTA14p406, author = {Rahulkrishna Yandrapally and Suresh Thummalapenta and Saurabh Sinha and Satish Chandra}, title = {Robust Test Automation using Contextual Clues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {}, year = {2014}, } Article: issta14main-mainid107-p doi:
	Tillmann, Nikolai	ISSTA '14: "Constructing Coding Duels ..." Constructing Coding Duels in Pex4Fun and Code Hunt Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA14p577, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Constructing Coding Duels in Pex4Fun and Code Hunt}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2014}, } Article: issta14demo-demoid10-p doi:
	Tripp, Omer	ISSTA '14: "Hybrid Security Analysis of ..." Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation Omer Tripp, Pietro Ferrara, and Marco Pistoia (IBM Research, USA) @InProceedings{ISSTA14p61, author = {Omer Tripp and Pietro Ferrara and Marco Pistoia}, title = {Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2014}, } Article: issta14main-mainid31-p doi:
	Vechev, Martin	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Wang, Chao	ISSTA '14: "Runtime Prevention of Concurrency ..." Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications Lu Zhang and Chao Wang (Virginia Tech, USA) @InProceedings{ISSTA14p1, author = {Lu Zhang and Chao Wang}, title = {Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: issta14main-mainid95-p doi:
	Wang, Jiteng	ISSTA '14: "Canalyze: A Static Bug-Finding ..." Canalyze: A Static Bug-Finding Tool for C Programs Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang (University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA14p557, author = {Zhenbo Xu and Jian Zhang and Zhongxing Xu and Jiteng Wang}, title = {Canalyze: A Static Bug-Finding Tool for C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {557-556}, doi = {}, year = {2014}, } Article: issta14demo-demoid4-p doi:
	Wang, Xujiewen	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Wehrle, Martin	ISSTA '14: "Reducing GUI Test Suites via ..." Reducing GUI Test Suites via Program Slicing Stephan Arlt, Andreas Podelski, and Martin Wehrle (University of Luxembourg, Luxembourg; University of Freiburg, Germany; University of Basel, Switzerland) @InProceedings{ISSTA14p361, author = {Stephan Arlt and Andreas Podelski and Martin Wehrle}, title = {Reducing GUI Test Suites via Program Slicing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2014}, } Article: issta14main-mainid52-p doi:
	Weitz, Konstantin	ISSTA '14: "A Format String Checker for ..." A Format String Checker for Java Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p573, author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and Michael D. Ernst}, title = {A Format String Checker for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {}, year = {2014}, } Article: issta14demo-demoid12-p doi: ISSTA '14: "A Type System for Format Strings ..." A Type System for Format Strings Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA14p166, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A Type System for Format Strings}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid108-p doi:
	Winter, Stefan	ISSTA '14: "An Empirical Study of Injected ..." An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, and Neeraj Suri (Federico II University of Naples, Italy; TU Darmstadt, Germany) @InProceedings{ISSTA14p526, author = {Anna Lanzaro and Roberto Natella and Stefan Winter and Domenico Cotroneo and Neeraj Suri}, title = {An Empirical Study of Injected versus Actual Interface Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {526-525}, doi = {}, year = {2014}, } Article: issta14main-mainid50-p doi:
	Wu, Rongxin	ISSTA '14: "CrashLocator: Locating Crashing ..." CrashLocator: Locating Crashing Faults Based on Crash Stacks Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{ISSTA14p271, author = {Rongxin Wu and Hongyu Zhang and Shing-Chi Cheung and Sunghun Kim}, title = {CrashLocator: Locating Crashing Faults Based on Crash Stacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2014}, } Article: issta14main-mainid43-p doi:
	Wuttke, Jochen	ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Xiao, Xusheng	ISSTA '14: "ARC++: Effective Typestate ..." ARC++: Effective Typestate and Lifetime Dependency Analysis Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri (NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India) @InProceedings{ISSTA14p151, author = {Xusheng Xiao and Gogul Balakrishnan and Franjo Ivančić and Naoto Maeda and Aarti Gupta and Deepak Chhetri}, title = {ARC++: Effective Typestate and Lifetime Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2014}, } Article: issta14main-mainid10-p doi:
	Xie, Tao	ISSTA '14: "Constructing Coding Duels ..." Constructing Coding Duels in Pex4Fun and Code Hunt Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop (Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA14p577, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop}, title = {Constructing Coding Duels in Pex4Fun and Code Hunt}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2014}, } Article: issta14demo-demoid10-p doi:
	Xu, Zhenbo	ISSTA '14: "Canalyze: A Static Bug-Finding ..." Canalyze: A Static Bug-Finding Tool for C Programs Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang (University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA14p557, author = {Zhenbo Xu and Jian Zhang and Zhongxing Xu and Jiteng Wang}, title = {Canalyze: A Static Bug-Finding Tool for C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {557-556}, doi = {}, year = {2014}, } Article: issta14demo-demoid4-p doi:
	Xu, Zhongxing	ISSTA '14: "Canalyze: A Static Bug-Finding ..." Canalyze: A Static Bug-Finding Tool for C Programs Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang (University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA14p557, author = {Zhenbo Xu and Jian Zhang and Zhongxing Xu and Jiteng Wang}, title = {Canalyze: A Static Bug-Finding Tool for C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {557-556}, doi = {}, year = {2014}, } Article: issta14demo-demoid4-p doi:
	Yahav, Eran	ISSTA '14: "Verifying Atomicity via Data ..." Verifying Atomicity via Data Independence Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, and Martin Vechev (Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland) @InProceedings{ISSTA14p31, author = {Ohad Shacham and Eran Yahav and Guy Golan Gueta and Alex Aiken and Nathan Bronson and Mooly Sagiv and Martin Vechev}, title = {Verifying Atomicity via Data Independence}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, } Article: issta14main-mainid48-p doi:
	Yan, Lok Kwong	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Yandrapally, Rahulkrishna	ISSTA '14: "Robust Test Automation using ..." Robust Test Automation using Contextual Clues Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, and Satish Chandra (IBM Research, India; Microsoft, USA; Samsung Research, USA) @InProceedings{ISSTA14p406, author = {Rahulkrishna Yandrapally and Suresh Thummalapenta and Saurabh Sinha and Satish Chandra}, title = {Robust Test Automation using Contextual Clues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {}, year = {2014}, } Article: issta14main-mainid107-p doi:
	Yang, Guowei	ISSTA '14: "Feedback-Driven Dynamic Invariant ..." Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid (University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA) @InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:
	Yin, Heng	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Zeller, Andreas	ISSTA '14: "ProCrawl: Mining Test Models ..." ProCrawl: Mining Test Models from Multi-user Web Applications Matthias Schur, Andreas Roth, and Andreas Zeller (SAP, Germany; Saarland University, Germany) @InProceedings{ISSTA14p545, author = {Matthias Schur and Andreas Roth and Andreas Zeller}, title = {ProCrawl: Mining Test Models from Multi-user Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2014}, } Article: issta14demo-demoid6-p doi:
	Zhang, Benwen	ISSTA '14: "Lightweight Automated Detection ..." Lightweight Automated Detection of Unsafe Information Leakage via Exceptions Benwen Zhang and James Clause (University of Delaware, USA) @InProceedings{ISSTA14p436, author = {Benwen Zhang and James Clause}, title = {Lightweight Automated Detection of Unsafe Information Leakage via Exceptions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {436-435}, doi = {}, year = {2014}, } Article: issta14main-mainid83-p doi:
	Zhang, Chaoqiang	ISSTA '14: "Using Test Case Reduction ..." Using Test Case Reduction and Prioritization to Improve Symbolic Execution Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour (Oregon State University, USA) @InProceedings{ISSTA14p211, author = {Chaoqiang Zhang and Alex Groce and Mohammad Amin Alipour}, title = {Using Test Case Reduction and Prioritization to Improve Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2014}, } Article: issta14main-mainid76-p doi:
	Zhang, Hongyu	ISSTA '14: "CrashLocator: Locating Crashing ..." CrashLocator: Locating Crashing Faults Based on Crash Stacks Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{ISSTA14p271, author = {Rongxin Wu and Hongyu Zhang and Shing-Chi Cheung and Sunghun Kim}, title = {CrashLocator: Locating Crashing Faults Based on Crash Stacks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2014}, } Article: issta14main-mainid43-p doi:
	Zhang, Jian	ISSTA '14: "Canalyze: A Static Bug-Finding ..." Canalyze: A Static Bug-Finding Tool for C Programs Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang (University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China) @InProceedings{ISSTA14p557, author = {Zhenbo Xu and Jian Zhang and Zhongxing Xu and Jiteng Wang}, title = {Canalyze: A Static Bug-Finding Tool for C Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {557-556}, doi = {}, year = {2014}, } Article: issta14demo-demoid4-p doi:
	Zhang, Lingming	ISSTA '14: "Feedback-Driven Dynamic Invariant ..." Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid (University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA) @InProceedings{ISSTA14p481, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, title = {Feedback-Driven Dynamic Invariant Discovery}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2014}, } Article: issta14main-mainid106-p doi:
	Zhang, Lu	ISSTA '14: "Runtime Prevention of Concurrency ..." Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications Lu Zhang and Chao Wang (Virginia Tech, USA) @InProceedings{ISSTA14p1, author = {Lu Zhang and Chao Wang}, title = {Runtime Prevention of Concurrency Related Type-State Violations in Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: issta14main-mainid95-p doi:
	Zhang, Sai	ISSTA '14: "Empirically Revisiting the ..." Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin (University of Washington, USA) @InProceedings{ISSTA14p511, author = {Sai Zhang and Darioush Jalali and Jochen Wuttke and Kıvanç Muşlu and Wing Lam and Michael D. Ernst and David Notkin}, title = {Empirically Revisiting the Test Independence Assumption}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid91-p doi:
	Zhang, Xiangyu	ISSTA '14: "Virtual DOM Coverage for Effective ..." Virtual DOM Coverage for Effective Testing of Dynamic Web Applications Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao (Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA) @InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:
	Zheng, Yunhui	ISSTA '14: "Virtual DOM Coverage for Effective ..." Virtual DOM Coverage for Effective Testing of Dynamic Web Applications Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao (Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA) @InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:
	Zhou, Rundong	ISSTA '14: "Make It Work, Make It Right, ..." Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin (Syracuse University, USA; Rome Laboratory, USA) @InProceedings{ISSTA14p331, author = {Andrew Henderson and Aravind Prakash and Lok Kwong Yan and Xunchao Hu and Xujiewen Wang and Rundong Zhou and Heng Yin}, title = {Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2014}, } aec-badge-issta Article: issta14main-mainid101-p doi:
	Zou, Yunxiao	ISSTA '14: "Virtual DOM Coverage for Effective ..." Virtual DOM Coverage for Effective Testing of Dynamic Web Applications Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, and Zebao Gao (Nanjing University, China; Purdue University, USA; University of Maryland at College Park, USA) @InProceedings{ISSTA14p76, author = {Yunxiao Zou and Zhenyu Chen and Yunhui Zheng and Xiangyu Zhang and Zebao Gao}, title = {Virtual DOM Coverage for Effective Testing of Dynamic Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2014}, } Article: issta14main-mainid109-p doi:
	Zuo, Zhiqiang	ISSTA '14: "Efficient Statistical Debugging ..." Efficient Statistical Debugging via Hierarchical Instrumentation Zhiqiang Zuo (National University of Singapore, Singapore) @InProceedings{ISSTA14p589, author = {Zhiqiang Zuo}, title = {Efficient Statistical Debugging via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {589-588}, doi = {}, year = {2014}, } Article: issta14doc-docid3-p doi: ISSTA '14: "Efficient Predicated Bug Signature ..." Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun (National University of Singapore, Singapore; University of California at Davis, USA) @InProceedings{ISSTA14p286, author = {Zhiqiang Zuo and Siau-Cheng Khoo and Chengnian Sun}, title = {Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {286-285}, doi = {}, year = {2014}, } Article: issta14main-mainid110-p doi:

171 authors

proc time: 0.94