ISSTA 2017 – 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

	Alameer, Abdulmajeed	ISSTA '17: "XFix: An Automated Tool for ..." XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p389, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {XFix: An Automated Tool for the Repair of Layout Cross Browser Issues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {389-388}, doi = {}, year = {2017}, } Article: issta17demos-demosid14-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Repair of Layout ..." Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p265, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {Automated Repair of Layout Cross Browser Issues using Search-Based Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid91-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Ali, Karim	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Alim, Adil	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Ammann, Paul	ISSTA '17: "Inferring Mutant Utility from ..." Inferring Mutant Utility from Program Context René Just, Bob Kurtz, and Paul Ammann (University of Massachusetts, USA; George Mason University, USA) @InProceedings{ISSTA17p301, author = {René Just and Bob Kurtz and Paul Ammann}, title = {Inferring Mutant Utility from Program Context}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid115-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Athaiya, Snigdha	ISSTA '17: "Inferring Page Models for ..." Inferring Page Models for Web Application Analysis Snigdha Athaiya (IISc Bangalore, India) @InProceedings{ISSTA17p433, author = {Snigdha Athaiya}, title = {Inferring Page Models for Web Application Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {433-432}, doi = {}, year = {2017}, } Article: issta17doc-docid11-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Testing and Analysis of Web ..." Testing and Analysis of Web Applications using Page Models Snigdha Athaiya and Raghavan Komondoor (IISc Bangalore, India) @InProceedings{ISSTA17p193, author = {Snigdha Athaiya and Raghavan Komondoor}, title = {Testing and Analysis of Web Applications using Page Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {193-192}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid120-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Basin, David	ISSTA '17: "Test Execution Checkpointing ..." Test Execution Checkpointing for Web Applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin (ETH Zurich, Switzerland; EPFL, Switzerland) @InProceedings{ISSTA17p217, author = {Marco Guarnieri and Petar Tsankov and Tristan Buchs and Mohammad Torabi Dashti and David Basin}, title = {Test Execution Checkpointing for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2017}, } Article: issta17main-mainid36-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Bendík, Jaroslav	ISSTA '17: "Consistency Checking in Requirements ..." Consistency Checking in Requirements Analysis Jaroslav Bendík (Masaryk University, Czech Republic) @InProceedings{ISSTA17p429, author = {Jaroslav Bendík}, title = {Consistency Checking in Requirements Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {429-428}, doi = {}, year = {2017}, } Article: issta17doc-docid9-p (type: Short Paper (4 pages)) doi:
	Benedikt, Michael	ISSTA '17: "ArtForm: A Tool for Exploring ..." ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Ben Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel (University of Oxford, UK; Aarhus University, Denmark; York University, Canada) @InProceedings{ISSTA17p401, author = {Ben Spencer and Michael Benedikt and Anders Møller and Franck van Breugel}, title = {ArtForm: A Tool for Exploring the Codebase of Form-Based Websites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2017}, } Article: issta17demos-demosid5-p (type: Short Paper (4 pages)) doi:
	Bessa, Iury	ISSTA '17: "Verifying Digital Systems ..." Verifying Digital Systems with MATLAB Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening, and Eddie Lima (Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil) @InProceedings{ISSTA17p409, author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Lima}, title = {Verifying Digital Systems with MATLAB}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2017}, } Article: issta17demos-demosid6-p (type: Short Paper (4 pages)) doi:
	Bissyandé, Tegawendé F.	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Bodden, Eric	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Borges Jr., Nataniel P.	ISSTA '17: "Data Flow Oriented UI Testing: ..." Data Flow Oriented UI Testing: Exploiting Data Flows and UI Elements to Test Android Applications Nataniel P. Borges Jr. (Saarland University, Germany) @InProceedings{ISSTA17p453, author = {Nataniel P. Borges Jr.}, title = {Data Flow Oriented UI Testing: Exploiting Data Flows and UI Elements to Test Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {453-452}, doi = {}, year = {2017}, } Article: issta17doc-docid4-p (type: Short Paper (4 pages)) doi:
	Braione, Pietro	ISSTA '17: "Combining Symbolic Execution ..." Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè (University of Milano-Bicocca, Italy; Imperial College London, UK; University of Lugano, Switerland) @InProceedings{ISSTA17p97, author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezzè}, title = {Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid54-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Brennan, Tegan	ISSTA '17: "Path Cost Analysis for Side ..." Path Cost Analysis for Side Channel Detection Tegan Brennan (University of California at Santa Barbara, USA) @InProceedings{ISSTA17p437, author = {Tegan Brennan}, title = {Path Cost Analysis for Side Channel Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {437-436}, doi = {}, year = {2017}, } Article: issta17doc-docid8-p (type: Short Paper (4 pages)) doi:
	Breugel, Franck van	ISSTA '17: "ArtForm: A Tool for Exploring ..." ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Ben Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel (University of Oxford, UK; Aarhus University, Denmark; York University, Canada) @InProceedings{ISSTA17p401, author = {Ben Spencer and Michael Benedikt and Anders Møller and Franck van Breugel}, title = {ArtForm: A Tool for Exploring the Codebase of Form-Based Websites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2017}, } Article: issta17demos-demosid5-p (type: Short Paper (4 pages)) doi:
	Bryce, Renee	ISSTA '17: "Caret-HM: Recording and Replaying ..." Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Dmitry Nurmuradov and Renee Bryce (University of North Texas, USA) @InProceedings{ISSTA17p421, author = {Dmitry Nurmuradov and Renee Bryce}, title = {Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2017}, } Article: issta17demos-demosid13-p (type: Short Paper (4 pages)) doi:
	Buchs, Tristan	ISSTA '17: "Test Execution Checkpointing ..." Test Execution Checkpointing for Web Applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin (ETH Zurich, Switzerland; EPFL, Switzerland) @InProceedings{ISSTA17p217, author = {Marco Guarnieri and Petar Tsankov and Tristan Buchs and Mohammad Torabi Dashti and David Basin}, title = {Test Execution Checkpointing for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2017}, } Article: issta17main-mainid36-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Cadar, Cristian	ISSTA '17: "Accelerating Array Constraints ..." Accelerating Array Constraints in Symbolic Execution David M. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar (Purdue University, USA; Imperial College London, UK) @InProceedings{ISSTA17p73, author = {David M. Perry and Andrea Mattavelli and Xiangyu Zhang and Cristian Cadar}, title = {Accelerating Array Constraints in Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid97-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Casalnuovo, Casey	ISSTA '17: "GitcProc: A Tool for Processing ..." GitcProc: A Tool for Processing and Classifying GitHub Commits Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-González (University of California at Davis, USA; University of Virginia, USA) @InProceedings{ISSTA17p417, author = {Casey Casalnuovo and Yagnik Suchak and Baishakhi Ray and Cindy Rubio-González}, title = {GitcProc: A Tool for Processing and Classifying GitHub Commits}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2017}, } Article: issta17demos-demosid12-p (type: Short Paper (4 pages)) doi:
	Chaabane, Abdelberi	ISSTA '17: "Semi-automated Discovery of ..." Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda (Boston University, USA; Northeastern University, USA) @InProceedings{ISSTA17p157, author = {William Koch and Abdelberi Chaabane and Manuel Egele and William Robertson and Engin Kirda}, title = {Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: issta17main-mainid23-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Chaves, Lennon	ISSTA '17: "Verifying Digital Systems ..." Verifying Digital Systems with MATLAB Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening, and Eddie Lima (Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil) @InProceedings{ISSTA17p409, author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Lima}, title = {Verifying Digital Systems with MATLAB}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2017}, } Article: issta17demos-demosid6-p (type: Short Paper (4 pages)) doi:
	Chen, Feng	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Chen, Mei-Hwa	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Chen, Yizhen	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Chu, Duc-Hiep	ISSTA '17: "JFIX: Semantics-Based Repair ..." JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser (Singapore Management University, Singapore; IST, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA17p397, author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser}, title = {JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2017}, } Article: issta17demos-demosid4-p (type: Short Paper (4 pages)) doi:
	Cordeiro, Lucas	ISSTA '17: "Verifying Digital Systems ..." Verifying Digital Systems with MATLAB Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening, and Eddie Lima (Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil) @InProceedings{ISSTA17p409, author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Lima}, title = {Verifying Digital Systems with MATLAB}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2017}, } Article: issta17demos-demosid6-p (type: Short Paper (4 pages)) doi:
	Daka, Ermira	ISSTA '17: "Generating Unit Tests with ..." Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Ermira Daka, José Miguel Rojas, and Gordon Fraser (University of Sheffield, UK) @InProceedings{ISSTA17p61, author = {Ermira Daka and José Miguel Rojas and Gordon Fraser}, title = {Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid95-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Denaro, Giovanni	ISSTA '17: "Combining Symbolic Execution ..." Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè (University of Milano-Bicocca, Italy; Imperial College London, UK; University of Lugano, Switerland) @InProceedings{ISSTA17p97, author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezzè}, title = {Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid54-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Detweiler, Carrick	ISSTA '17: "Phriky-Units: A Lightweight, ..." Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA; University on Nebraska-Lincoln, USA) @InProceedings{ISSTA17p373, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {373-372}, doi = {}, year = {2017}, } Article: issta17demos-demosid8-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Lightweight Detection of Physical ..." Lightweight Detection of Physical Unit Inconsistencies without Program Annotations John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p361, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Lightweight Detection of Physical Unit Inconsistencies without Program Annotations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid81-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Do, Lisa Nguyen Quang	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Dubach, Christophe	ISSTA '17: "ParTeCL: Parallel Testing ..." ParTeCL: Parallel Testing using OpenCL Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p405, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {ParTeCL: Parallel Testing using OpenCL}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {405-404}, doi = {}, year = {2017}, } Article: issta17demos-demosid20-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Compiler-Assisted Test Acceleration ..." Compiler-Assisted Test Acceleration on GPUs for Embedded Software Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p37, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {Compiler-Assisted Test Acceleration on GPUs for Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: issta17main-mainid77-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Egele, Manuel	ISSTA '17: "Semi-automated Discovery of ..." Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda (Boston University, USA; Northeastern University, USA) @InProceedings{ISSTA17p157, author = {William Koch and Abdelberi Chaabane and Manuel Egele and William Robertson and Engin Kirda}, title = {Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: issta17main-mainid23-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Elbaum, Sebastian	ISSTA '17: "Phriky-Units: A Lightweight, ..." Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA; University on Nebraska-Lincoln, USA) @InProceedings{ISSTA17p373, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {373-372}, doi = {}, year = {2017}, } Article: issta17demos-demosid8-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Lightweight Detection of Physical ..." Lightweight Detection of Physical Unit Inconsistencies without Program Annotations John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p361, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Lightweight Detection of Physical Unit Inconsistencies without Program Annotations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid81-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "Improving the Cost-Effectiveness ..." Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Wei Sun, Lisong Xu, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p85, author = {Wei Sun and Lisong Xu and Sebastian Elbaum}, title = {Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid16-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	El-Hokayem, Antoine	ISSTA '17: "THEMIS: A Tool for Decentralized ..." THEMIS: A Tool for Decentralized Monitoring Algorithms Antoine El-Hokayem and Yliès Falcone (Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{ISSTA17p393, author = {Antoine El-Hokayem and Yliès Falcone}, title = {THEMIS: A Tool for Decentralized Monitoring Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {393-392}, doi = {}, year = {2017}, } Article: issta17demos-demosid17-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Monitoring Decentralized Specifications ..." Monitoring Decentralized Specifications Antoine El-Hokayem and Yliès Falcone (Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{ISSTA17p133, author = {Antoine El-Hokayem and Yliès Falcone}, title = {Monitoring Decentralized Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid83-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Falcone, Yliès	ISSTA '17: "THEMIS: A Tool for Decentralized ..." THEMIS: A Tool for Decentralized Monitoring Algorithms Antoine El-Hokayem and Yliès Falcone (Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{ISSTA17p393, author = {Antoine El-Hokayem and Yliès Falcone}, title = {THEMIS: A Tool for Decentralized Monitoring Algorithms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {393-392}, doi = {}, year = {2017}, } Article: issta17demos-demosid17-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Monitoring Decentralized Specifications ..." Monitoring Decentralized Specifications Antoine El-Hokayem and Yliès Falcone (Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{ISSTA17p133, author = {Antoine El-Hokayem and Yliès Falcone}, title = {Monitoring Decentralized Specifications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid83-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Fan, Xiaokang	ISSTA '17: "Boosting the Precision of ..." Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue (UNSW, Australia; National University of Defense Technology, China) @InProceedings{ISSTA17p349, author = {Xiaokang Fan and Yulei Sui and Xiangke Liao and Jingling Xue}, title = {Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {349-348}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid102-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Fraser, Gordon	ISSTA '17: "Generating Unit Tests with ..." Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Ermira Daka, José Miguel Rojas, and Gordon Fraser (University of Sheffield, UK) @InProceedings{ISSTA17p61, author = {Ermira Daka and José Miguel Rojas and Gordon Fraser}, title = {Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid95-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Gambi, Alessio	ISSTA '17: "CUT: Automatic Unit Testing ..." CUT: Automatic Unit Testing in the Cloud Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA17p385, author = {Alessio Gambi and Sebastian Kappler and Johannes Lampel and Andreas Zeller}, title = {CUT: Automatic Unit Testing in the Cloud}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2017}, } Article: issta17demos-demosid9-p (type: Short Paper (4 pages)) doi:
	Glaser, Thomas	ISSTA '17: "An Actionable Performance ..." An Actionable Performance Profiler for Optimizing the Order of Evaluations Marija Selakovic, Thomas Glaser, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ISSTA17p181, author = {Marija Selakovic and Thomas Glaser and Michael Pradel}, title = {An Actionable Performance Profiler for Optimizing the Order of Evaluations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2017}, } Article: issta17main-mainid57-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Gotlieb, Arnaud	ISSTA '17: "Reinforcement Learning for ..." Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige (Simula Research Laboratory, Norway; University of Stavanger, Norway; ABB Robotics, Norway) @InProceedings{ISSTA17p13, author = {Helge Spieker and Arnaud Gotlieb and Dusica Marijan and Morten Mossige}, title = {Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: issta17main-mainid35-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Groce, Alex	ISSTA '17: "A Suite of Tools for Making ..." A Suite of Tools for Making Effective Use of Automatically Generated Tests Josie Holmes and Alex Groce (Pennsylvania State University, USA; Northern Arizona University, USA) @InProceedings{ISSTA17p377, author = {Josie Holmes and Alex Groce}, title = {A Suite of Tools for Making Effective Use of Automatically Generated Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2017}, } Article: issta17demos-demosid16-p (type: Short Paper (4 pages)) doi: ISSTA '17: "One Test to Rule Them All ..." One Test to Rule Them All Alex Groce, Josie Holmes, and Kevin Kellar (Northern Arizona University, USA; Pennsylvania State University, USA; Crescent Valley High School, USA) @InProceedings{ISSTA17p1, author = {Alex Groce and Josie Holmes and Kevin Kellar}, title = {One Test to Rule Them All}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: issta17main-mainid7-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Guarnieri, Marco	ISSTA '17: "Test Execution Checkpointing ..." Test Execution Checkpointing for Web Applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin (ETH Zurich, Switzerland; EPFL, Switzerland) @InProceedings{ISSTA17p217, author = {Marco Guarnieri and Petar Tsankov and Tristan Buchs and Mohammad Torabi Dashti and David Basin}, title = {Test Execution Checkpointing for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2017}, } Article: issta17main-mainid36-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Gyori, Alex	ISSTA '17: "Refining Interprocedural Change-Impact ..." Refining Interprocedural Change-Impact Analysis using Equivalence Relations Alex Gyori, Shuvendu K. Lahiri, and Nimrod Partush (University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA; Technion, Israel) @InProceedings{ISSTA17p337, author = {Alex Gyori and Shuvendu K. Lahiri and Nimrod Partush}, title = {Refining Interprocedural Change-Impact Analysis using Equivalence Relations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {337-336}, doi = {}, year = {2017}, } Article: issta17main-mainid68-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Halfond, William G. J.	ISSTA '17: "XFix: An Automated Tool for ..." XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p389, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {XFix: An Automated Tool for the Repair of Layout Cross Browser Issues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {389-388}, doi = {}, year = {2017}, } Article: issta17demos-demosid14-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Repair of Layout ..." Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p265, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {Automated Repair of Layout Cross Browser Issues using Search-Based Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid91-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Hallé, Sylvain	ISSTA '17: "SealTest: A Simple Library ..." SealTest: A Simple Library for Test Sequence Generation Sylvain Hallé and Raphaël Khoury (Université du Québec à Chicoutimi, Canada) @InProceedings{ISSTA17p413, author = {Sylvain Hallé and Raphaël Khoury}, title = {SealTest: A Simple Library for Test Sequence Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {413-412}, doi = {}, year = {2017}, } Article: issta17demos-demosid10-p (type: Short Paper (4 pages)) doi: ISSTA '17: "LabPal: Repeatable Computer ..." LabPal: Repeatable Computer Experiments Made Easy Sylvain Hallé (Université du Québec à Chicoutimi, Canada) @InProceedings{ISSTA17p425, author = {Sylvain Hallé}, title = {LabPal: Repeatable Computer Experiments Made Easy}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {425-424}, doi = {}, year = {2017}, } Article: issta17demos-demosid1-p (type: Short Paper (4 pages)) doi:
	Hao, Dan	ISSTA '17: "Faster Mutation Analysis via ..." Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao (Peking University, China) @InProceedings{ISSTA17p313, author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao}, title = {Faster Mutation Analysis via Equivalence Modulo States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2017}, } Article: issta17main-mainid51-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Holmes, Josie	ISSTA '17: "A Suite of Tools for Making ..." A Suite of Tools for Making Effective Use of Automatically Generated Tests Josie Holmes and Alex Groce (Pennsylvania State University, USA; Northern Arizona University, USA) @InProceedings{ISSTA17p377, author = {Josie Holmes and Alex Groce}, title = {A Suite of Tools for Making Effective Use of Automatically Generated Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {377-376}, doi = {}, year = {2017}, } Article: issta17demos-demosid16-p (type: Short Paper (4 pages)) doi: ISSTA '17: "One Test to Rule Them All ..." One Test to Rule Them All Alex Groce, Josie Holmes, and Kevin Kellar (Northern Arizona University, USA; Pennsylvania State University, USA; Crescent Valley High School, USA) @InProceedings{ISSTA17p1, author = {Alex Groce and Josie Holmes and Kevin Kellar}, title = {One Test to Rule Them All}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: issta17main-mainid7-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Hotzkow, Jenny	ISSTA '17: "Automatically Inferring and ..." Automatically Inferring and Enforcing User Expectations Jenny Hotzkow (Saarland University, Germany) @InProceedings{ISSTA17p441, author = {Jenny Hotzkow}, title = {Automatically Inferring and Enforcing User Expectations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2017}, } Article: issta17doc-docid3-p (type: Short Paper (4 pages)) doi:
	Jahangirova, Gunel	ISSTA '17: "Oracle Problem in Software ..." Oracle Problem in Software Testing Gunel Jahangirova (Fondazione Bruno Kessler, Italy; University College London, UK) @InProceedings{ISSTA17p465, author = {Gunel Jahangirova}, title = {Oracle Problem in Software Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {465-464}, doi = {}, year = {2017}, } Article: issta17doc-docid10-p (type: Short Paper (4 pages)) doi:
	Just, René	ISSTA '17: "Inferring Mutant Utility from ..." Inferring Mutant Utility from Program Context René Just, Bob Kurtz, and Paul Ammann (University of Massachusetts, USA; George Mason University, USA) @InProceedings{ISSTA17p301, author = {René Just and Bob Kurtz and Paul Ammann}, title = {Inferring Mutant Utility from Program Context}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid115-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kanade, Aditya	ISSTA '17: "Efficient Computation of Happens-Before ..." Efficient Computation of Happens-Before Relation for Event-Driven Programs Pallavi Maiya and Aditya Kanade (IISc Bangalore, India) @InProceedings{ISSTA17p109, author = {Pallavi Maiya and Aditya Kanade}, title = {Efficient Computation of Happens-Before Relation for Event-Driven Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid116-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kapfhammer, Gregory M.	ISSTA '17: "ReDeCheck: An Automatic Layout ..." ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p381, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2017}, } Article: issta17demos-demosid18-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Layout Failure Detection ..." Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p205, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: issta17main-mainid43-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kappler, Sebastian	ISSTA '17: "CUT: Automatic Unit Testing ..." CUT: Automatic Unit Testing in the Cloud Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA17p385, author = {Alessio Gambi and Sebastian Kappler and Johannes Lampel and Andreas Zeller}, title = {CUT: Automatic Unit Testing in the Cloud}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2017}, } Article: issta17demos-demosid9-p (type: Short Paper (4 pages)) doi:
	Katz, Deborah S.	ISSTA '17: "Understanding Intended Behavior ..." Understanding Intended Behavior using Models of Low-Level Signals Deborah S. Katz (Carnegie Mellon University, USA) @InProceedings{ISSTA17p445, author = {Deborah S. Katz}, title = {Understanding Intended Behavior using Models of Low-Level Signals}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {445-444}, doi = {}, year = {2017}, } Article: issta17doc-docid5-p (type: Short Paper (4 pages)) doi:
	Kellar, Kevin	ISSTA '17: "One Test to Rule Them All ..." One Test to Rule Them All Alex Groce, Josie Holmes, and Kevin Kellar (Northern Arizona University, USA; Pennsylvania State University, USA; Crescent Valley High School, USA) @InProceedings{ISSTA17p1, author = {Alex Groce and Josie Holmes and Kevin Kellar}, title = {One Test to Rule Them All}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: issta17main-mainid7-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Khoury, Raphaël	ISSTA '17: "SealTest: A Simple Library ..." SealTest: A Simple Library for Test Sequence Generation Sylvain Hallé and Raphaël Khoury (Université du Québec à Chicoutimi, Canada) @InProceedings{ISSTA17p413, author = {Sylvain Hallé and Raphaël Khoury}, title = {SealTest: A Simple Library for Test Sequence Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {413-412}, doi = {}, year = {2017}, } Article: issta17demos-demosid10-p (type: Short Paper (4 pages)) doi:
	Khurshid, Sarfraz	ISSTA '17: "Boosting Spectrum-Based Fault ..." Boosting Spectrum-Based Fault Localization using PageRank Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA17p277, author = {Mengshi Zhang and Xia Li and Lingming Zhang and Sarfraz Khurshid}, title = {Boosting Spectrum-Based Fault Localization using PageRank}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: issta17main-mainid112-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kim, Dongsun	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kirda, Engin	ISSTA '17: "Semi-automated Discovery of ..." Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda (Boston University, USA; Northeastern University, USA) @InProceedings{ISSTA17p157, author = {William Koch and Abdelberi Chaabane and Manuel Egele and William Robertson and Engin Kirda}, title = {Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: issta17main-mainid23-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Klein, Jacques	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Koch, William	ISSTA '17: "Semi-automated Discovery of ..." Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda (Boston University, USA; Northeastern University, USA) @InProceedings{ISSTA17p157, author = {William Koch and Abdelberi Chaabane and Manuel Egele and William Robertson and Engin Kirda}, title = {Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: issta17main-mainid23-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Komondoor, Raghavan	ISSTA '17: "Testing and Analysis of Web ..." Testing and Analysis of Web Applications using Page Models Snigdha Athaiya and Raghavan Komondoor (IISc Bangalore, India) @InProceedings{ISSTA17p193, author = {Snigdha Athaiya and Raghavan Komondoor}, title = {Testing and Analysis of Web Applications using Page Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {193-192}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid120-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Koyuncu, Anil	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kroening, Daniel	ISSTA '17: "Verifying Digital Systems ..." Verifying Digital Systems with MATLAB Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening, and Eddie Lima (Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil) @InProceedings{ISSTA17p409, author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Lima}, title = {Verifying Digital Systems with MATLAB}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2017}, } Article: issta17demos-demosid6-p (type: Short Paper (4 pages)) doi:
	Kurtz, Bob	ISSTA '17: "Inferring Mutant Utility from ..." Inferring Mutant Utility from Program Context René Just, Bob Kurtz, and Paul Ammann (University of Massachusetts, USA; George Mason University, USA) @InProceedings{ISSTA17p301, author = {René Just and Bob Kurtz and Paul Ammann}, title = {Inferring Mutant Utility from Program Context}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid115-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Kwon, Yonghwi	ISSTA '17: "CPR: Cross Platform Binary ..." CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA; IBM Research, USA) @InProceedings{ISSTA17p169, author = {Yonghwi Kwon and Weihang Wang and Yunhui Zheng and Xiangyu Zhang and Dongyan Xu}, title = {CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2017}, } Article: issta17main-mainid19-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Lahiri, Shuvendu K.	ISSTA '17: "Refining Interprocedural Change-Impact ..." Refining Interprocedural Change-Impact Analysis using Equivalence Relations Alex Gyori, Shuvendu K. Lahiri, and Nimrod Partush (University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA; Technion, Israel) @InProceedings{ISSTA17p337, author = {Alex Gyori and Shuvendu K. Lahiri and Nimrod Partush}, title = {Refining Interprocedural Change-Impact Analysis using Equivalence Relations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {337-336}, doi = {}, year = {2017}, } Article: issta17main-mainid68-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Lampel, Johannes	ISSTA '17: "CUT: Automatic Unit Testing ..." CUT: Automatic Unit Testing in the Cloud Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA17p385, author = {Alessio Gambi and Sebastian Kappler and Johannes Lampel and Andreas Zeller}, title = {CUT: Automatic Unit Testing in the Cloud}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2017}, } Article: issta17demos-demosid9-p (type: Short Paper (4 pages)) doi:
	Le, Xuan-Bach D.	ISSTA '17: "JFIX: Semantics-Based Repair ..." JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser (Singapore Management University, Singapore; IST, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA17p397, author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser}, title = {JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2017}, } Article: issta17demos-demosid4-p (type: Short Paper (4 pages)) doi:
	Le Goues, Claire	ISSTA '17: "JFIX: Semantics-Based Repair ..." JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser (Singapore Management University, Singapore; IST, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA17p397, author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser}, title = {JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2017}, } Article: issta17demos-demosid4-p (type: Short Paper (4 pages)) doi:
	Le Traon, Yves	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Li, Xia	ISSTA '17: "Boosting Spectrum-Based Fault ..." Boosting Spectrum-Based Fault Localization using PageRank Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA17p277, author = {Mengshi Zhang and Xia Li and Lingming Zhang and Sarfraz Khurshid}, title = {Boosting Spectrum-Based Fault Localization using PageRank}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: issta17main-mainid112-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Li, Xuandong	ISSTA '17: "Automatic Detection and Validation ..." Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li (Nanjing University, China; University of Kentucky, USA) @InProceedings{ISSTA17p121, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: issta17main-mainid86-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Liao, Xiangke	ISSTA '17: "Boosting the Precision of ..." Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue (UNSW, Australia; National University of Defense Technology, China) @InProceedings{ISSTA17p349, author = {Xiaokang Fan and Yulei Sui and Xiangke Liao and Jingling Xue}, title = {Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {349-348}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid102-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Lima, Eddie	ISSTA '17: "Verifying Digital Systems ..." Verifying Digital Systems with MATLAB Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening, and Eddie Lima (Federal University of Amazonas, Brazil; University of Oxford, UK; Samsung Electronics, Brazil) @InProceedings{ISSTA17p409, author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening and Eddie Lima}, title = {Verifying Digital Systems with MATLAB}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2017}, } Article: issta17demos-demosid6-p (type: Short Paper (4 pages)) doi:
	Liu, Daren	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Livshits, Benjamin	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Lo, David	ISSTA '17: "JFIX: Semantics-Based Repair ..." JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser (Singapore Management University, Singapore; IST, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA17p397, author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser}, title = {JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2017}, } Article: issta17demos-demosid4-p (type: Short Paper (4 pages)) doi:
	Löscher, Andreas	ISSTA '17: "Targeted Property-Based Testing ..." Targeted Property-Based Testing Andreas Löscher and Konstantinos Sagonas (Uppsala University, Sweden) @InProceedings{ISSTA17p49, author = {Andreas Löscher and Konstantinos Sagonas}, title = {Targeted Property-Based Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid42-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Mahajan, Sonal	ISSTA '17: "XFix: An Automated Tool for ..." XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p389, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {XFix: An Automated Tool for the Repair of Layout Cross Browser Issues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {389-388}, doi = {}, year = {2017}, } Article: issta17demos-demosid14-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Repair of Layout ..." Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p265, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {Automated Repair of Layout Cross Browser Issues using Search-Based Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid91-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Maiya, Pallavi	ISSTA '17: "Efficient Computation of Happens-Before ..." Efficient Computation of Happens-Before Relation for Event-Driven Programs Pallavi Maiya and Aditya Kanade (IISc Bangalore, India) @InProceedings{ISSTA17p109, author = {Pallavi Maiya and Aditya Kanade}, title = {Efficient Computation of Happens-Before Relation for Event-Driven Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid116-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Marijan, Dusica	ISSTA '17: "Reinforcement Learning for ..." Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige (Simula Research Laboratory, Norway; University of Stavanger, Norway; ABB Robotics, Norway) @InProceedings{ISSTA17p13, author = {Helge Spieker and Arnaud Gotlieb and Dusica Marijan and Morten Mossige}, title = {Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: issta17main-mainid35-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Mathis, Björn	ISSTA '17: "Dynamic Tainting for Automatic ..." Dynamic Tainting for Automatic Test Case Generation Björn Mathis (Saarland University, Germany) @InProceedings{ISSTA17p457, author = {Björn Mathis}, title = {Dynamic Tainting for Automatic Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {457-456}, doi = {}, year = {2017}, } Article: issta17doc-docid6-p (type: Short Paper (4 pages)) doi:
	Mattavelli, Andrea	ISSTA '17: "Accelerating Array Constraints ..." Accelerating Array Constraints in Symbolic Execution David M. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar (Purdue University, USA; Imperial College London, UK) @InProceedings{ISSTA17p73, author = {David M. Perry and Andrea Mattavelli and Xiangyu Zhang and Cristian Cadar}, title = {Accelerating Array Constraints in Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid97-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "Combining Symbolic Execution ..." Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè (University of Milano-Bicocca, Italy; Imperial College London, UK; University of Lugano, Switerland) @InProceedings{ISSTA17p97, author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezzè}, title = {Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid54-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	McMinn, Phil	ISSTA '17: "ReDeCheck: An Automatic Layout ..." ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p381, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2017}, } Article: issta17demos-demosid18-p (type: Short Paper (4 pages)) doi: ISSTA '17: "XFix: An Automated Tool for ..." XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p389, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {XFix: An Automated Tool for the Repair of Layout Cross Browser Issues}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {389-388}, doi = {}, year = {2017}, } Article: issta17demos-demosid14-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Layout Failure Detection ..." Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p205, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: issta17main-mainid43-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "Automated Repair of Layout ..." Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, and William G. J. Halfond (University of Southern California, USA; University of Sheffield, UK) @InProceedings{ISSTA17p265, author = {Sonal Mahajan and Abdulmajeed Alameer and Phil McMinn and William G. J. Halfond}, title = {Automated Repair of Layout Cross Browser Issues using Search-Based Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {265-264}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid91-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Møller, Anders	ISSTA '17: "ArtForm: A Tool for Exploring ..." ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Ben Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel (University of Oxford, UK; Aarhus University, Denmark; York University, Canada) @InProceedings{ISSTA17p401, author = {Ben Spencer and Michael Benedikt and Anders Møller and Franck van Breugel}, title = {ArtForm: A Tool for Exploring the Codebase of Form-Based Websites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2017}, } Article: issta17demos-demosid5-p (type: Short Paper (4 pages)) doi:
	Monperrus, Martin	ISSTA '17: "Impact of Tool Support in ..." Impact of Tool Support in Patch Construction Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon (University of Luxembourg, Luxembourg; Inria, France; University of Lille, France) @InProceedings{ISSTA17p253, author = {Anil Koyuncu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon}, title = {Impact of Tool Support in Patch Construction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {253-252}, doi = {}, year = {2017}, } Article: issta17main-mainid49-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Mossige, Morten	ISSTA '17: "Reinforcement Learning for ..." Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige (Simula Research Laboratory, Norway; University of Stavanger, Norway; ABB Robotics, Norway) @InProceedings{ISSTA17p13, author = {Helge Spieker and Arnaud Gotlieb and Dusica Marijan and Morten Mossige}, title = {Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: issta17main-mainid35-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Mostafa, Shaikh	ISSTA '17: "Experience Paper: A Study ..." Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries Shaikh Mostafa, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ISSTA17p229, author = {Shaikh Mostafa and Rodney Rodriguez and Xiaoyin Wang}, title = {Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {229-228}, doi = {}, year = {2017}, } Article: issta17main-mainid78-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "PerfRanker: Prioritization ..." PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software Shaikh Mostafa, Xiaoyin Wang, and Tao Xie (University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA17p25, author = {Shaikh Mostafa and Xiaoyin Wang and Tao Xie}, title = {PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid87-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Murphy-Hill, Emerson	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Nurmuradov, Dmitry	ISSTA '17: "Caret-HM: Recording and Replaying ..." Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Dmitry Nurmuradov and Renee Bryce (University of North Texas, USA) @InProceedings{ISSTA17p421, author = {Dmitry Nurmuradov and Renee Bryce}, title = {Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2017}, } Article: issta17demos-demosid13-p (type: Short Paper (4 pages)) doi:
	Oliveira, Carlos	ISSTA '17: "Mapping Hardness of Automated ..." Mapping Hardness of Automated Software Testing Carlos Oliveira (Monash University, Australia) @InProceedings{ISSTA17p461, author = {Carlos Oliveira}, title = {Mapping Hardness of Automated Software Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2017}, } Article: issta17doc-docid2-p (type: Short Paper (4 pages)) doi:
	Ore, John-Paul	ISSTA '17: "Phriky-Units: A Lightweight, ..." Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA; University on Nebraska-Lincoln, USA) @InProceedings{ISSTA17p373, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {373-372}, doi = {}, year = {2017}, } Article: issta17demos-demosid8-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Lightweight Detection of Physical ..." Lightweight Detection of Physical Unit Inconsistencies without Program Annotations John-Paul Ore, Carrick Detweiler, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p361, author = {John-Paul Ore and Carrick Detweiler and Sebastian Elbaum}, title = {Lightweight Detection of Physical Unit Inconsistencies without Program Annotations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid81-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Partush, Nimrod	ISSTA '17: "Refining Interprocedural Change-Impact ..." Refining Interprocedural Change-Impact Analysis using Equivalence Relations Alex Gyori, Shuvendu K. Lahiri, and Nimrod Partush (University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA; Technion, Israel) @InProceedings{ISSTA17p337, author = {Alex Gyori and Shuvendu K. Lahiri and Nimrod Partush}, title = {Refining Interprocedural Change-Impact Analysis using Equivalence Relations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {337-336}, doi = {}, year = {2017}, } Article: issta17main-mainid68-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Perry, David M.	ISSTA '17: "Accelerating Array Constraints ..." Accelerating Array Constraints in Symbolic Execution David M. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar (Purdue University, USA; Imperial College London, UK) @InProceedings{ISSTA17p73, author = {David M. Perry and Andrea Mattavelli and Xiangyu Zhang and Cristian Cadar}, title = {Accelerating Array Constraints in Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid97-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Pezzè, Mauro	ISSTA '17: "Combining Symbolic Execution ..." Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè (University of Milano-Bicocca, Italy; Imperial College London, UK; University of Lugano, Switerland) @InProceedings{ISSTA17p97, author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezzè}, title = {Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid54-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Pradel, Michael	ISSTA '17: "An Actionable Performance ..." An Actionable Performance Profiler for Optimizing the Order of Evaluations Marija Selakovic, Thomas Glaser, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ISSTA17p181, author = {Marija Selakovic and Thomas Glaser and Michael Pradel}, title = {An Actionable Performance Profiler for Optimizing the Order of Evaluations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2017}, } Article: issta17main-mainid57-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Rajan, Ajitha	ISSTA '17: "ParTeCL: Parallel Testing ..." ParTeCL: Parallel Testing using OpenCL Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p405, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {ParTeCL: Parallel Testing using OpenCL}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {405-404}, doi = {}, year = {2017}, } Article: issta17demos-demosid20-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Compiler-Assisted Test Acceleration ..." Compiler-Assisted Test Acceleration on GPUs for Embedded Software Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p37, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {Compiler-Assisted Test Acceleration on GPUs for Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: issta17main-mainid77-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Ray, Baishakhi	ISSTA '17: "GitcProc: A Tool for Processing ..." GitcProc: A Tool for Processing and Classifying GitHub Commits Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-González (University of California at Davis, USA; University of Virginia, USA) @InProceedings{ISSTA17p417, author = {Casey Casalnuovo and Yagnik Suchak and Baishakhi Ray and Cindy Rubio-González}, title = {GitcProc: A Tool for Processing and Classifying GitHub Commits}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2017}, } Article: issta17demos-demosid12-p (type: Short Paper (4 pages)) doi:
	Reiss, Steven P.	ISSTA '17: "Identifying Test-Suite-Overfitted ..." Identifying Test-Suite-Overfitted Patches through Test Case Generation Qi Xin and Steven P. Reiss (Brown University, USA) @InProceedings{ISSTA17p241, author = {Qi Xin and Steven P. Reiss}, title = {Identifying Test-Suite-Overfitted Patches through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2017}, } Article: issta17main-mainid62-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Robertson, William	ISSTA '17: "Semi-automated Discovery of ..." Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications William Koch, Abdelberi Chaabane, Manuel Egele, William Robertson, and Engin Kirda (Boston University, USA; Northeastern University, USA) @InProceedings{ISSTA17p157, author = {William Koch and Abdelberi Chaabane and Manuel Egele and William Robertson and Engin Kirda}, title = {Semi-automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2017}, } Article: issta17main-mainid23-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Rodriguez, Rodney	ISSTA '17: "Experience Paper: A Study ..." Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries Shaikh Mostafa, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ISSTA17p229, author = {Shaikh Mostafa and Rodney Rodriguez and Xiaoyin Wang}, title = {Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {229-228}, doi = {}, year = {2017}, } Article: issta17main-mainid78-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Rojas, José Miguel	ISSTA '17: "Generating Unit Tests with ..." Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Ermira Daka, José Miguel Rojas, and Gordon Fraser (University of Sheffield, UK) @InProceedings{ISSTA17p61, author = {Ermira Daka and José Miguel Rojas and Gordon Fraser}, title = {Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid95-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Rubio-González, Cindy	ISSTA '17: "GitcProc: A Tool for Processing ..." GitcProc: A Tool for Processing and Classifying GitHub Commits Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-González (University of California at Davis, USA; University of Virginia, USA) @InProceedings{ISSTA17p417, author = {Casey Casalnuovo and Yagnik Suchak and Baishakhi Ray and Cindy Rubio-González}, title = {GitcProc: A Tool for Processing and Classifying GitHub Commits}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2017}, } Article: issta17demos-demosid12-p (type: Short Paper (4 pages)) doi:
	Sagonas, Konstantinos	ISSTA '17: "Targeted Property-Based Testing ..." Targeted Property-Based Testing Andreas Löscher and Konstantinos Sagonas (Uppsala University, Sweden) @InProceedings{ISSTA17p49, author = {Andreas Löscher and Konstantinos Sagonas}, title = {Targeted Property-Based Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid42-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Santolucito, Mark	ISSTA '17: "Version Space Learning for ..." Version Space Learning for Verification on Temporal Differentials Mark Santolucito (Yale University, USA) @InProceedings{ISSTA17p449, author = {Mark Santolucito}, title = {Version Space Learning for Verification on Temporal Differentials}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {449-448}, doi = {}, year = {2017}, } Article: issta17doc-docid7-p (type: Short Paper (4 pages)) doi:
	Selakovic, Marija	ISSTA '17: "An Actionable Performance ..." An Actionable Performance Profiler for Optimizing the Order of Evaluations Marija Selakovic, Thomas Glaser, and Michael Pradel (TU Darmstadt, Germany) @InProceedings{ISSTA17p181, author = {Marija Selakovic and Thomas Glaser and Michael Pradel}, title = {An Actionable Performance Profiler for Optimizing the Order of Evaluations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2017}, } Article: issta17main-mainid57-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Shi, Yangqingwei	ISSTA '17: "Faster Mutation Analysis via ..." Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao (Peking University, China) @InProceedings{ISSTA17p313, author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao}, title = {Faster Mutation Analysis via Equivalence Modulo States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2017}, } Article: issta17main-mainid51-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Smith, Justin	ISSTA '17: "Just-in-Time Static Analysis ..." Just-in-Time Static Analysis Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill (Fraunhofer IEM, Germany; University of Alberta, Canada; Imperial College London, UK; University of Paderborn, Germany; North Carolina State University, USA) @InProceedings{ISSTA17p325, author = {Lisa Nguyen Quang Do and Karim Ali and Benjamin Livshits and Eric Bodden and Justin Smith and Emerson Murphy-Hill}, title = {Just-in-Time Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {325-324}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid11-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Sohn, Jeongju	ISSTA '17: "FLUCCS: Using Code and Change ..." FLUCCS: Using Code and Change Metrics to Improve Fault Localization Jeongju Sohn and Shin Yoo (KAIST, South Korea) @InProceedings{ISSTA17p289, author = {Jeongju Sohn and Shin Yoo}, title = {FLUCCS: Using Code and Change Metrics to Improve Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {289-288}, doi = {}, year = {2017}, } Article: issta17main-mainid58-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Spencer, Ben	ISSTA '17: "ArtForm: A Tool for Exploring ..." ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Ben Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel (University of Oxford, UK; Aarhus University, Denmark; York University, Canada) @InProceedings{ISSTA17p401, author = {Ben Spencer and Michael Benedikt and Anders Møller and Franck van Breugel}, title = {ArtForm: A Tool for Exploring the Codebase of Form-Based Websites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2017}, } Article: issta17demos-demosid5-p (type: Short Paper (4 pages)) doi:
	Spieker, Helge	ISSTA '17: "Reinforcement Learning for ..." Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Helge Spieker, Arnaud Gotlieb, Dusica Marijan, and Morten Mossige (Simula Research Laboratory, Norway; University of Stavanger, Norway; ABB Robotics, Norway) @InProceedings{ISSTA17p13, author = {Helge Spieker and Arnaud Gotlieb and Dusica Marijan and Morten Mossige}, title = {Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: issta17main-mainid35-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Suchak, Yagnik	ISSTA '17: "GitcProc: A Tool for Processing ..." GitcProc: A Tool for Processing and Classifying GitHub Commits Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, and Cindy Rubio-González (University of California at Davis, USA; University of Virginia, USA) @InProceedings{ISSTA17p417, author = {Casey Casalnuovo and Yagnik Suchak and Baishakhi Ray and Cindy Rubio-González}, title = {GitcProc: A Tool for Processing and Classifying GitHub Commits}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2017}, } Article: issta17demos-demosid12-p (type: Short Paper (4 pages)) doi:
	Sui, Yulei	ISSTA '17: "Boosting the Precision of ..." Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue (UNSW, Australia; National University of Defense Technology, China) @InProceedings{ISSTA17p349, author = {Xiaokang Fan and Yulei Sui and Xiangke Liao and Jingling Xue}, title = {Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {349-348}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid102-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Sun, Wei	ISSTA '17: "Improving the Cost-Effectiveness ..." Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Wei Sun, Lisong Xu, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p85, author = {Wei Sun and Lisong Xu and Sebastian Elbaum}, title = {Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid16-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Torabi Dashti, Mohammad	ISSTA '17: "Test Execution Checkpointing ..." Test Execution Checkpointing for Web Applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin (ETH Zurich, Switzerland; EPFL, Switzerland) @InProceedings{ISSTA17p217, author = {Marco Guarnieri and Petar Tsankov and Tristan Buchs and Mohammad Torabi Dashti and David Basin}, title = {Test Execution Checkpointing for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2017}, } Article: issta17main-mainid36-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Tsankov, Petar	ISSTA '17: "Test Execution Checkpointing ..." Test Execution Checkpointing for Web Applications Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, and David Basin (ETH Zurich, Switzerland; EPFL, Switzerland) @InProceedings{ISSTA17p217, author = {Marco Guarnieri and Petar Tsankov and Tristan Buchs and Mohammad Torabi Dashti and David Basin}, title = {Test Execution Checkpointing for Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {217-216}, doi = {}, year = {2017}, } Article: issta17main-mainid36-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Visser, Willem	ISSTA '17: "JFIX: Semantics-Based Repair ..." JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser (Singapore Management University, Singapore; IST, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa) @InProceedings{ISSTA17p397, author = {Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser}, title = {JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {397-396}, doi = {}, year = {2017}, } Article: issta17demos-demosid4-p (type: Short Paper (4 pages)) doi:
	Walsh, Thomas A.	ISSTA '17: "ReDeCheck: An Automatic Layout ..." ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p381, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2017}, } Article: issta17demos-demosid18-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Automated Layout Failure Detection ..." Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle Thomas A. Walsh, Gregory M. Kapfhammer, and Phil McMinn (University of Sheffield, UK; Allegheny College, USA) @InProceedings{ISSTA17p205, author = {Thomas A. Walsh and Gregory M. Kapfhammer and Phil McMinn}, title = {Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: issta17main-mainid43-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Wang, Bo	ISSTA '17: "Faster Mutation Analysis via ..." Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao (Peking University, China) @InProceedings{ISSTA17p313, author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao}, title = {Faster Mutation Analysis via Equivalence Modulo States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2017}, } Article: issta17main-mainid51-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Wang, Linzhang	ISSTA '17: "Automatic Detection and Validation ..." Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li (Nanjing University, China; University of Kentucky, USA) @InProceedings{ISSTA17p121, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: issta17main-mainid86-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Wang, Weihang	ISSTA '17: "CPR: Cross Platform Binary ..." CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA; IBM Research, USA) @InProceedings{ISSTA17p169, author = {Yonghwi Kwon and Weihang Wang and Yunhui Zheng and Xiangyu Zhang and Dongyan Xu}, title = {CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2017}, } Article: issta17main-mainid19-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Wang, Xiaoyin	ISSTA '17: "Experience Paper: A Study ..." Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries Shaikh Mostafa, Rodney Rodriguez, and Xiaoyin Wang (University of Texas at San Antonio, USA) @InProceedings{ISSTA17p229, author = {Shaikh Mostafa and Rodney Rodriguez and Xiaoyin Wang}, title = {Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {229-228}, doi = {}, year = {2017}, } Article: issta17main-mainid78-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "PerfRanker: Prioritization ..." PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software Shaikh Mostafa, Xiaoyin Wang, and Tao Xie (University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA17p25, author = {Shaikh Mostafa and Xiaoyin Wang and Tao Xie}, title = {PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid87-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Wang, Yu	ISSTA '17: "Automatic Detection and Validation ..." Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li (Nanjing University, China; University of Kentucky, USA) @InProceedings{ISSTA17p121, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: issta17main-mainid86-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xie, Tao	ISSTA '17: "PerfRanker: Prioritization ..." PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software Shaikh Mostafa, Xiaoyin Wang, and Tao Xie (University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ISSTA17p25, author = {Shaikh Mostafa and Xiaoyin Wang and Tao Xie}, title = {PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid87-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xin, Qi	ISSTA '17: "Identifying Test-Suite-Overfitted ..." Identifying Test-Suite-Overfitted Patches through Test Case Generation Qi Xin and Steven P. Reiss (Brown University, USA) @InProceedings{ISSTA17p241, author = {Qi Xin and Steven P. Reiss}, title = {Identifying Test-Suite-Overfitted Patches through Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2017}, } Article: issta17main-mainid62-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xiong, Yingfei	ISSTA '17: "Faster Mutation Analysis via ..." Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao (Peking University, China) @InProceedings{ISSTA17p313, author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao}, title = {Faster Mutation Analysis via Equivalence Modulo States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2017}, } Article: issta17main-mainid51-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xu, Dongyan	ISSTA '17: "CPR: Cross Platform Binary ..." CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA; IBM Research, USA) @InProceedings{ISSTA17p169, author = {Yonghwi Kwon and Weihang Wang and Yunhui Zheng and Xiangyu Zhang and Dongyan Xu}, title = {CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2017}, } Article: issta17main-mainid19-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xu, Lisong	ISSTA '17: "Improving the Cost-Effectiveness ..." Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Wei Sun, Lisong Xu, and Sebastian Elbaum (University of Nebraska-Lincoln, USA) @InProceedings{ISSTA17p85, author = {Wei Sun and Lisong Xu and Sebastian Elbaum}, title = {Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid16-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Xue, Jingling	ISSTA '17: "Boosting the Precision of ..." Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue (UNSW, Australia; National University of Defense Technology, China) @InProceedings{ISSTA17p349, author = {Xiaokang Fan and Yulei Sui and Xiangke Liao and Jingling Xue}, title = {Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {349-348}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid102-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Yaneva, Vanya	ISSTA '17: "ParTeCL: Parallel Testing ..." ParTeCL: Parallel Testing using OpenCL Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p405, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {ParTeCL: Parallel Testing using OpenCL}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {405-404}, doi = {}, year = {2017}, } Article: issta17demos-demosid20-p (type: Short Paper (4 pages)) doi: ISSTA '17: "Compiler-Assisted Test Acceleration ..." Compiler-Assisted Test Acceleration on GPUs for Embedded Software Vanya Yaneva, Ajitha Rajan, and Christophe Dubach (University of Edinburgh, UK) @InProceedings{ISSTA17p37, author = {Vanya Yaneva and Ajitha Rajan and Christophe Dubach}, title = {Compiler-Assisted Test Acceleration on GPUs for Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: issta17main-mainid77-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Ying, Ming	ISSTA '17: "Effective Online Software ..." Effective Online Software Anomaly Detection Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, and Mei-Hwa Chen (SUNY Albany, USA) @InProceedings{ISSTA17p145, author = {Yizhen Chen and Ming Ying and Daren Liu and Adil Alim and Feng Chen and Mei-Hwa Chen}, title = {Effective Online Software Anomaly Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: issta17main-mainid106-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Yoo, Shin	ISSTA '17: "FLUCCS: Using Code and Change ..." FLUCCS: Using Code and Change Metrics to Improve Fault Localization Jeongju Sohn and Shin Yoo (KAIST, South Korea) @InProceedings{ISSTA17p289, author = {Jeongju Sohn and Shin Yoo}, title = {FLUCCS: Using Code and Change Metrics to Improve Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {289-288}, doi = {}, year = {2017}, } Article: issta17main-mainid58-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Yu, Tingting	ISSTA '17: "Automatic Detection and Validation ..." Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li (Nanjing University, China; University of Kentucky, USA) @InProceedings{ISSTA17p121, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: issta17main-mainid86-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zeller, Andreas	ISSTA '17: "CUT: Automatic Unit Testing ..." CUT: Automatic Unit Testing in the Cloud Alessio Gambi, Sebastian Kappler, Johannes Lampel, and Andreas Zeller (Saarland University, Germany) @InProceedings{ISSTA17p385, author = {Alessio Gambi and Sebastian Kappler and Johannes Lampel and Andreas Zeller}, title = {CUT: Automatic Unit Testing in the Cloud}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2017}, } Article: issta17demos-demosid9-p (type: Short Paper (4 pages)) doi:
	Zhang, Lingming	ISSTA '17: "Boosting Spectrum-Based Fault ..." Boosting Spectrum-Based Fault Localization using PageRank Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA17p277, author = {Mengshi Zhang and Xia Li and Lingming Zhang and Sarfraz Khurshid}, title = {Boosting Spectrum-Based Fault Localization using PageRank}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: issta17main-mainid112-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zhang, Lu	ISSTA '17: "Faster Mutation Analysis via ..." Faster Mutation Analysis via Equivalence Modulo States Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, and Dan Hao (Peking University, China) @InProceedings{ISSTA17p313, author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao}, title = {Faster Mutation Analysis via Equivalence Modulo States}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {}, year = {2017}, } Article: issta17main-mainid51-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zhang, Mengshi	ISSTA '17: "Boosting Spectrum-Based Fault ..." Boosting Spectrum-Based Fault Localization using PageRank Mengshi Zhang, Xia Li, Lingming Zhang, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Texas at Dallas, USA) @InProceedings{ISSTA17p277, author = {Mengshi Zhang and Xia Li and Lingming Zhang and Sarfraz Khurshid}, title = {Boosting Spectrum-Based Fault Localization using PageRank}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: issta17main-mainid112-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zhang, Xiangyu	ISSTA '17: "CPR: Cross Platform Binary ..." CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA; IBM Research, USA) @InProceedings{ISSTA17p169, author = {Yonghwi Kwon and Weihang Wang and Yunhui Zheng and Xiangyu Zhang and Dongyan Xu}, title = {CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2017}, } Article: issta17main-mainid19-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi: ISSTA '17: "Accelerating Array Constraints ..." Accelerating Array Constraints in Symbolic Execution David M. Perry, Andrea Mattavelli, Xiangyu Zhang, and Cristian Cadar (Purdue University, USA; Imperial College London, UK) @InProceedings{ISSTA17p73, author = {David M. Perry and Andrea Mattavelli and Xiangyu Zhang and Cristian Cadar}, title = {Accelerating Array Constraints in Symbolic Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Artifacts Functional Article: issta17main-mainid97-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zhao, Jianhua	ISSTA '17: "Automatic Detection and Validation ..." Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, and Xuandong Li (Nanjing University, China; University of Kentucky, USA) @InProceedings{ISSTA17p121, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, } Article: issta17main-mainid86-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:
	Zheng, Yunhui	ISSTA '17: "CPR: Cross Platform Binary ..." CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, and Dongyan Xu (Purdue University, USA; IBM Research, USA) @InProceedings{ISSTA17p169, author = {Yonghwi Kwon and Weihang Wang and Yunhui Zheng and Xiangyu Zhang and Dongyan Xu}, title = {CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2017}, } Article: issta17main-mainid19-p (type: Full Paper (10 Pages of Text + 2 Pages of References)) doi:

166 authors

proc time: 0.34