Write a Blog >>

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017.

ISSTA will be co-located with the 24th International SPIN Symposium on Model Checking of Software (SPIN 2017).

Important Dates

  • Research and Experience paper submissions: February 3, 2017 (23:59:59 Anywhere on Earth)
  • Author Response Period: March 21-22, 2017
  • Research/experience paper Author notification: April 29, 2017
  • Camera ready deadline: May 20, 2017

Mon 10 Jul

issta-2017-research
10:30 - 12:10: Technical Papers - Improving Testing at Bren 1414
Chair(s): Cristian CadarImperial College London
issta-2017-research149967540000010:30 - 10:55
Talk
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Kevin Kellar
DOI
issta-2017-research149967690000010:55 - 11:20
Talk
Helge SpiekerSimula Research Laboratory, Norway, Arnaud GotliebSimula Research Laboratory, Norway, Dusica MarijanSimula, Morten MossigeUniversity of Stavanger, Norway / ABB Robotics, Norway
DOI
issta-2017-research149967840000011:20 - 11:45
Talk
Shaikh MostafaUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Tao XieUniversity of Illinois at Urbana-Champaign
DOI
issta-2017-research149967990000011:45 - 12:10
Talk
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-research
13:45 - 14:35: Technical Papers - Testing at Bren 1414
Chair(s): Alex GroceNorthern Arizona University
issta-2017-research149968710000013:45 - 14:10
Talk
Andreas Löscher, Konstantinos SagonasUppsala University, Sweden
DOI
issta-2017-research149968860000014:10 - 14:35
Talk
Ermira DakaUniversity of Sheffield, UK, José Miguel RojasUniversity of Sheffield, Gordon FraserUniversity of Sheffield
DOI
issta-2017-research
16:00 - 17:15: Technical Papers - Symbolic Execution at Bren 1414
Chair(s): Gordon FraserUniversity of Sheffield
issta-2017-research149969520000016:00 - 16:25
Talk
David Mitchel PerryPurdue University, Andrea MattavelliImperial College London, Xiangyu ZhangPurdue University, Cristian CadarImperial College London
DOI
issta-2017-research149969670000016:25 - 16:50
Talk
Wei SunUniversity of Nebraska-Lincoln, USA, Lisong XuUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-research149969820000016:50 - 17:15
Talk
Pietro BraioneUniversity of Milano-Bicocca, Italy, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzèUniversity of Milano-Bicocca, Italy
DOI

Tue 11 Jul

issta-2017-research
10:30 - 11:45: Technical Papers - Concurrency at Bren 1414
Chair(s): Chao Wang
issta-2017-research149976180000010:30 - 10:55
Talk
Pallavi MaiyaIndian Institute of Science, Bangalore, Aditya KanadeIndian Institute of Science, Bangalore
DOI
issta-2017-research149976330000010:55 - 11:20
Talk
Yu WangNanjing University, China, Linzhang Wang, Tingting YuUniversity of Kentucky, Jianhua ZhaoNanjing University, China, Xuandong LiNanjing University
DOI
issta-2017-research149976480000011:20 - 11:45
Talk
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-research
13:20 - 15:00: Technical Papers - Dynamic Analysis at Bren 1414
Chair(s): Tao XieUniversity of Illinois at Urbana-Champaign
issta-2017-research149977200000013:20 - 13:45
Talk
Yizhen ChenSUNY Albany, USA, Ming YingSUNY Albany, USA, Daren LiuSUNY Albany, USA, Adil AlimSUNY Albany, USA, Feng ChenSUNY Albany, USA, Mei-Hwa ChenSUNY Albany, USA
DOI
issta-2017-research149977350000013:45 - 14:10
Talk
William KochBoston University, USA, Abdelberi ChaabaneNortheastern University, USA, Manuel EgeleBoston University, USA, William RobertsonNortheastern University, USA, Engin KirdaNortheastern University, USA
DOI
issta-2017-research149977500000014:10 - 14:35
Talk
Yonghwi KwonPurdue University, Weihang WangPurdue University, Yunhui ZhengIBM T.J. Watson Research Center, Xiangyu ZhangPurdue University, Dongyan XuPurdue University, USA
DOI
issta-2017-research149977650000014:35 - 15:00
Talk
Marija SelakovicTU Darmstadt, Germany, Thomas GlaserTU Darmstadt, Germany, Michael PradelTU Darmstadt
DOI
issta-2017-research
16:00 - 17:15: Technical Papers - The Web at Bren 1414
Chair(s): Frank TipNortheastern University
issta-2017-research149978160000016:00 - 16:25
Talk
Snigdha Athaiya, Raghavan KomondoorIndian Institute of Science, Bangalore
DOI
issta-2017-research149978310000016:25 - 16:50
Talk
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-research149978460000016:50 - 17:15
Talk
Marco GuarnieriETH Zurich, Switzerland, Petar TsankovETH Zurich, Tristan BuchsEPFL, Switzerland, Mohammad Torabi DashtiETH Zurich, Switzerland, David BasinETH Zurich, Switzerland
DOI

