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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Full Paper (10 pages + references)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (10 pages + references)) doi:

171 authors

proc time: 0.35