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}, } Article: issta11full-id46-p (type: Full Paper) doi:
	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}, } Article: issta11full-id3-p (type: Full Paper) doi:
	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}, } Article: issta11full-id90-p (type: Full Paper) doi:
	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}, } Article: issta11full-id80-p (type: Full Paper) doi:
	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}, } Article: issta11full-id116-p (type: Full Paper) doi:
	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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id23-p (type: Full Paper) doi:
	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}, } Article: issta11full-id3-p (type: Full Paper) doi:
	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}, } Article: issta11full-id111-p (type: Full Paper) doi:
	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}, } Article: issta11full-id83-p (type: Full Paper) doi:
	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}, } Article: issta11full-id43-p (type: Full Paper) doi:
	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}, } Article: issta11full-id102-p (type: Full Paper) doi:
	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}, } Article: issta11full-id46-p (type: Full Paper) doi:
	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}, } Article: issta11full-id76-p (type: Full Paper) doi:
	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}, } Article: issta11full-id88-p (type: Full Paper) doi:
	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}, } Article: issta11full-id91-p (type: Full Paper) doi:
	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}, } Article: issta11full-id37-p (type: Full Paper) doi:
	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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id76-p (type: Full Paper) doi:
	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}, } Article: issta11full-id46-p (type: Full Paper) doi:
	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}, } Article: issta11full-id39-p (type: Full Paper) doi:
	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}, } Article: issta11full-id111-p (type: Full Paper) doi:
	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}, } Article: issta11full-id71-p (type: Full Paper) doi:
	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}, } Article: issta11full-id28-p (type: Full Paper) doi:
	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}, } Article: issta11full-id67-p (type: Full Paper) doi:
	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}, } Article: issta11full-id97-p (type: Full Paper) doi:
	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}, } Article: issta11full-id96-p (type: Full Paper) doi:
	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}, } Article: issta11full-id1-p (type: Full Paper) doi:
	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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id87-p (type: Full Paper) doi:
	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}, } Article: issta11full-id39-p (type: Full Paper) doi:
	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}, } Article: issta11full-id9-p (type: Full Paper) doi:
	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}, } Article: issta11full-id118-p (type: Full Paper) doi:
	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}, } Article: issta11full-id91-p (type: Full Paper) doi:
	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}, } Article: issta11full-id75-p (type: Full Paper) doi:
	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}, } Article: issta11full-id97-p (type: Full Paper) doi:
	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}, } Article: issta11full-id80-p (type: Full Paper) doi:
	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}, } Article: issta11full-id73-p (type: Full Paper) doi:
	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}, } Article: issta11full-id21-p (type: Full Paper) doi:
	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}, } Article: issta11full-id80-p (type: Full Paper) doi:
	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}, } Article: issta11full-id96-p (type: Full Paper) doi:
	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}, } Article: issta11full-id118-p (type: Full Paper) doi:
	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}, } Article: issta11full-id118-p (type: Full Paper) doi: 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}, } Article: issta11full-id97-p (type: Full Paper) doi:
	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}, } Article: issta11full-id90-p (type: Full Paper) doi:
	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}, } Article: issta11full-id90-p (type: Full Paper) doi:
	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}, } Article: issta11full-id37-p (type: Full Paper) doi:
	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}, } Article: issta11full-id38-p (type: Full Paper) doi: 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}, } Article: issta11full-id23-p (type: Full Paper) doi:
	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}, } Article: issta11full-id75-p (type: Full Paper) doi:
	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}, } Article: issta11full-id83-p (type: Full Paper) doi:
	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}, } Article: issta11full-id119-p (type: Full Paper) doi:
	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}, } Article: issta11full-id119-p (type: Full Paper) doi:
	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}, } Article: issta11full-id86-p (type: Full Paper) doi: 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}, } Article: issta11full-id80-p (type: Full Paper) doi:
	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}, } Article: issta11full-id100-p (type: Full Paper) doi: 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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id76-p (type: Full Paper) doi:
	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}, } Article: issta11full-id1-p (type: Full Paper) doi:
	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}, } Article: issta11full-id38-p (type: Full Paper) doi:
	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}, } Article: issta11full-id23-p (type: Full Paper) doi:
	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}, } Article: issta11full-id58-p (type: Full Paper) doi:
	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}, } Article: issta11full-id21-p (type: Full Paper) doi:
	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}, } Article: issta11full-id86-p (type: Full Paper) doi:
	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}, } Article: issta11full-id111-p (type: Full Paper) doi:
	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}, } Article: issta11full-id28-p (type: Full Paper) doi:
	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}, } Article: issta11full-id102-p (type: Full Paper) doi:
	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}, } Article: issta11full-id71-p (type: Full Paper) doi:
	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}, } Article: issta11full-id71-p (type: Full Paper) doi:
	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}, } Article: issta11full-id73-p (type: Full Paper) doi:
	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}, } Article: issta11full-id90-p (type: Full Paper) doi:
	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}, } Article: issta11full-id102-p (type: Full Paper) doi:
	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}, } Article: issta11full-id37-p (type: Full Paper) doi:
	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}, } Article: issta11full-id116-p (type: Full Paper) doi:
	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}, } Article: issta11full-id88-p (type: Full Paper) doi:
	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}, } Article: issta11full-id100-p (type: Full Paper) doi:
	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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id88-p (type: Full Paper) doi:
	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}, } Article: issta11full-id100-p (type: Full Paper) doi: 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}, } Article: issta11full-id69-p (type: Full Paper) doi:
	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}, } Article: issta11full-id28-p (type: Full Paper) doi:
	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}, } Article: issta11full-id86-p (type: Full Paper) doi:
	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}, } Article: issta11full-id80-p (type: Full Paper) doi:
	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}, } Article: issta11full-id31-p (type: Full Paper) doi:
	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}, } Article: issta11full-id88-p (type: Full Paper) doi:
	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}, } Article: issta11full-id58-p (type: Full Paper) doi:
	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}, } Article: issta11full-id58-p (type: Full Paper) doi:
	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}, } Article: issta11full-id87-p (type: Full Paper) doi:
	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}, } Article: issta11full-id76-p (type: Full Paper) doi:
	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}, } Article: issta11full-id43-p (type: Full Paper) doi: 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}, } Article: issta11full-id67-p (type: Full Paper) doi:
	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}, } Article: issta11full-id9-p (type: Full Paper) doi: 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}, } Article: issta11full-id31-p (type: Full Paper) doi:
	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}, } Article: issta11full-id84-p (type: Full Paper) doi:
	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}, } Article: issta11full-id111-p (type: Full Paper) doi:
	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}, } Article: issta11full-id116-p (type: Full Paper) doi:
	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}, } Article: issta11full-id84-p (type: Full Paper) doi:
	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}, } Article: issta11full-id38-p (type: Full Paper) doi:

98 authors

proc time: 0.07