Wed 12 Jul

issta-2017-research
09:30 - 09:55: Technical Papers - Experience Report at Bren 1414
Chair(s): Andreas ZellerSaarland University
issta-2017-research149984460000009:30 - 09:55
Talk
Shaikh MostafaUniversity of Texas at San Antonio, USA, Rodney RodriguezUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
issta-2017-research
10:30 - 11:45: Technical Papers - Program Repair and Patching at Bren 1414
Chair(s): Michael PradelTU Darmstadt
issta-2017-research149984820000010:30 - 10:55
Talk
Qi XinBrown University, USA, Steven P. ReissBrown University, USA
DOI
issta-2017-research149984970000010:55 - 11:20
Talk
Anil KoyuncuUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Jacques KleinUniversity of Luxembourg, Martin Monperrus, Yves Le TraonUniversity of Luxembourg
DOI
issta-2017-research149985120000011:20 - 11:45
Talk
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-research
13:20 - 15:00: Technical Papers - Fault Localization and Mutation Testing at Bren 1414
Chair(s): Alex OrsoGeorgia Institute of Technology
issta-2017-research149985840000013:20 - 13:45
Talk
Mengshi ZhangUniversity of Texas at Austin, USA, Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang, Sarfraz KhurshidUniversity of Texas at Austin
DOI
issta-2017-research149985990000013:45 - 14:10
Talk
Jeongju SohnKAIST, South Korea, Shin YooKorea Advanced Institute of Science and Technology
DOI
issta-2017-research149986140000014:10 - 14:35
Talk
René JustUniversity of Massachusetts, USA, Bob KurtzGeorge Mason University, USA, Paul AmmannGeorge Mason University, USA
DOI Pre-print
issta-2017-research149986290000014:35 - 15:00
Talk
Bo WangPeking University, China, Yingfei XiongPeking University, Yangqingwei ShiPeking University, Lu ZhangPeking University, Dan HaoPeking University
DOI Pre-print
issta-2017-research
15:30 - 17:10: Technical Papers - Static Analysis at Bren 1414
Chair(s): William G.J. HalfondUniversity of Southern California
issta-2017-research149986620000015:30 - 15:55
Talk
Lisa Nguyen Quang DoFraunhofer IEM, Karim AliUniversity of Alberta, Benjamin LivshitsImperial College London, UK, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
DOI
issta-2017-research149986770000015:55 - 16:20
Talk
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Shuvendu K. LahiriMicrosoft Research, Nimrod PartushTechnion
DOI
issta-2017-research149986920000016:20 - 16:45
Talk
Xiaokang Fan, Yulei Sui, Xiangke LiaoNational University of Defense Technology, China, Jingling XueUNSW Australia
DOI
issta-2017-research149987070000016:45 - 17:10
Talk
John-Paul OreUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA
DOI

Call for Papers

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

ISSTA 2017 will be held in Santa Barbara, California, USA, on July 10–14, 2017.

ISSTA will be co-located with the 24th International SPIN Symposium on Model Checking of Software (SPIN 2017).

Research Papers

Authors are invited to submit research papers describing original contributions in testing or analysis of computer software. Papers describing original theoretical or empirical research, new techniques, in-depth case studies, infrastructures of testing and analysis methods or tools are welcome.

Experience Papers

Authors are invited to submit experience papers describing a significant experience in applying software testing and analysis methods or tools and should carefully identify and discuss important lessons learned so that other researchers and/or practitioners can benefit from the experience. Of special interest are experience papers that report on industrial applications of software testing and analysis methods or tools.

Artifact Evaluation

The Artifact Evaluation track invites authors of ISSTA paper submissions to submit their artifacts that will help the PC make better acceptance decisions and/or future researchers build on and compare with their work. The submission deadline is Feb 17, 2017. For more information, see the Artifact Evaluation track page.

Demonstrations

The Demonstrations track solicits 4-page papers on advances in software testing and analysis tools that aid either practice, research, or both. The submission deadline is May 2, 2017. For more information, see the Demonstrations track page.

Submission Guidelines

Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

Both Research and Experience Papers should be at most 10 pages in length, with at most 2 additional pages for references. All papers must be prepared in ACM Conference Format.

ISSTA 2017 will conduct double-blind reviewing. Submissions should not reveal the identity of the authors in any way. Authors should leave out author names and affiliations from the body of their submission. They should also ensure that any citations to related work by themselves are written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”. Authors with further questions on double-blind reviewing are encouraged to contact the Program Chair by email.

Submit your papers via the EasyChair ISSTA 2017 submission website.

Important Dates

  • Research and Experience paper submissions: February 3, 2017 (23:59:59 Anywhere on Earth)
  • Author Response Period: March 21-22, 2017
  • Research/experience paper Author notification: April 29, 2017
  • Camera ready deadline: May 20, 2017

Accepted Papers

Title
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI Pre-print
DOI
DOI
DOI
DOI
DOI Pre-print
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI
DOI