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},
}
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
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
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},
}
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
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},
}
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
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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
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},
}
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},
}
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},
}
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},
}
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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
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},
}
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
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
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},
}
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},
}
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},
}
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},
}
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
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
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},
}
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
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},
}
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
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
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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},
}
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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},
}
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
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},
}
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
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},
}
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
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
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},
}
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},
}
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
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
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},
}
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},
}
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},
}
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
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},
}
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},
}
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},
}
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},
}
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
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
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},
}
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},
}
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},
}
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
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},
}
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
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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
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},
}
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},
}
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},
}
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
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},
}
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},
}
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},
}
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},
}
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
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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
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},
}
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},
}
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},
}
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
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
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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
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},
}
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},
}