ISSTA 2011 – Author Index

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

	Allwood, Tristan	ISSTA '11: "High Coverage Testing of Haskell ..." High Coverage Testing of Haskell Programs Tristan Allwood, Cristian Cadar, and Susan Eisenbach (Imperial College Longon, UK; Imperial College London, UK) @InProceedings{ISSTA11p375, author = {Tristan Allwood and Cristian Cadar and Susan Eisenbach}, title = {High Coverage Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2011}, }
	Arcuri, Andrea	ISSTA '11: "Adaptive Random Testing: An ..." Adaptive Random Testing: An Illusion of Effectiveness? Andrea Arcuri and Lionel Briand (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{ISSTA11p265, author = {Andrea Arcuri and Lionel Briand}, title = {Adaptive Random Testing: An Illusion of Effectiveness?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2011}, }
	Babić, Domagoj	ISSTA '11: "Statically-Directed Dynamic ..." Statically-Directed Dynamic Automated Test Generation Domagoj Babić, Lorenzo Martignoni, Stephen McCamant, and Dawn Song (UC Berkeley, USA) @InProceedings{ISSTA11p12, author = {Domagoj Babić and Lorenzo Martignoni and Stephen McCamant and Dawn Song}, title = {Statically-Directed Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2011}, }
	Balasubramanian, Daniel	ISSTA '11: "Polyglot: Modeling and Analysis ..." Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, and Michael Lowry (Vanderbilt University, USA; CMU, USA; NASA Ames Research Center, USA; University of Minnesota, USA) @InProceedings{ISSTA11p45, author = {Daniel Balasubramanian and Corina S. Păsăreanu and Michael W. Whalen and Gábor Karsai and Michael Lowry}, title = {Polyglot: Modeling and Analysis for Multiple Statechart Formalisms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }
	Bao, Tao	ISSTA '11: "Selecting Peers for Execution ..." Selecting Peers for Execution Comparison William N. Sumner, Tao Bao, and Xiangyu Zhang (Purdue University, USA) @InProceedings{ISSTA11p309, author = {William N. Sumner and Tao Bao and Xiangyu Zhang}, title = {Selecting Peers for Execution Comparison}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2011}, }
	Berg, Ryan	ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Bernat, Andrew R.	ISSTA '11: "Efficient, Sensitivity Resistant ..." Efficient, Sensitivity Resistant Binary Instrumentation Andrew R. Bernat, Kevin Roundy, and Barton P. Miller (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p89, author = {Andrew R. Bernat and Kevin Roundy and Barton P. Miller}, title = {Efficient, Sensitivity Resistant Binary Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2011}, }
	Briand, Lionel	ISSTA '11: "Adaptive Random Testing: An ..." Adaptive Random Testing: An Illusion of Effectiveness? Andrea Arcuri and Lionel Briand (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{ISSTA11p265, author = {Andrea Arcuri and Lionel Briand}, title = {Adaptive Random Testing: An Illusion of Effectiveness?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2011}, }
	Bu, Yingyi	ISSTA '11: "Combined Static and Dynamic ..." Combined Static and Dynamic Automated Test Generation Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst (University of Washington, USA; Google Inc., USA; UC Irvine, USA) @InProceedings{ISSTA11p353, author = {Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst}, title = {Combined Static and Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {353-352}, doi = {}, year = {2011}, }
	Bultan, Tevfik	ISSTA '11: "Bounded Verification of Ruby ..." Bounded Verification of Ruby on Rails Data Models Jaideep Nijjar and Tevfik Bultan (UC Santa Barbara, USA) @InProceedings{ISSTA11p67, author = {Jaideep Nijjar and Tevfik Bultan}, title = {Bounded Verification of Ruby on Rails Data Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2011}, }
	Burger, Martin	ISSTA '11: "Minimizing Reproduction of ..." Minimizing Reproduction of Software Failures Martin Burger and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA11p221, author = {Martin Burger and Andreas Zeller}, title = {Minimizing Reproduction of Software Failures}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2011}, }
	Burnim, Jacob	ISSTA '11: "Testing Concurrent Programs ..." Testing Concurrent Programs on Relaxed Memory Models Jacob Burnim, Koushik Sen, and Christos Stergiou (UC Berkeley, USA) @InProceedings{ISSTA11p122, author = {Jacob Burnim and Koushik Sen and Christos Stergiou}, title = {Testing Concurrent Programs on Relaxed Memory Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2011}, }
	Cadar, Cristian	ISSTA '11: "High Coverage Testing of Haskell ..." High Coverage Testing of Haskell Programs Tristan Allwood, Cristian Cadar, and Susan Eisenbach (Imperial College Longon, UK; Imperial College London, UK) @InProceedings{ISSTA11p375, author = {Tristan Allwood and Cristian Cadar and Susan Eisenbach}, title = {High Coverage Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2011}, }
	Cohen, Myra B.	ISSTA '11: "Feedback Driven Adaptive Combinatorial ..." Feedback Driven Adaptive Combinatorial Testing Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, and Adam Porter (Sabanci University, Turkey; University of Nebraska at Lincoln, USA; University of Maryland, USA) @InProceedings{ISSTA11p243, author = {Emine Dumlu and Cemal Yilmaz and Myra B. Cohen and Adam Porter}, title = {Feedback Driven Adaptive Combinatorial Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2011}, }
	De Halleux, Jonathan	ISSTA '11: "eXpress: Guided Path Exploration ..." eXpress: Guided Path Exploration for Efficient Regression Test Generation Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan De Halleux (North Carolina State University, USA; Microsoft Research, USA) @InProceedings{ISSTA11p1, author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan De Halleux}, title = {eXpress: Guided Path Exploration for Efficient Regression Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }
	DiGiuseppe, Nicholas	ISSTA '11: "On the Influence of Multiple ..." On the Influence of Multiple Faults on Coverage-Based Fault Localization Nicholas DiGiuseppe and James A. Jones (UC Irvine, USA) @InProceedings{ISSTA11p210, author = {Nicholas DiGiuseppe and James A. Jones}, title = {On the Influence of Multiple Faults on Coverage-Based Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2011}, }
	Dillon, Laura K.	ISSTA '11: "Scalable Analysis of Conceptual ..." Scalable Analysis of Conceptual Data Models Matthew J. McGill, Laura K. Dillon, and R. E. K. Stirewalt (Michigan State University, USA; LogicBlox Inc., USA) @InProceedings{ISSTA11p56, author = {Matthew J. McGill and Laura K. Dillon and R. E. K. Stirewalt}, title = {Scalable Analysis of Conceptual Data Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2011}, }
	Dolby, Julian	ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Dumlu, Emine	ISSTA '11: "Feedback Driven Adaptive Combinatorial ..." Feedback Driven Adaptive Combinatorial Testing Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, and Adam Porter (Sabanci University, Turkey; University of Nebraska at Lincoln, USA; University of Maryland, USA) @InProceedings{ISSTA11p243, author = {Emine Dumlu and Cemal Yilmaz and Myra B. Cohen and Adam Porter}, title = {Feedback Driven Adaptive Combinatorial Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2011}, }
	Eisenbach, Susan	ISSTA '11: "High Coverage Testing of Haskell ..." High Coverage Testing of Haskell Programs Tristan Allwood, Cristian Cadar, and Susan Eisenbach (Imperial College Longon, UK; Imperial College London, UK) @InProceedings{ISSTA11p375, author = {Tristan Allwood and Cristian Cadar and Susan Eisenbach}, title = {High Coverage Testing of Haskell Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2011}, }
	Engler, Dawson	ISSTA '11: "Using Automatic Persistent ..." Using Automatic Persistent Memoization to Facilitate Data Analysis Scripting Philip J. Guo and Dawson Engler (Stanford University, US) @InProceedings{ISSTA11p287, author = {Philip J. Guo and Dawson Engler}, title = {Using Automatic Persistent Memoization to Facilitate Data Analysis Scripting}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2011}, }
	Ernst, Michael D.	ISSTA '11: "Combined Static and Dynamic ..." Combined Static and Dynamic Automated Test Generation Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst (University of Washington, USA; Google Inc., USA; UC Irvine, USA) @InProceedings{ISSTA11p353, author = {Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst}, title = {Combined Static and Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {353-352}, doi = {}, year = {2011}, }
	Eschbach, Robert	ISSTA '11: "Iterative Refinement of Specification ..." Iterative Refinement of Specification for Component Based Embedded Systems Muzammil Shahbaz, K. C. Shashidhar, and Robert Eschbach (University of Sheffield, UK; MPI-SWS, Germany; Fraunhofer IESE, Germany) @InProceedings{ISSTA11p276, author = {Muzammil Shahbaz and K. C. Shashidhar and Robert Eschbach}, title = {Iterative Refinement of Specification for Component Based Embedded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2011}, }
	Farchi, Eitan	ISSTA '11: "Using Binary Decision Diagrams ..." Using Binary Decision Diagrams for Combinatorial Test Design Itai Segall, Rachel Tzoref-Brill, and Eitan Farchi (IBM Research Haifa, Israel) @InProceedings{ISSTA11p254, author = {Itai Segall and Rachel Tzoref-Brill and Eitan Farchi}, title = {Using Binary Decision Diagrams for Combinatorial Test Design}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2011}, }
	Fraser, Gordon	ISSTA '11: "Generating Parameterized Unit ..." Generating Parameterized Unit Tests Gordon Fraser and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA11p364, author = {Gordon Fraser and Andreas Zeller}, title = {Generating Parameterized Unit Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {}, year = {2011}, }
	Gligoric, Milos	ISSTA '11: "CoDeSe: Fast Deserialization ..." CoDeSe: Fast Deserialization via Code Generation Milos Gligoric, Darko Marinov, and Sam Kamin (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p298, author = {Milos Gligoric and Darko Marinov and Sam Kamin}, title = {CoDeSe: Fast Deserialization via Code Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2011}, }
	Godefroid, Patrice	ISSTA '11: "Automatic Partial Loop Summarization ..." Automatic Partial Loop Summarization in Dynamic Test Generation Patrice Godefroid and Daniel Luchaup (Microsoft Research, USA; University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p23, author = {Patrice Godefroid and Daniel Luchaup}, title = {Automatic Partial Loop Summarization in Dynamic Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2011}, }
	Gross, Thomas R.	ISSTA '11: "Detecting Anomalies in the ..." Detecting Anomalies in the Order of Equally-typed Method Arguments Michael Pradel and Thomas R. Gross (ETH Zurich, Switzerland) @InProceedings{ISSTA11p232, author = {Michael Pradel and Thomas R. Gross}, title = {Detecting Anomalies in the Order of Equally-typed Method Arguments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2011}, }
	Guarnieri, Salvatore	ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Gunter, Elsa L.	ISSTA '11: "Automated Framework for Formal ..." Automated Framework for Formal Operator Task Analysis Ayesha Yasmeen and Elsa L. Gunter (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p78, author = {Ayesha Yasmeen and Elsa L. Gunter}, title = {Automated Framework for Formal Operator Task Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2011}, }
	Guo, Philip J.	ISSTA '11: "Using Automatic Persistent ..." Using Automatic Persistent Memoization to Facilitate Data Analysis Scripting Philip J. Guo and Dawson Engler (Stanford University, US) @InProceedings{ISSTA11p287, author = {Philip J. Guo and Dawson Engler}, title = {Using Automatic Persistent Memoization to Facilitate Data Analysis Scripting}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2011}, }
	Huang, Jeff	ISSTA '11: "Persuasive Prediction of Concurrency ..." Persuasive Prediction of Concurrency Access Anomalies Jeff Huang and Charles Zhang (Hong Kong University of Science and Technology, China) @InProceedings{ISSTA11p144, author = {Jeff Huang and Charles Zhang}, title = {Persuasive Prediction of Concurrency Access Anomalies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2011}, }
	Jagannath, Vilas	ISSTA '11: "Change-Aware Preemption Prioritization ..." Change-Aware Preemption Prioritization Vilas Jagannath, Qingzhou Luo, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p133, author = {Vilas Jagannath and Qingzhou Luo and Darko Marinov}, title = {Change-Aware Preemption Prioritization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2011}, }
	Jones, James A.	ISSTA '11: "On the Influence of Multiple ..." On the Influence of Multiple Faults on Coverage-Based Fault Localization Nicholas DiGiuseppe and James A. Jones (UC Irvine, USA) @InProceedings{ISSTA11p210, author = {Nicholas DiGiuseppe and James A. Jones}, title = {On the Influence of Multiple Faults on Coverage-Based Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2011}, }
	Kakarla, Sahitya	ISSTA '11: "The Use of Mutation in Testing ..." The Use of Mutation in Testing Experiments and its Sensitivity to External Threats Akbar Siami Namin and Sahitya Kakarla (Texas Tech University, US) @InProceedings{ISSTA11p342, author = {Akbar Siami Namin and Sahitya Kakarla}, title = {The Use of Mutation in Testing Experiments and its Sensitivity to External Threats}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {342-341}, doi = {}, year = {2011}, }
	Kamin, Sam	ISSTA '11: "CoDeSe: Fast Deserialization ..." CoDeSe: Fast Deserialization via Code Generation Milos Gligoric, Darko Marinov, and Sam Kamin (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p298, author = {Milos Gligoric and Darko Marinov and Sam Kamin}, title = {CoDeSe: Fast Deserialization via Code Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2011}, }
	Karsai, Gábor	ISSTA '11: "Polyglot: Modeling and Analysis ..." Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, and Michael Lowry (Vanderbilt University, USA; CMU, USA; NASA Ames Research Center, USA; University of Minnesota, USA) @InProceedings{ISSTA11p45, author = {Daniel Balasubramanian and Corina S. Păsăreanu and Michael W. Whalen and Gábor Karsai and Michael Lowry}, title = {Polyglot: Modeling and Analysis for Multiple Statechart Formalisms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }
	Le, Wei	ISSTA '11: "Generating Analyses for Detecting ..." Generating Analyses for Detecting Faults in Path Segments Wei Le and Mary Lou Soffa (University of Virginia, USA) @InProceedings{ISSTA11p320, author = {Wei Le and Mary Lou Soffa}, title = {Generating Analyses for Detecting Faults in Path Segments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2011}, }
	Liblit, Ben	ISSTA '11: "Defective Error/Pointer Interactions ..." Defective Error/Pointer Interactions in the Linux Kernel Cindy Rubio-González and Ben Liblit (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p111, author = {Cindy Rubio-González and Ben Liblit}, title = {Defective Error/Pointer Interactions in the Linux Kernel}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2011}, }
	Lowry, Michael	ISSTA '11: "Polyglot: Modeling and Analysis ..." Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, and Michael Lowry (Vanderbilt University, USA; CMU, USA; NASA Ames Research Center, USA; University of Minnesota, USA) @InProceedings{ISSTA11p45, author = {Daniel Balasubramanian and Corina S. Păsăreanu and Michael W. Whalen and Gábor Karsai and Michael Lowry}, title = {Polyglot: Modeling and Analysis for Multiple Statechart Formalisms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }
	Luchaup, Daniel	ISSTA '11: "Automatic Partial Loop Summarization ..." Automatic Partial Loop Summarization in Dynamic Test Generation Patrice Godefroid and Daniel Luchaup (Microsoft Research, USA; University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p23, author = {Patrice Godefroid and Daniel Luchaup}, title = {Automatic Partial Loop Summarization in Dynamic Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2011}, }
	Luo, Qingzhou	ISSTA '11: "Change-Aware Preemption Prioritization ..." Change-Aware Preemption Prioritization Vilas Jagannath, Qingzhou Luo, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p133, author = {Vilas Jagannath and Qingzhou Luo and Darko Marinov}, title = {Change-Aware Preemption Prioritization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2011}, }
	Marinov, Darko	ISSTA '11: "Change-Aware Preemption Prioritization ..." Change-Aware Preemption Prioritization Vilas Jagannath, Qingzhou Luo, and Darko Marinov (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p133, author = {Vilas Jagannath and Qingzhou Luo and Darko Marinov}, title = {Change-Aware Preemption Prioritization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2011}, } ISSTA '11: "CoDeSe: Fast Deserialization ..." CoDeSe: Fast Deserialization via Code Generation Milos Gligoric, Darko Marinov, and Sam Kamin (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p298, author = {Milos Gligoric and Darko Marinov and Sam Kamin}, title = {CoDeSe: Fast Deserialization via Code Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2011}, }
	Martignoni, Lorenzo	ISSTA '11: "Statically-Directed Dynamic ..." Statically-Directed Dynamic Automated Test Generation Domagoj Babić, Lorenzo Martignoni, Stephen McCamant, and Dawn Song (UC Berkeley, USA) @InProceedings{ISSTA11p12, author = {Domagoj Babić and Lorenzo Martignoni and Stephen McCamant and Dawn Song}, title = {Statically-Directed Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2011}, }
	McCamant, Stephen	ISSTA '11: "Statically-Directed Dynamic ..." Statically-Directed Dynamic Automated Test Generation Domagoj Babić, Lorenzo Martignoni, Stephen McCamant, and Dawn Song (UC Berkeley, USA) @InProceedings{ISSTA11p12, author = {Domagoj Babić and Lorenzo Martignoni and Stephen McCamant and Dawn Song}, title = {Statically-Directed Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2011}, }
	McGill, Matthew J.	ISSTA '11: "Scalable Analysis of Conceptual ..." Scalable Analysis of Conceptual Data Models Matthew J. McGill, Laura K. Dillon, and R. E. K. Stirewalt (Michigan State University, USA; LogicBlox Inc., USA) @InProceedings{ISSTA11p56, author = {Matthew J. McGill and Laura K. Dillon and R. E. K. Stirewalt}, title = {Scalable Analysis of Conceptual Data Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2011}, }
	Miller, Barton P.	ISSTA '11: "Recovering the Toolchain Provenance ..." Recovering the Toolchain Provenance of Binary Code Nathan Rosenblum, Barton P. Miller, and Xiaojin Zhu (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p100, author = {Nathan Rosenblum and Barton P. Miller and Xiaojin Zhu}, title = {Recovering the Toolchain Provenance of Binary Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2011}, } ISSTA '11: "Efficient, Sensitivity Resistant ..." Efficient, Sensitivity Resistant Binary Instrumentation Andrew R. Bernat, Kevin Roundy, and Barton P. Miller (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p89, author = {Andrew R. Bernat and Kevin Roundy and Barton P. Miller}, title = {Efficient, Sensitivity Resistant Binary Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2011}, }
	Namin, Akbar Siami	ISSTA '11: "The Use of Mutation in Testing ..." The Use of Mutation in Testing Experiments and its Sensitivity to External Threats Akbar Siami Namin and Sahitya Kakarla (Texas Tech University, US) @InProceedings{ISSTA11p342, author = {Akbar Siami Namin and Sahitya Kakarla}, title = {The Use of Mutation in Testing Experiments and its Sensitivity to External Threats}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {342-341}, doi = {}, year = {2011}, }
	Nijjar, Jaideep	ISSTA '11: "Bounded Verification of Ruby ..." Bounded Verification of Ruby on Rails Data Models Jaideep Nijjar and Tevfik Bultan (UC Santa Barbara, USA) @InProceedings{ISSTA11p67, author = {Jaideep Nijjar and Tevfik Bultan}, title = {Bounded Verification of Ruby on Rails Data Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2011}, }
	Orso, Alessandro	ISSTA '11: "Are Automated Debugging Techniques ..." Are Automated Debugging Techniques Actually Helping Programmers? Chris Parnin and Alessandro Orso (Georgia Tech, USA) @InProceedings{ISSTA11p199, author = {Chris Parnin and Alessandro Orso}, title = {Are Automated Debugging Techniques Actually Helping Programmers?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2011}, }
	Parnin, Chris	ISSTA '11: "Are Automated Debugging Techniques ..." Are Automated Debugging Techniques Actually Helping Programmers? Chris Parnin and Alessandro Orso (Georgia Tech, USA) @InProceedings{ISSTA11p199, author = {Chris Parnin and Alessandro Orso}, title = {Are Automated Debugging Techniques Actually Helping Programmers?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2011}, }
	Păsăreanu, Corina S.	ISSTA '11: "Symbolic Execution with Mixed ..." Symbolic Execution with Mixed Concrete-Symbolic Solving Corina S. Păsăreanu, Neha Rungta, and Willem Visser (CMU, USA; NASA Ames Research Center, USA; SGT Inc., USA; Stellenbosch University, South Africa) @InProceedings{ISSTA11p34, author = {Corina S. Păsăreanu and Neha Rungta and Willem Visser}, title = {Symbolic Execution with Mixed Concrete-Symbolic Solving}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2011}, } ISSTA '11: "Polyglot: Modeling and Analysis ..." Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, and Michael Lowry (Vanderbilt University, USA; CMU, USA; NASA Ames Research Center, USA; University of Minnesota, USA) @InProceedings{ISSTA11p45, author = {Daniel Balasubramanian and Corina S. Păsăreanu and Michael W. Whalen and Gábor Karsai and Michael Lowry}, title = {Polyglot: Modeling and Analysis for Multiple Statechart Formalisms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }
	Pistoia, Marco	ISSTA '11: "Path- and Index-sensitive ..." Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Takaaki Tateishi, Marco Pistoia, and Omer Tripp (IBM Research Tokyo, Japan; IBM Research Watson, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p166, author = {Takaaki Tateishi and Marco Pistoia and Omer Tripp}, title = {Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2011}, } ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Porter, Adam	ISSTA '11: "Feedback Driven Adaptive Combinatorial ..." Feedback Driven Adaptive Combinatorial Testing Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, and Adam Porter (Sabanci University, Turkey; University of Nebraska at Lincoln, USA; University of Maryland, USA) @InProceedings{ISSTA11p243, author = {Emine Dumlu and Cemal Yilmaz and Myra B. Cohen and Adam Porter}, title = {Feedback Driven Adaptive Combinatorial Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2011}, }
	Pradel, Michael	ISSTA '11: "Detecting Anomalies in the ..." Detecting Anomalies in the Order of Equally-typed Method Arguments Michael Pradel and Thomas R. Gross (ETH Zurich, Switzerland) @InProceedings{ISSTA11p232, author = {Michael Pradel and Thomas R. Gross}, title = {Detecting Anomalies in the Order of Equally-typed Method Arguments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2011}, }
	Rosenblum, Nathan	ISSTA '11: "Recovering the Toolchain Provenance ..." Recovering the Toolchain Provenance of Binary Code Nathan Rosenblum, Barton P. Miller, and Xiaojin Zhu (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p100, author = {Nathan Rosenblum and Barton P. Miller and Xiaojin Zhu}, title = {Recovering the Toolchain Provenance of Binary Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2011}, }
	Roundy, Kevin	ISSTA '11: "Efficient, Sensitivity Resistant ..." Efficient, Sensitivity Resistant Binary Instrumentation Andrew R. Bernat, Kevin Roundy, and Barton P. Miller (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p89, author = {Andrew R. Bernat and Kevin Roundy and Barton P. Miller}, title = {Efficient, Sensitivity Resistant Binary Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2011}, }
	Rountev, Atanas	ISSTA '11: "Demand-Driven Context-Sensitive ..." Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA) @InProceedings{ISSTA11p155, author = {Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Demand-Driven Context-Sensitive Alias Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2011}, }
	Rubio-González, Cindy	ISSTA '11: "Defective Error/Pointer Interactions ..." Defective Error/Pointer Interactions in the Linux Kernel Cindy Rubio-González and Ben Liblit (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p111, author = {Cindy Rubio-González and Ben Liblit}, title = {Defective Error/Pointer Interactions in the Linux Kernel}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2011}, }
	Rungta, Neha	ISSTA '11: "Symbolic Execution with Mixed ..." Symbolic Execution with Mixed Concrete-Symbolic Solving Corina S. Păsăreanu, Neha Rungta, and Willem Visser (CMU, USA; NASA Ames Research Center, USA; SGT Inc., USA; Stellenbosch University, South Africa) @InProceedings{ISSTA11p34, author = {Corina S. Păsăreanu and Neha Rungta and Willem Visser}, title = {Symbolic Execution with Mixed Concrete-Symbolic Solving}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2011}, }
	Saff, David	ISSTA '11: "Combined Static and Dynamic ..." Combined Static and Dynamic Automated Test Generation Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst (University of Washington, USA; Google Inc., USA; UC Irvine, USA) @InProceedings{ISSTA11p353, author = {Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst}, title = {Combined Static and Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {353-352}, doi = {}, year = {2011}, }
	Segall, Itai	ISSTA '11: "Using Binary Decision Diagrams ..." Using Binary Decision Diagrams for Combinatorial Test Design Itai Segall, Rachel Tzoref-Brill, and Eitan Farchi (IBM Research Haifa, Israel) @InProceedings{ISSTA11p254, author = {Itai Segall and Rachel Tzoref-Brill and Eitan Farchi}, title = {Using Binary Decision Diagrams for Combinatorial Test Design}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2011}, }
	Sen, Koushik	ISSTA '11: "Testing Concurrent Programs ..." Testing Concurrent Programs on Relaxed Memory Models Jacob Burnim, Koushik Sen, and Christos Stergiou (UC Berkeley, USA) @InProceedings{ISSTA11p122, author = {Jacob Burnim and Koushik Sen and Christos Stergiou}, title = {Testing Concurrent Programs on Relaxed Memory Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2011}, }
	Shahbaz, Muzammil	ISSTA '11: "Iterative Refinement of Specification ..." Iterative Refinement of Specification for Component Based Embedded Systems Muzammil Shahbaz, K. C. Shashidhar, and Robert Eschbach (University of Sheffield, UK; MPI-SWS, Germany; Fraunhofer IESE, Germany) @InProceedings{ISSTA11p276, author = {Muzammil Shahbaz and K. C. Shashidhar and Robert Eschbach}, title = {Iterative Refinement of Specification for Component Based Embedded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2011}, }
	Shashidhar, K. C.	ISSTA '11: "Iterative Refinement of Specification ..." Iterative Refinement of Specification for Component Based Embedded Systems Muzammil Shahbaz, K. C. Shashidhar, and Robert Eschbach (University of Sheffield, UK; MPI-SWS, Germany; Fraunhofer IESE, Germany) @InProceedings{ISSTA11p276, author = {Muzammil Shahbaz and K. C. Shashidhar and Robert Eschbach}, title = {Iterative Refinement of Specification for Component Based Embedded Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2011}, }
	Soffa, Mary Lou	ISSTA '11: "Generating Analyses for Detecting ..." Generating Analyses for Detecting Faults in Path Segments Wei Le and Mary Lou Soffa (University of Virginia, USA) @InProceedings{ISSTA11p320, author = {Wei Le and Mary Lou Soffa}, title = {Generating Analyses for Detecting Faults in Path Segments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2011}, }
	Song, Dawn	ISSTA '11: "Statically-Directed Dynamic ..." Statically-Directed Dynamic Automated Test Generation Domagoj Babić, Lorenzo Martignoni, Stephen McCamant, and Dawn Song (UC Berkeley, USA) @InProceedings{ISSTA11p12, author = {Domagoj Babić and Lorenzo Martignoni and Stephen McCamant and Dawn Song}, title = {Statically-Directed Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2011}, }
	Stergiou, Christos	ISSTA '11: "Testing Concurrent Programs ..." Testing Concurrent Programs on Relaxed Memory Models Jacob Burnim, Koushik Sen, and Christos Stergiou (UC Berkeley, USA) @InProceedings{ISSTA11p122, author = {Jacob Burnim and Koushik Sen and Christos Stergiou}, title = {Testing Concurrent Programs on Relaxed Memory Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2011}, }
	Stirewalt, R. E. K.	ISSTA '11: "Scalable Analysis of Conceptual ..." Scalable Analysis of Conceptual Data Models Matthew J. McGill, Laura K. Dillon, and R. E. K. Stirewalt (Michigan State University, USA; LogicBlox Inc., USA) @InProceedings{ISSTA11p56, author = {Matthew J. McGill and Laura K. Dillon and R. E. K. Stirewalt}, title = {Scalable Analysis of Conceptual Data Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2011}, }
	Sumner, William N.	ISSTA '11: "Selecting Peers for Execution ..." Selecting Peers for Execution Comparison William N. Sumner, Tao Bao, and Xiangyu Zhang (Purdue University, USA) @InProceedings{ISSTA11p309, author = {William N. Sumner and Tao Bao and Xiangyu Zhang}, title = {Selecting Peers for Execution Comparison}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2011}, }
	Taneja, Kunal	ISSTA '11: "eXpress: Guided Path Exploration ..." eXpress: Guided Path Exploration for Efficient Regression Test Generation Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan De Halleux (North Carolina State University, USA; Microsoft Research, USA) @InProceedings{ISSTA11p1, author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan De Halleux}, title = {eXpress: Guided Path Exploration for Efficient Regression Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }
	Tateishi, Takaaki	ISSTA '11: "Path- and Index-sensitive ..." Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Takaaki Tateishi, Marco Pistoia, and Omer Tripp (IBM Research Tokyo, Japan; IBM Research Watson, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p166, author = {Takaaki Tateishi and Marco Pistoia and Omer Tripp}, title = {Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2011}, }
	Teilhet, Stephen	ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Tillmann, Nikolai	ISSTA '11: "eXpress: Guided Path Exploration ..." eXpress: Guided Path Exploration for Efficient Regression Test Generation Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan De Halleux (North Carolina State University, USA; Microsoft Research, USA) @InProceedings{ISSTA11p1, author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan De Halleux}, title = {eXpress: Guided Path Exploration for Efficient Regression Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }
	Tripp, Omer	ISSTA '11: "Path- and Index-sensitive ..." Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic Takaaki Tateishi, Marco Pistoia, and Omer Tripp (IBM Research Tokyo, Japan; IBM Research Watson, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p166, author = {Takaaki Tateishi and Marco Pistoia and Omer Tripp}, title = {Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2011}, } ISSTA '11: "Saving the World Wide Web ..." Saving the World Wide Web from Vulnerable JavaScript Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg (IBM Research Watson, USA; University of Washington, USA; IBM Software Group, USA; Tel Aviv University, Israel) @InProceedings{ISSTA11p177, author = {Salvatore Guarnieri and Marco Pistoia and Omer Tripp and Julian Dolby and Stephen Teilhet and Ryan Berg}, title = {Saving the World Wide Web from Vulnerable JavaScript}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2011}, }
	Tzoref-Brill, Rachel	ISSTA '11: "Using Binary Decision Diagrams ..." Using Binary Decision Diagrams for Combinatorial Test Design Itai Segall, Rachel Tzoref-Brill, and Eitan Farchi (IBM Research Haifa, Israel) @InProceedings{ISSTA11p254, author = {Itai Segall and Rachel Tzoref-Brill and Eitan Farchi}, title = {Using Binary Decision Diagrams for Combinatorial Test Design}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2011}, }
	Visser, Willem	ISSTA '11: "Symbolic Execution with Mixed ..." Symbolic Execution with Mixed Concrete-Symbolic Solving Corina S. Păsăreanu, Neha Rungta, and Willem Visser (CMU, USA; NASA Ames Research Center, USA; SGT Inc., USA; Stellenbosch University, South Africa) @InProceedings{ISSTA11p34, author = {Corina S. Păsăreanu and Neha Rungta and Willem Visser}, title = {Symbolic Execution with Mixed Concrete-Symbolic Solving}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2011}, }
	Whalen, Michael W.	ISSTA '11: "Polyglot: Modeling and Analysis ..." Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen, Gábor Karsai, and Michael Lowry (Vanderbilt University, USA; CMU, USA; NASA Ames Research Center, USA; University of Minnesota, USA) @InProceedings{ISSTA11p45, author = {Daniel Balasubramanian and Corina S. Păsăreanu and Michael W. Whalen and Gábor Karsai and Michael Lowry}, title = {Polyglot: Modeling and Analysis for Multiple Statechart Formalisms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }
	Xiao, Xiao	ISSTA '11: "Geometric Encoding: Forging ..." Geometric Encoding: Forging the High Performance Context Sensitive Points-to Analysis for Java Xiao Xiao and Charles Zhang (Hong Kong University of Science and Technology, China) @InProceedings{ISSTA11p188, author = {Xiao Xiao and Charles Zhang}, title = {Geometric Encoding: Forging the High Performance Context Sensitive Points-to Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2011}, }
	Xie, Tao	ISSTA '11: "eXpress: Guided Path Exploration ..." eXpress: Guided Path Exploration for Efficient Regression Test Generation Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan De Halleux (North Carolina State University, USA; Microsoft Research, USA) @InProceedings{ISSTA11p1, author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan De Halleux}, title = {eXpress: Guided Path Exploration for Efficient Regression Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }
	Xu, Guoqing	ISSTA '11: "Demand-Driven Context-Sensitive ..." Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA) @InProceedings{ISSTA11p155, author = {Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Demand-Driven Context-Sensitive Alias Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2011}, }
	Yan, Dacong	ISSTA '11: "Demand-Driven Context-Sensitive ..." Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA) @InProceedings{ISSTA11p155, author = {Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Demand-Driven Context-Sensitive Alias Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2011}, }
	Yasmeen, Ayesha	ISSTA '11: "Automated Framework for Formal ..." Automated Framework for Formal Operator Task Analysis Ayesha Yasmeen and Elsa L. Gunter (University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA11p78, author = {Ayesha Yasmeen and Elsa L. Gunter}, title = {Automated Framework for Formal Operator Task Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2011}, }
	Yilmaz, Cemal	ISSTA '11: "Feedback Driven Adaptive Combinatorial ..." Feedback Driven Adaptive Combinatorial Testing Emine Dumlu, Cemal Yilmaz, Myra B. Cohen, and Adam Porter (Sabanci University, Turkey; University of Nebraska at Lincoln, USA; University of Maryland, USA) @InProceedings{ISSTA11p243, author = {Emine Dumlu and Cemal Yilmaz and Myra B. Cohen and Adam Porter}, title = {Feedback Driven Adaptive Combinatorial Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2011}, }
	Zeller, Andreas	ISSTA '11: "Minimizing Reproduction of ..." Minimizing Reproduction of Software Failures Martin Burger and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA11p221, author = {Martin Burger and Andreas Zeller}, title = {Minimizing Reproduction of Software Failures}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2011}, } ISSTA '11: "Generating Parameterized Unit ..." Generating Parameterized Unit Tests Gordon Fraser and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA11p364, author = {Gordon Fraser and Andreas Zeller}, title = {Generating Parameterized Unit Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {364-363}, doi = {}, year = {2011}, }
	Zhang, Charles	ISSTA '11: "Persuasive Prediction of Concurrency ..." Persuasive Prediction of Concurrency Access Anomalies Jeff Huang and Charles Zhang (Hong Kong University of Science and Technology, China) @InProceedings{ISSTA11p144, author = {Jeff Huang and Charles Zhang}, title = {Persuasive Prediction of Concurrency Access Anomalies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2011}, } ISSTA '11: "Geometric Encoding: Forging ..." Geometric Encoding: Forging the High Performance Context Sensitive Points-to Analysis for Java Xiao Xiao and Charles Zhang (Hong Kong University of Science and Technology, China) @InProceedings{ISSTA11p188, author = {Xiao Xiao and Charles Zhang}, title = {Geometric Encoding: Forging the High Performance Context Sensitive Points-to Analysis for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2011}, }
	Zhang, Jian	ISSTA '11: "Characterizing Failure-Causing ..." Characterizing Failure-Causing Parameter Interactions by Adaptive Testing Zhiqiang Zhang and Jian Zhang (Chinese Academy of Sciences, China) @InProceedings{ISSTA11p331, author = {Zhiqiang Zhang and Jian Zhang}, title = {Characterizing Failure-Causing Parameter Interactions by Adaptive Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2011}, }
	Zhang, Sai	ISSTA '11: "Combined Static and Dynamic ..." Combined Static and Dynamic Automated Test Generation Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst (University of Washington, USA; Google Inc., USA; UC Irvine, USA) @InProceedings{ISSTA11p353, author = {Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst}, title = {Combined Static and Dynamic Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {353-352}, doi = {}, year = {2011}, }
	Zhang, Xiangyu	ISSTA '11: "Selecting Peers for Execution ..." Selecting Peers for Execution Comparison William N. Sumner, Tao Bao, and Xiangyu Zhang (Purdue University, USA) @InProceedings{ISSTA11p309, author = {William N. Sumner and Tao Bao and Xiangyu Zhang}, title = {Selecting Peers for Execution Comparison}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2011}, }
	Zhang, Zhiqiang	ISSTA '11: "Characterizing Failure-Causing ..." Characterizing Failure-Causing Parameter Interactions by Adaptive Testing Zhiqiang Zhang and Jian Zhang (Chinese Academy of Sciences, China) @InProceedings{ISSTA11p331, author = {Zhiqiang Zhang and Jian Zhang}, title = {Characterizing Failure-Causing Parameter Interactions by Adaptive Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2011}, }
	Zhu, Xiaojin	ISSTA '11: "Recovering the Toolchain Provenance ..." Recovering the Toolchain Provenance of Binary Code Nathan Rosenblum, Barton P. Miller, and Xiaojin Zhu (University of Wisconsin – Madison, USA) @InProceedings{ISSTA11p100, author = {Nathan Rosenblum and Barton P. Miller and Xiaojin Zhu}, title = {Recovering the Toolchain Provenance of Binary Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2011}, }

98 authors

proc time: 0.06