ISSTA 2012 – Author Index

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

	Ahn, Jaemin	ISSTA '12: "Testing Concurrent Programs ..." Testing Concurrent Programs to Achieve High Synchronization Coverage Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold (KAIST, South Korea; Georgia Tech, USA) @InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, }
	Alkhalaf, Muath	ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Alshahwan, Nadia	ISSTA '12: "State Aware Test Case Regeneration ..." State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection Nadia Alshahwan and Mark Harman (University College London, UK) @InProceedings{ISSTA12p45, author = {Nadia Alshahwan and Mark Harman}, title = {State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2012}, }
	Arcuri, Andrea	ISSTA '12: "Empirical Investigation of ..." Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel Briand (Simula Research Laboratory, Norway; University of Oslo, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA12p199, author = {Muhammad Zohaib Iqbal and Andrea Arcuri and Lionel Briand}, title = {Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2012}, }
	Balzarotti, Davide	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }
	Bodden, Eric	ISSTA '12: "RefaFlex: Safer Refactorings ..." RefaFlex: Safer Refactorings for Reflective Java Programs Andreas Thies and Eric Bodden (Fernunversität in Hagen, Germany; TU Darmstadt, Germany) @InProceedings{ISSTA12p1, author = {Andreas Thies and Eric Bodden}, title = {RefaFlex: Safer Refactorings for Reflective Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Briand, Lionel	ISSTA '12: "Empirical Investigation of ..." Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel Briand (Simula Research Laboratory, Norway; University of Oslo, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA12p199, author = {Muhammad Zohaib Iqbal and Andrea Arcuri and Lionel Briand}, title = {Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2012}, }
	Bultan, Tevfik	ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Caballero, Juan	ISSTA '12: "Undangle: Early Detection ..." Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa (IMDEA Software Institute, Spain) @InProceedings{ISSTA12p133, author = {Juan Caballero and Gustavo Grieco and Mark Marron and Antonio Nappa}, title = {Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2012}, }
	Canali, Davide	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }
	Chan, W. K.	ISSTA '12: "CARISMA: a Context-sensitive ..." CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications Ke Zhai, Boni Xu, W. K. Chan, and T. H. Tse (University of Hong Kong, Hong Kong; City University of Hong Kong, Hong Kong) @InProceedings{ISSTA12p221, author = {Ke Zhai and Boni Xu and W. K. Chan and T. H. Tse}, title = {CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2012}, }
	Chang, Bor-Yuh Evan	ISSTA '12: "Measuring Enforcement Windows ..." Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek (University of Colorado at Boulder, USA; Google, USA) @InProceedings{ISSTA12p276, author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek}, title = {Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2012}, }
	Chen, Yang	ISSTA '12: "Swarm Testing ..." Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr (Oregon State University, USA; University of Utah, USA) @InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }
	Choudhary, Shauvik Roy	ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Christodorescu, Mihai	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }
	Cobb, Jake	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Coughlin, Devin	ISSTA '12: "Measuring Enforcement Windows ..." Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek (University of Colorado at Boulder, USA; Google, USA) @InProceedings{ISSTA12p276, author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek}, title = {Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2012}, }
	Csallner, Christoph	ISSTA '12: "Residual Investigation: Predictive ..." Residual Investigation: Predictive and Precise Bug Detection Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis (University of Massachusetts at Amherst, USA; University of Texas at Arlington, USA; University of Athens, Greece) @InProceedings{ISSTA12p298, author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis}, title = {Residual Investigation: Predictive and Precise Bug Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2012}, }
	Disney, Tim	ISSTA '12: "Cooperative Types for Controlling ..." Cooperative Types for Controlling Thread Interference in Java Jaeheon Yi, Tim Disney, Stephen N. Freund, and Cormac Flanagan (UC Santa Cruz, USA; Williams College, USA) @InProceedings{ISSTA12p232, author = {Jaeheon Yi and Tim Disney and Stephen N. Freund and Cormac Flanagan}, title = {Cooperative Types for Controlling Thread Interference in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2012}, }
	Diwan, Amer	ISSTA '12: "Measuring Enforcement Windows ..." Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek (University of Colorado at Boulder, USA; Google, USA) @InProceedings{ISSTA12p276, author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek}, title = {Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2012}, }
	Dwyer, Matthew B.	ISSTA '12: "Probabilistic Symbolic Execution ..." Probabilistic Symbolic Execution Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser (Stellenbosch University, South Africa; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p166, author = {Jaco Geldenhuys and Matthew B. Dwyer and Willem Visser}, title = {Probabilistic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2012}, } ISSTA '12: "Compositional Load Test Generation ..." Compositional Load Test Generation for Software Pipelines Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p89, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Compositional Load Test Generation for Software Pipelines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2012}, }
	Eide, Eric	ISSTA '12: "Swarm Testing ..." Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr (Oregon State University, USA; University of Utah, USA) @InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }
	Elbaum, Sebastian	ISSTA '12: "Compositional Load Test Generation ..." Compositional Load Test Generation for Software Pipelines Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p89, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Compositional Load Test Generation for Software Pipelines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2012}, }
	Ernst, Michael D.	ISSTA '12: "Finding Errors in Multithreaded ..." Finding Errors in Multithreaded GUI Applications Sai Zhang, Hao Lü, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA12p243, author = {Sai Zhang and Hao Lü and Michael D. Ernst}, title = {Finding Errors in Multithreaded GUI Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2012}, }
	Fazzini, Mattia	ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Flanagan, Cormac	ISSTA '12: "Cooperative Types for Controlling ..." Cooperative Types for Controlling Thread Interference in Java Jaeheon Yi, Tim Disney, Stephen N. Freund, and Cormac Flanagan (UC Santa Cruz, USA; Williams College, USA) @InProceedings{ISSTA12p232, author = {Jaeheon Yi and Tim Disney and Stephen N. Freund and Cormac Flanagan}, title = {Cooperative Types for Controlling Thread Interference in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2012}, } ISSTA '12: "Detecting Inconsistencies ..." Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb and Cormac Flanagan (Galois, USA; UC Santa Cruz, USA) @InProceedings{ISSTA12p287, author = {Aaron Tomb and Cormac Flanagan}, title = {Detecting Inconsistencies via Universal Reachability Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2012}, }
	Fraser, Gordon	ISSTA '12: "Isolating Failure Causes through ..." Isolating Failure Causes through Test Case Generation Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso (Saarland University, Germany; Georgia Tech, USA) @InProceedings{ISSTA12p309, author = {Jeremias Rößler and Gordon Fraser and Andreas Zeller and Alessandro Orso}, title = {Isolating Failure Causes through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2012}, } ISSTA '12: "Search-Based System Testing: ..." Search-Based System Testing: High Coverage, No False Alarms Florian Gross, Gordon Fraser, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA12p67, author = {Florian Gross and Gordon Fraser and Andreas Zeller}, title = {Search-Based System Testing: High Coverage, No False Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2012}, }
	Freund, Stephen N.	ISSTA '12: "Cooperative Types for Controlling ..." Cooperative Types for Controlling Thread Interference in Java Jaeheon Yi, Tim Disney, Stephen N. Freund, and Cormac Flanagan (UC Santa Cruz, USA; Williams College, USA) @InProceedings{ISSTA12p232, author = {Jaeheon Yi and Tim Disney and Stephen N. Freund and Cormac Flanagan}, title = {Cooperative Types for Controlling Thread Interference in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2012}, }
	Fry, Zachary P.	ISSTA '12: "A Human Study of Patch Maintainability ..." A Human Study of Patch Maintainability Zachary P. Fry, Bryan Landau, and Westley Weimer (University of Virginia, USA) @InProceedings{ISSTA12p177, author = {Zachary P. Fry and Bryan Landau and Westley Weimer}, title = {A Human Study of Patch Maintainability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2012}, }
	Geldenhuys, Jaco	ISSTA '12: "Probabilistic Symbolic Execution ..." Probabilistic Symbolic Execution Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser (Stellenbosch University, South Africa; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p166, author = {Jaco Geldenhuys and Matthew B. Dwyer and Willem Visser}, title = {Probabilistic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2012}, }
	Grieco, Gustavo	ISSTA '12: "Undangle: Early Detection ..." Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa (IMDEA Software Institute, Spain) @InProceedings{ISSTA12p133, author = {Juan Caballero and Gustavo Grieco and Mark Marron and Antonio Nappa}, title = {Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2012}, }
	Groce, Alex	ISSTA '12: "Swarm Testing ..." Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr (Oregon State University, USA; University of Utah, USA) @InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }
	Gross, Florian	ISSTA '12: "Search-Based System Testing: ..." Search-Based System Testing: High Coverage, No False Alarms Florian Gross, Gordon Fraser, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA12p67, author = {Florian Gross and Gordon Fraser and Andreas Zeller}, title = {Search-Based System Testing: High Coverage, No False Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2012}, }
	Gross, Thomas R.	ISSTA '12: "Static Detection of Brittle ..." Static Detection of Brittle Parameter Typing Michael Pradel, Severin Heiniger, and Thomas R. Gross (ETH Zurich, Switzerland) @InProceedings{ISSTA12p265, author = {Michael Pradel and Severin Heiniger and Thomas R. Gross}, title = {Static Detection of Brittle Parameter Typing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2012}, }
	Harman, Mark	ISSTA '12: "State Aware Test Case Regeneration ..." State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection Nadia Alshahwan and Mark Harman (University College London, UK) @InProceedings{ISSTA12p45, author = {Nadia Alshahwan and Mark Harman}, title = {State Aware Test Case Regeneration for Improving Web Application Test Suite Coverage and Fault Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2012}, }
	Harrold, Mary Jean	ISSTA '12: "Testing Concurrent Programs ..." Testing Concurrent Programs to Achieve High Synchronization Coverage Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold (KAIST, South Korea; Georgia Tech, USA) @InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, } ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Heiniger, Severin	ISSTA '12: "Static Detection of Brittle ..." Static Detection of Brittle Parameter Typing Michael Pradel, Severin Heiniger, and Thomas R. Gross (ETH Zurich, Switzerland) @InProceedings{ISSTA12p265, author = {Michael Pradel and Severin Heiniger and Thomas R. Gross}, title = {Static Detection of Brittle Parameter Typing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2012}, }
	Hong, Shin	ISSTA '12: "Understanding User Understanding: ..." Understanding User Understanding: Determining Correctness of Generated Program Invariants Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel (KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p188, author = {Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel}, title = {Understanding User Understanding: Determining Correctness of Generated Program Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2012}, } ISSTA '12: "Testing Concurrent Programs ..." Testing Concurrent Programs to Achieve High Synchronization Coverage Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold (KAIST, South Korea; Georgia Tech, USA) @InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, }
	Iqbal, Muhammad Zohaib	ISSTA '12: "Empirical Investigation of ..." Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel Briand (Simula Research Laboratory, Norway; University of Oslo, Norway; University of Luxembourg, Luxembourg) @InProceedings{ISSTA12p199, author = {Muhammad Zohaib Iqbal and Andrea Arcuri and Lionel Briand}, title = {Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2012}, }
	Jensen, Simon Holm	ISSTA '12: "Remedying the Eval that Men ..." Remedying the Eval that Men Do Simon Holm Jensen, Peter A. Jonsson, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA12p34, author = {Simon Holm Jensen and Peter A. Jonsson and Anders Møller}, title = {Remedying the Eval that Men Do}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2012}, }
	Jhi, Yoon-Chan	ISSTA '12: "A First Step Towards Algorithm ..." A First Step Towards Algorithm Plagiarism Detection Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA; Samsung, South Korea) @InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }
	Jonsson, Peter A.	ISSTA '12: "Remedying the Eval that Men ..." Remedying the Eval that Men Do Simon Holm Jensen, Peter A. Jonsson, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA12p34, author = {Simon Holm Jensen and Peter A. Jonsson and Anders Møller}, title = {Remedying the Eval that Men Do}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2012}, }
	Khurshid, Sarfraz	ISSTA '12: "Memoized Symbolic Execution ..." Memoized Symbolic Execution Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid (University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA12p144, author = {Guowei Yang and Corina S. Păsăreanu and Sarfraz Khurshid}, title = {Memoized Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2012}, } ISSTA '12: "Regression Mutation Testing ..." Regression Mutation Testing Lingming Zhang, Darko Marinov, Lu Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Peking University, China) @InProceedings{ISSTA12p331, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }
	Kim, Mijung	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Kim, Moonzoo	ISSTA '12: "Understanding User Understanding: ..." Understanding User Understanding: Determining Correctness of Generated Program Invariants Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel (KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p188, author = {Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel}, title = {Understanding User Understanding: Determining Correctness of Generated Program Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2012}, } ISSTA '12: "Testing Concurrent Programs ..." Testing Concurrent Programs to Achieve High Synchronization Coverage Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold (KAIST, South Korea; Georgia Tech, USA) @InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, }
	Kirda, Engin	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }
	Kruegel, Christopher	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, } ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Kurc, Tahsin	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Landau, Bryan	ISSTA '12: "A Human Study of Patch Maintainability ..." A Human Study of Patch Maintainability Zachary P. Fry, Bryan Landau, and Westley Weimer (University of Virginia, USA) @InProceedings{ISSTA12p177, author = {Zachary P. Fry and Bryan Landau and Westley Weimer}, title = {A Human Study of Patch Maintainability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2012}, }
	Lanzi, Andrea	ISSTA '12: "A Quantitative Study of Accuracy ..." A Quantitative Study of Accuracy in System Call-Based Malware Detection Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, and Engin Kirda (EURECOM, France; UC Santa Barbara, USA; IBM Research, USA; Northeastern University, USA) @InProceedings{ISSTA12p122, author = {Davide Canali and Andrea Lanzi and Davide Balzarotti and Christopher Kruegel and Mihai Christodorescu and Engin Kirda}, title = {A Quantitative Study of Accuracy in System Call-Based Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {122-121}, doi = {}, year = {2012}, }
	Li, Kaituo	ISSTA '12: "Residual Investigation: Predictive ..." Residual Investigation: Predictive and Precise Bug Detection Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis (University of Massachusetts at Amherst, USA; University of Texas at Arlington, USA; University of Athens, Greece) @InProceedings{ISSTA12p298, author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis}, title = {Residual Investigation: Predictive and Precise Bug Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2012}, }
	Li, Zhiyuan	ISSTA '12: "Multi-slicing: A Compiler-Supported ..." Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling Hongtao Yu and Zhiyuan Li (Purdue University, USA) @InProceedings{ISSTA12p23, author = {Hongtao Yu and Zhiyuan Li}, title = {Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2012}, }
	Liu, Peng	ISSTA '12: "A First Step Towards Algorithm ..." A First Step Towards Algorithm Plagiarism Detection Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA; Samsung, South Korea) @InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }
	Lü, Hao	ISSTA '12: "Finding Errors in Multithreaded ..." Finding Errors in Multithreaded GUI Applications Sai Zhang, Hao Lü, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA12p243, author = {Sai Zhang and Hao Lü and Michael D. Ernst}, title = {Finding Errors in Multithreaded GUI Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2012}, }
	Malhotra, Kunal	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Marchetto, Alessandro	ISSTA '12: "Combining Model-Based and ..." Combining Model-Based and Combinatorial Testing for Effective Test Case Generation Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy) @InProceedings{ISSTA12p100, author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella}, title = {Combining Model-Based and Combinatorial Testing for Effective Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2012}, }
	Marinov, Darko	ISSTA '12: "Regression Mutation Testing ..." Regression Mutation Testing Lingming Zhang, Darko Marinov, Lu Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Peking University, China) @InProceedings{ISSTA12p331, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }
	Marron, Mark	ISSTA '12: "Undangle: Early Detection ..." Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa (IMDEA Software Institute, Spain) @InProceedings{ISSTA12p133, author = {Juan Caballero and Gustavo Grieco and Mark Marron and Antonio Nappa}, title = {Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2012}, }
	Mars, Jason	ISSTA '12: "THeME: A System for Testing ..." THeME: A System for Testing by Hardware Monitoring Events Kristen Walcott-Justice, Jason Mars, and Mary Lou Soffa (University of Virginia, USA) @InProceedings{ISSTA12p12, author = {Kristen Walcott-Justice and Jason Mars and Mary Lou Soffa}, title = {THeME: A System for Testing by Hardware Monitoring Events}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2012}, }
	Møller, Anders	ISSTA '12: "Remedying the Eval that Men ..." Remedying the Eval that Men Do Simon Holm Jensen, Peter A. Jonsson, and Anders Møller (Aarhus University, Denmark) @InProceedings{ISSTA12p34, author = {Simon Holm Jensen and Peter A. Jonsson and Anders Møller}, title = {Remedying the Eval that Men Do}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2012}, }
	Nappa, Antonio	ISSTA '12: "Undangle: Early Detection ..." Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities Juan Caballero, Gustavo Grieco, Mark Marron, and Antonio Nappa (IMDEA Software Institute, Spain) @InProceedings{ISSTA12p133, author = {Juan Caballero and Gustavo Grieco and Mark Marron and Antonio Nappa}, title = {Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2012}, }
	Navathe, Shamkant B.	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Nguyen, Cu D.	ISSTA '12: "Combining Model-Based and ..." Combining Model-Based and Combinatorial Testing for Effective Test Case Generation Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy) @InProceedings{ISSTA12p100, author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella}, title = {Combining Model-Based and Combinatorial Testing for Effective Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2012}, }
	Orso, Alessandro	ISSTA '12: "Isolating Failure Causes through ..." Isolating Failure Causes through Test Case Generation Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso (Saarland University, Germany; Georgia Tech, USA) @InProceedings{ISSTA12p309, author = {Jeremias Rößler and Gordon Fraser and Andreas Zeller and Alessandro Orso}, title = {Isolating Failure Causes through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2012}, } ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, } ISSTA '12: "ViewPoints: Differential String ..." ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, and Christopher Kruegel (UC Santa Barbara, USA; Georgia Tech, USA) @InProceedings{ISSTA12p56, author = {Muath Alkhalaf and Shauvik Roy Choudhary and Mattia Fazzini and Tevfik Bultan and Alessandro Orso and Christopher Kruegel}, title = {ViewPoints: Differential String Analysis for Discovering Client- and Server-Side Input Validation Inconsistencies}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2012}, }
	Park, Sangmin	ISSTA '12: "Testing Concurrent Programs ..." Testing Concurrent Programs to Achieve High Synchronization Coverage Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold (KAIST, South Korea; Georgia Tech, USA) @InProceedings{ISSTA12p210, author = {Shin Hong and Jaemin Ahn and Sangmin Park and Moonzoo Kim and Mary Jean Harrold}, title = {Testing Concurrent Programs to Achieve High Synchronization Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {210-209}, doi = {}, year = {2012}, }
	Păsăreanu, Corina S.	ISSTA '12: "Memoized Symbolic Execution ..." Memoized Symbolic Execution Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid (University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA12p144, author = {Guowei Yang and Corina S. Păsăreanu and Sarfraz Khurshid}, title = {Memoized Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2012}, }
	Post, Andrew	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Pradel, Michael	ISSTA '12: "Static Detection of Brittle ..." Static Detection of Brittle Parameter Typing Michael Pradel, Severin Heiniger, and Thomas R. Gross (ETH Zurich, Switzerland) @InProceedings{ISSTA12p265, author = {Michael Pradel and Severin Heiniger and Thomas R. Gross}, title = {Static Detection of Brittle Parameter Typing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2012}, }
	Regehr, John	ISSTA '12: "Swarm Testing ..." Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr (Oregon State University, USA; University of Utah, USA) @InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }
	Reichenbach, Christoph	ISSTA '12: "Residual Investigation: Predictive ..." Residual Investigation: Predictive and Precise Bug Detection Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis (University of Massachusetts at Amherst, USA; University of Texas at Arlington, USA; University of Athens, Greece) @InProceedings{ISSTA12p298, author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis}, title = {Residual Investigation: Predictive and Precise Bug Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2012}, }
	Rößler, Jeremias	ISSTA '12: "Isolating Failure Causes through ..." Isolating Failure Causes through Test Case Generation Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso (Saarland University, Germany; Georgia Tech, USA) @InProceedings{ISSTA12p309, author = {Jeremias Rößler and Gordon Fraser and Andreas Zeller and Alessandro Orso}, title = {Isolating Failure Causes through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2012}, }
	Rothermel, Gregg	ISSTA '12: "Understanding User Understanding: ..." Understanding User Understanding: Determining Correctness of Generated Program Invariants Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel (KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p188, author = {Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel}, title = {Understanding User Understanding: Determining Correctness of Generated Program Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2012}, }
	Saltz, Joel	ISSTA '12: "Efficient Regression Testing ..." Efficient Regression Testing of Ontology-Driven Systems Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin Kurc, Alessandro Orso, Joel Saltz, Andrew Post, Kunal Malhotra, and Shamkant B. Navathe (Georgia Tech, USA; Emory University, USA) @InProceedings{ISSTA12p320, author = {Mijung Kim and Jake Cobb and Mary Jean Harrold and Tahsin Kurc and Alessandro Orso and Joel Saltz and Andrew Post and Kunal Malhotra and Shamkant B. Navathe}, title = {Efficient Regression Testing of Ontology-Driven Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {320-319}, doi = {}, year = {2012}, }
	Siek, Jeremy G.	ISSTA '12: "Measuring Enforcement Windows ..." Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy G. Siek (University of Colorado at Boulder, USA; Google, USA) @InProceedings{ISSTA12p276, author = {Devin Coughlin and Bor-Yuh Evan Chang and Amer Diwan and Jeremy G. Siek}, title = {Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {276-275}, doi = {}, year = {2012}, }
	Smaragdakis, Yannis	ISSTA '12: "Residual Investigation: Predictive ..." Residual Investigation: Predictive and Precise Bug Detection Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis (University of Massachusetts at Amherst, USA; University of Texas at Arlington, USA; University of Athens, Greece) @InProceedings{ISSTA12p298, author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis}, title = {Residual Investigation: Predictive and Precise Bug Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {}, year = {2012}, }
	Soffa, Mary Lou	ISSTA '12: "THeME: A System for Testing ..." THeME: A System for Testing by Hardware Monitoring Events Kristen Walcott-Justice, Jason Mars, and Mary Lou Soffa (University of Virginia, USA) @InProceedings{ISSTA12p12, author = {Kristen Walcott-Justice and Jason Mars and Mary Lou Soffa}, title = {THeME: A System for Testing by Hardware Monitoring Events}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2012}, }
	Staats, Matt	ISSTA '12: "Understanding User Understanding: ..." Understanding User Understanding: Determining Correctness of Generated Program Invariants Matt Staats, Shin Hong, Moonzoo Kim, and Gregg Rothermel (KAIST, South Korea; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p188, author = {Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel}, title = {Understanding User Understanding: Determining Correctness of Generated Program Invariants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2012}, }
	Strejček, Jan	ISSTA '12: "Abstracting Path Conditions ..." Abstracting Path Conditions Jan Strejček and Marek Trtík (Masaryk University, Czech Republic) @InProceedings{ISSTA12p155, author = {Jan Strejček and Marek Trtík}, title = {Abstracting Path Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2012}, }
	Sui, Yulei	ISSTA '12: "Static Memory Leak Detection ..." Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis Yulei Sui, Ding Ye, and Jingling Xue (UNSW, Australia) @InProceedings{ISSTA12p254, author = {Yulei Sui and Ding Ye and Jingling Xue}, title = {Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2012}, }
	Thies, Andreas	ISSTA '12: "RefaFlex: Safer Refactorings ..." RefaFlex: Safer Refactorings for Reflective Java Programs Andreas Thies and Eric Bodden (Fernunversität in Hagen, Germany; TU Darmstadt, Germany) @InProceedings{ISSTA12p1, author = {Andreas Thies and Eric Bodden}, title = {RefaFlex: Safer Refactorings for Reflective Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Tomb, Aaron	ISSTA '12: "Detecting Inconsistencies ..." Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb and Cormac Flanagan (Galois, USA; UC Santa Cruz, USA) @InProceedings{ISSTA12p287, author = {Aaron Tomb and Cormac Flanagan}, title = {Detecting Inconsistencies via Universal Reachability Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2012}, }
	Tonella, Paolo	ISSTA '12: "Combining Model-Based and ..." Combining Model-Based and Combinatorial Testing for Effective Test Case Generation Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella (Fondazione Bruno Kessler, Italy) @InProceedings{ISSTA12p100, author = {Cu D. Nguyen and Alessandro Marchetto and Paolo Tonella}, title = {Combining Model-Based and Combinatorial Testing for Effective Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {100-99}, doi = {}, year = {2012}, }
	Trtík, Marek	ISSTA '12: "Abstracting Path Conditions ..." Abstracting Path Conditions Jan Strejček and Marek Trtík (Masaryk University, Czech Republic) @InProceedings{ISSTA12p155, author = {Jan Strejček and Marek Trtík}, title = {Abstracting Path Conditions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2012}, }
	Tse, T. H.	ISSTA '12: "CARISMA: a Context-sensitive ..." CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications Ke Zhai, Boni Xu, W. K. Chan, and T. H. Tse (University of Hong Kong, Hong Kong; City University of Hong Kong, Hong Kong) @InProceedings{ISSTA12p221, author = {Ke Zhai and Boni Xu and W. K. Chan and T. H. Tse}, title = {CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2012}, }
	Visser, Willem	ISSTA '12: "Probabilistic Symbolic Execution ..." Probabilistic Symbolic Execution Jaco Geldenhuys, Matthew B. Dwyer, and Willem Visser (Stellenbosch University, South Africa; University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p166, author = {Jaco Geldenhuys and Matthew B. Dwyer and Willem Visser}, title = {Probabilistic Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2012}, }
	Walcott-Justice, Kristen	ISSTA '12: "THeME: A System for Testing ..." THeME: A System for Testing by Hardware Monitoring Events Kristen Walcott-Justice, Jason Mars, and Mary Lou Soffa (University of Virginia, USA) @InProceedings{ISSTA12p12, author = {Kristen Walcott-Justice and Jason Mars and Mary Lou Soffa}, title = {THeME: A System for Testing by Hardware Monitoring Events}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2012}, }
	Weimer, Westley	ISSTA '12: "A Human Study of Patch Maintainability ..." A Human Study of Patch Maintainability Zachary P. Fry, Bryan Landau, and Westley Weimer (University of Virginia, USA) @InProceedings{ISSTA12p177, author = {Zachary P. Fry and Bryan Landau and Westley Weimer}, title = {A Human Study of Patch Maintainability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2012}, }
	Wu, Dinghao	ISSTA '12: "A First Step Towards Algorithm ..." A First Step Towards Algorithm Plagiarism Detection Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA; Samsung, South Korea) @InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }
	Xu, Boni	ISSTA '12: "CARISMA: a Context-sensitive ..." CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications Ke Zhai, Boni Xu, W. K. Chan, and T. H. Tse (University of Hong Kong, Hong Kong; City University of Hong Kong, Hong Kong) @InProceedings{ISSTA12p221, author = {Ke Zhai and Boni Xu and W. K. Chan and T. H. Tse}, title = {CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2012}, }
	Xue, Jingling	ISSTA '12: "Static Memory Leak Detection ..." Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis Yulei Sui, Ding Ye, and Jingling Xue (UNSW, Australia) @InProceedings{ISSTA12p254, author = {Yulei Sui and Ding Ye and Jingling Xue}, title = {Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2012}, }
	Yang, Guowei	ISSTA '12: "Memoized Symbolic Execution ..." Memoized Symbolic Execution Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid (University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA) @InProceedings{ISSTA12p144, author = {Guowei Yang and Corina S. Păsăreanu and Sarfraz Khurshid}, title = {Memoized Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {}, year = {2012}, }
	Ye, Ding	ISSTA '12: "Static Memory Leak Detection ..." Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis Yulei Sui, Ding Ye, and Jingling Xue (UNSW, Australia) @InProceedings{ISSTA12p254, author = {Yulei Sui and Ding Ye and Jingling Xue}, title = {Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2012}, }
	Yi, Jaeheon	ISSTA '12: "Cooperative Types for Controlling ..." Cooperative Types for Controlling Thread Interference in Java Jaeheon Yi, Tim Disney, Stephen N. Freund, and Cormac Flanagan (UC Santa Cruz, USA; Williams College, USA) @InProceedings{ISSTA12p232, author = {Jaeheon Yi and Tim Disney and Stephen N. Freund and Cormac Flanagan}, title = {Cooperative Types for Controlling Thread Interference in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {232-231}, doi = {}, year = {2012}, }
	Yu, Hongtao	ISSTA '12: "Multi-slicing: A Compiler-Supported ..." Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling Hongtao Yu and Zhiyuan Li (Purdue University, USA) @InProceedings{ISSTA12p23, author = {Hongtao Yu and Zhiyuan Li}, title = {Multi-slicing: A Compiler-Supported Parallel Approach to Data Dependence Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2012}, }
	Zeller, Andreas	ISSTA '12: "Isolating Failure Causes through ..." Isolating Failure Causes through Test Case Generation Jeremias Rößler, Gordon Fraser, Andreas Zeller, and Alessandro Orso (Saarland University, Germany; Georgia Tech, USA) @InProceedings{ISSTA12p309, author = {Jeremias Rößler and Gordon Fraser and Andreas Zeller and Alessandro Orso}, title = {Isolating Failure Causes through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {309-308}, doi = {}, year = {2012}, } ISSTA '12: "Search-Based System Testing: ..." Search-Based System Testing: High Coverage, No False Alarms Florian Gross, Gordon Fraser, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA12p67, author = {Florian Gross and Gordon Fraser and Andreas Zeller}, title = {Search-Based System Testing: High Coverage, No False Alarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2012}, }
	Zhai, Ke	ISSTA '12: "CARISMA: a Context-sensitive ..." CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications Ke Zhai, Boni Xu, W. K. Chan, and T. H. Tse (University of Hong Kong, Hong Kong; City University of Hong Kong, Hong Kong) @InProceedings{ISSTA12p221, author = {Ke Zhai and Boni Xu and W. K. Chan and T. H. Tse}, title = {CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2012}, }
	Zhang, Chaoqiang	ISSTA '12: "Swarm Testing ..." Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr (Oregon State University, USA; University of Utah, USA) @InProceedings{ISSTA12p78, author = {Alex Groce and Chaoqiang Zhang and Eric Eide and Yang Chen and John Regehr}, title = {Swarm Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2012}, }
	Zhang, Fangfang	ISSTA '12: "A First Step Towards Algorithm ..." A First Step Towards Algorithm Plagiarism Detection Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA; Samsung, South Korea) @InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }
	Zhang, Lingming	ISSTA '12: "Regression Mutation Testing ..." Regression Mutation Testing Lingming Zhang, Darko Marinov, Lu Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Peking University, China) @InProceedings{ISSTA12p331, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }
	Zhang, Lu	ISSTA '12: "Regression Mutation Testing ..." Regression Mutation Testing Lingming Zhang, Darko Marinov, Lu Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Peking University, China) @InProceedings{ISSTA12p331, author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid}, title = {Regression Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }
	Zhang, Pingyu	ISSTA '12: "Compositional Load Test Generation ..." Compositional Load Test Generation for Software Pipelines Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA12p89, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Compositional Load Test Generation for Software Pipelines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2012}, }
	Zhang, Sai	ISSTA '12: "Finding Errors in Multithreaded ..." Finding Errors in Multithreaded GUI Applications Sai Zhang, Hao Lü, and Michael D. Ernst (University of Washington, USA) @InProceedings{ISSTA12p243, author = {Sai Zhang and Hao Lü and Michael D. Ernst}, title = {Finding Errors in Multithreaded GUI Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2012}, }
	Zhu, Sencun	ISSTA '12: "A First Step Towards Algorithm ..." A First Step Towards Algorithm Plagiarism Detection Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu (Pennsylvania State University, USA; Samsung, South Korea) @InProceedings{ISSTA12p111, author = {Fangfang Zhang and Yoon-Chan Jhi and Dinghao Wu and Peng Liu and Sencun Zhu}, title = {A First Step Towards Algorithm Plagiarism Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2012}, }

114 authors

proc time: 0.12