ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "UI Driven Android Application ..."
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
@InProceedings{ASE17p592,
author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian},
title = {UI Driven Android Application Reduction},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {592-591},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "Promoting Secondary Orders ..."
Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
Mahmoud Abdelrasoul
(North Carolina State University, USA)
@InProceedings{ASE17p1066,
author = {Mahmoud Abdelrasoul},
title = {Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1066-1065},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "SentiCR: A Customized Sentiment ..."
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
(Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA)
@InProceedings{ASE17p406,
author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi},
title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {406-405},
doi = {},
year = {2017},
}
ASE '17: "Leveraging Abstract Interpretation ..."
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Eman Alatawi, Harald Søndergaard, and Tim Miller
(University of Melbourne, Australia)
@InProceedings{ASE17p940,
author = {Eman Alatawi and Harald Søndergaard and Tim Miller},
title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {940-939},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
ASE '17: "Why and How JavaScript Developers ..."
Why and How JavaScript Developers Use Linters
Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen
(Delft University of Technology, Netherlands)
@InProceedings{ASE17p898,
author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen},
title = {Why and How JavaScript Developers Use Linters},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {898-897},
doi = {},
year = {2017},
}
ASE '17: "Renaming and Shifted Code ..."
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
(University of Passau, Germany; Carnegie Mellon University, USA)
@InProceedings{ASE17p862,
author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund},
title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {862-861},
doi = {},
year = {2017},
}
ASE '17: "Perceived Language Complexity ..."
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
@InProceedings{ASE17p370,
author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov},
title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {370-369},
doi = {},
year = {2017},
}
ASE '17: "Automatically Generating Commit ..."
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Siyuan Jiang, Ameer Armaly, and Collin McMillan
(University of Notre Dame, USA)
@InProceedings{ASE17p436,
author = {Siyuan Jiang and Ameer Armaly and Collin McMillan},
title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {436-435},
doi = {},
year = {2017},
}
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
ASE '17: "Detecting Information Flow ..."
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
(Saarland University, Germany; National University of Singapore, Singapore)
@InProceedings{ASE17p568,
author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller},
title = {Detecting Information Flow by Mutating Input Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {568-567},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "Programming Bots by Synthesizing ..."
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia)
@InProceedings{ASE17p1162,
author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez},
title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1162-1161},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "Predicting Relevance of Change ..."
Predicting Relevance of Change Recommendations
Thomas Rolfsnes, Leon Moonen, and David Binkley
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)
@InProceedings{ASE17p1018,
author = {Thomas Rolfsnes and Leon Moonen and David Binkley},
title = {Predicting Relevance of Change Recommendations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1018-1017},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "Improving Missing Issue-Commit ..."
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
(University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA)
@InProceedings{ASE17p448,
author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm},
title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {448-447},
doi = {},
year = {2017},
}
ASE '17: "Understanding Feature Requests ..."
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA)
@InProceedings{ASE17p754,
author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm},
title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {754-753},
doi = {},
year = {2017},
}
ASE '17: "Detecting Information Flow ..."
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
(Saarland University, Germany; National University of Singapore, Singapore)
@InProceedings{ASE17p568,
author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller},
title = {Detecting Information Flow by Mutating Input Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {568-567},
doi = {},
year = {2017},
}
ASE '17: "Quick Verification of Concurrent ..."
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p1102,
author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri},
title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1102-1101},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "SentiCR: A Customized Sentiment ..."
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
(Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA)
@InProceedings{ASE17p406,
author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi},
title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {406-405},
doi = {},
year = {2017},
}
ASE '17: "Model Checker Execution Reports ..."
Model Checker Execution Reports
Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
(University of Buenos Aires, Argentina; CONICET, Argentina)
@InProceedings{ASE17p502,
author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel},
title = {Model Checker Execution Reports},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {502-501},
doi = {},
year = {2017},
}
ASE '17: "Synthetic Data Generation ..."
Synthetic Data Generation for Statistical Testing
Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ASE17p1204,
author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand},
title = {Synthetic Data Generation for Statistical Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1204-1203},
doi = {},
year = {2017},
}
ASE '17: "Tortoise: Interactive System ..."
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, and Yuriy Brun
(Northeastern University, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ASE17p946,
author = {Aaron Weiss and Arjun Guha and Yuriy Brun},
title = {Tortoise: Interactive System Configuration Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {946-945},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "Towards Search-Based Modelling ..."
Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions
Saheed A. Busari
(University College London, UK)
@InProceedings{ASE17p1360,
author = {Saheed A. Busari},
title = {Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1360-1359},
doi = {},
year = {2017},
}
ASE '17: "Gremlin-ATL: A Scalable Model ..."
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
(AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain)
@InProceedings{ASE17p778,
author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot},
title = {Gremlin-ATL: A Scalable Model Transformation Framework},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {778-777},
doi = {},
year = {2017},
}
ASE '17: "Automatic Testing of Symbolic ..."
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
Timotej Kapus and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ASE17p910,
author = {Timotej Kapus and Cristian Cadar},
title = {Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {910-909},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "UNDEAD: Detecting and Preventing ..."
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1054,
author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu},
title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1054-1053},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Test Suite Parallelization ..."
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
Jeanderson Candido, Luis Melo, and Marcelo d’Amorim
(Federal University of Pernambuco, Brazil)
@InProceedings{ASE17p1168,
author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim},
title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1168-1167},
doi = {},
year = {2017},
}
ASE '17: "Understanding and Overcoming ..."
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
@InProceedings{ASE17p1090,
author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu},
title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1090-1089},
doi = {},
year = {2017},
}
ASE '17: "Programming Bots by Synthesizing ..."
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia)
@InProceedings{ASE17p1162,
author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez},
title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1162-1161},
doi = {},
year = {2017},
}
ASE '17: "Model Checker Execution Reports ..."
Model Checker Execution Reports
Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
(University of Buenos Aires, Argentina; CONICET, Argentina)
@InProceedings{ASE17p502,
author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel},
title = {Model Checker Execution Reports},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {502-501},
doi = {},
year = {2017},
}
ASE '17: "Understanding and Overcoming ..."
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
@InProceedings{ASE17p1090,
author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu},
title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1090-1089},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "iCoq: Regression Proof Selection ..."
iCoq: Regression Proof Selection for Large-Scale Verification Projects
Ahmet Celik, Karl Palmskog, and Milos Gligoric
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p472,
author = {Ahmet Celik and Karl Palmskog and Milos Gligoric},
title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {472-471},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "Programming Bots by Synthesizing ..."
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia)
@InProceedings{ASE17p1162,
author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez},
title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1162-1161},
doi = {},
year = {2017},
}
ASE '17: "SimplyDroid: Efficient Event ..."
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)
@InProceedings{ASE17p604,
author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan},
title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {604-603},
doi = {},
year = {2017},
}
ASE '17: "Exploring Regular Expression ..."
Exploring Regular Expression Comprehension
Carl Chapman, Peipei Wang, and Kathryn T. Stolee
(Sandia National Laboratories, USA; North Carolina State University, USA)
@InProceedings{ASE17p718,
author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee},
title = {Exploring Regular Expression Comprehension},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {718-717},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "Improving Missing Issue-Commit ..."
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
(University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA)
@InProceedings{ASE17p448,
author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm},
title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {448-447},
doi = {},
year = {2017},
}
ASE '17: "Understanding Feature Requests ..."
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA)
@InProceedings{ASE17p754,
author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm},
title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {754-753},
doi = {},
year = {2017},
}
ASE '17: "Systematically Testing Background ..."
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
(University of Science and Technology of China, China; Microsoft Research, China)
@InProceedings{ASE17p298,
author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen},
title = {Systematically Testing Background Services of Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {298-297},
doi = {},
year = {2017},
}
ASE '17: "Static Detection of Asymptotic ..."
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
(University of Texas at Austin, USA)
@InProceedings{ASE17p532,
author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin},
title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {532-531},
doi = {},
year = {2017},
}
ASE '17: "Contract-Based Program Repair ..."
Contract-Based Program Repair without the Contracts
Liushan Chen, Yu Pei, and Carlo A. Furia
(Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden)
@InProceedings{ASE17p958,
author = {Liushan Chen and Yu Pei and Carlo A. Furia},
title = {Contract-Based Program Repair without the Contracts},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {958-957},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "Systematic Reduction of GUI ..."
Systematic Reduction of GUI Test Sequences
Lin Cheng, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
@InProceedings{ASE17p1180,
author = {Lin Cheng and Zijiang Yang and Chao Wang},
title = {Systematic Reduction of GUI Test Sequences},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1180-1179},
doi = {},
year = {2017},
}
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "Diagnosing Assumption Problems ..."
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
(DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA)
@InProceedings{ASE17p790,
author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz},
title = {Diagnosing Assumption Problems in Safety-Critical Products},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {790-789},
doi = {},
year = {2017},
}
ASE '17: "EventFlowSlicer: A Tool for ..."
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p1288,
author = {Jonathan A. Saddler and Myra B. Cohen},
title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1288-1287},
doi = {},
year = {2017},
}
ASE '17: "Rethinking Pointer Reasoning ..."
Rethinking Pointer Reasoning in Symbolic Execution
Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu
(Sapienza University of Rome, Italy)
@InProceedings{ASE17p934,
author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu},
title = {Rethinking Pointer Reasoning in Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {934-933},
doi = {},
year = {2017},
}
ASE '17: "TrEKer: Tracing Error Propagation ..."
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p688,
author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri},
title = {TrEKer: Tracing Error Propagation in Operating System Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {688-687},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "Test Suite Parallelization ..."
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
Jeanderson Candido, Luis Melo, and Marcelo d’Amorim
(Federal University of Pernambuco, Brazil)
@InProceedings{ASE17p1168,
author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim},
title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1168-1167},
doi = {},
year = {2017},
}
ASE '17: "Gremlin-ATL: A Scalable Model ..."
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
(AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain)
@InProceedings{ASE17p778,
author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot},
title = {Gremlin-ATL: A Scalable Model Transformation Framework},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {778-777},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "The Rise of the (Modelling) ..."
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
(Autonomous University of Madrid, Spain)
@InProceedings{ASE17p1048,
author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado},
title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1048-1047},
doi = {},
year = {2017},
}
ASE '17: "Rethinking Pointer Reasoning ..."
Rethinking Pointer Reasoning in Symbolic Execution
Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu
(Sapienza University of Rome, Italy)
@InProceedings{ASE17p934,
author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu},
title = {Rethinking Pointer Reasoning in Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {934-933},
doi = {},
year = {2017},
}
ASE '17: "Saying ’Hi!’ Is Not Enough: ..."
Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation
Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel
(ETH Zurich, Switzerland; TU Darmstadt, Germany)
@InProceedings{ASE17p340,
author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel},
title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {340-339},
doi = {},
year = {2017},
}
ASE '17: "Rethinking Pointer Reasoning ..."
Rethinking Pointer Reasoning in Symbolic Execution
Emilio Coppa, Daniele Cono D’Elia, and Camil Demetrescu
(Sapienza University of Rome, Italy)
@InProceedings{ASE17p934,
author = {Emilio Coppa and Daniele Cono D’Elia and Camil Demetrescu},
title = {Rethinking Pointer Reasoning in Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {934-933},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "Software Engineering without ..."
Software Engineering without Borders
Arie van Deursen
(Delft University of Technology, Netherlands)
@InProceedings{ASE17p199,
author = {Arie van Deursen},
title = {Software Engineering without Borders},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {199-198},
doi = {},
year = {2017},
}
ASE '17: "Why and How JavaScript Developers ..."
Why and How JavaScript Developers Use Linters
Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen
(Delft University of Technology, Netherlands)
@InProceedings{ASE17p898,
author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen},
title = {Why and How JavaScript Developers Use Linters},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {898-897},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study of Real-World ..."
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco, Hui Guo, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ASE17p826,
author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González},
title = {A Comprehensive Study of Real-World Numerical Bug Characteristics},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {826-825},
doi = {},
year = {2017},
}
ASE '17: "Static Detection of Asymptotic ..."
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
(University of Texas at Austin, USA)
@InProceedings{ASE17p532,
author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin},
title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {532-531},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "More Effective Interpolations ..."
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong
(Xidian University, China; University of Oxford, UK)
@InProceedings{ASE17p484,
author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong},
title = {More Effective Interpolations in Software Model Checking},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {484-483},
doi = {},
year = {2017},
}
ASE '17: "More Effective Interpolations ..."
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong
(Xidian University, China; University of Oxford, UK)
@InProceedings{ASE17p484,
author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong},
title = {More Effective Interpolations in Software Model Checking},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {484-483},
doi = {},
year = {2017},
}
ASE '17: "SymInfer: Inferring Program ..."
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
(University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa)
@InProceedings{ASE17p1132,
author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser},
title = {SymInfer: Inferring Program Invariants using Symbolic States},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1132-1131},
doi = {},
year = {2017},
}
ASE '17: "Comprehensive Failure Characterization ..."
Comprehensive Failure Characterization
Mitchell J. Gerrard and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p676,
author = {Mitchell J. Gerrard and Matthew B. Dwyer},
title = {Comprehensive Failure Characterization},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {676-675},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "Automated Cross-Platform Inconsistency ..."
Automated Cross-Platform Inconsistency Detection for Mobile Apps
Mattia Fazzini and Alessandro Orso
(Georgia Institute of Technology, USA)
@InProceedings{ASE17p616,
author = {Mattia Fazzini and Alessandro Orso},
title = {Automated Cross-Platform Inconsistency Detection for Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {616-615},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "The Impact of Continuous Integration ..."
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
@InProceedings{ASE17p358,
author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {358-357},
doi = {},
year = {2017},
}
ASE '17: "Perceived Language Complexity ..."
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
@InProceedings{ASE17p370,
author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov},
title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {370-369},
doi = {},
year = {2017},
}
ASE '17: "Parallel Bug-Finding in Concurrent ..."
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
@InProceedings{ASE17p1078,
author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1078-1077},
doi = {},
year = {2017},
}
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "Recommending Crowdsourced ..."
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
(Beihang University, China)
@InProceedings{ASE17p1042,
author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye},
title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1042-1041},
doi = {},
year = {2017},
}
ASE '17: "Contract-Based Program Repair ..."
Contract-Based Program Repair without the Contracts
Liushan Chen, Yu Pei, and Carlo A. Furia
(Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden)
@InProceedings{ASE17p958,
author = {Liushan Chen and Yu Pei and Carlo A. Furia},
title = {Contract-Based Program Repair without the Contracts},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {958-957},
doi = {},
year = {2017},
}
ASE '17: "Proof-Based Coverage Metrics ..."
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
@InProceedings{ASE17p496,
author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner},
title = {Proof-Based Coverage Metrics for Formal Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {496-495},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "Model Checker Execution Reports ..."
Model Checker Execution Reports
Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
(University of Buenos Aires, Argentina; CONICET, Argentina)
@InProceedings{ASE17p502,
author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel},
title = {Model Checker Execution Reports},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {502-501},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
ASE '17: "Context-Aware Integrated Development ..."
Context-Aware Integrated Development Environment Command Recommender Systems
Marko Gasparic, Tural Gurbanov, and Francesco Ricci
(Free University of Bolzano, Italy)
@InProceedings{ASE17p1012,
author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci},
title = {Context-Aware Integrated Development Environment Command Recommender Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1012-1011},
doi = {},
year = {2017},
}
ASE '17: "Comprehensive Failure Characterization ..."
Comprehensive Failure Characterization
Mitchell J. Gerrard and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p676,
author = {Mitchell J. Gerrard and Matthew B. Dwyer},
title = {Comprehensive Failure Characterization},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {676-675},
doi = {},
year = {2017},
}
ASE '17: "Proof-Based Coverage Metrics ..."
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
@InProceedings{ASE17p496,
author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner},
title = {Proof-Based Coverage Metrics for Formal Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {496-495},
doi = {},
year = {2017},
}
ASE '17: "iCoq: Regression Proof Selection ..."
iCoq: Regression Proof Selection for Large-Scale Verification Projects
Ahmet Celik, Karl Palmskog, and Milos Gligoric
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p472,
author = {Ahmet Celik and Karl Palmskog and Milos Gligoric},
title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {472-471},
doi = {},
year = {2017},
}
ASE '17: "Learn&Fuzz: Machine Learning ..."
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh
(Microsoft Research, USA; Technion, Israel)
@InProceedings{ASE17p346,
author = {Patrice Godefroid and Hila Peleg and Rishabh Singh},
title = {Learn&Fuzz: Machine Learning for Input Fuzzing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {346-345},
doi = {},
year = {2017},
}
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
ASE '17: "Semantics-Assisted Code Review: ..."
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Massimiliano Menarini, Yan Yan, and William G. Griswold
(University of California at San Diego, USA)
@InProceedings{ASE17p874,
author = {Massimiliano Menarini and Yan Yan and William G. Griswold},
title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {874-873},
doi = {},
year = {2017},
}
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
ASE '17: "Mining Constraints for Event-based ..."
Mining Constraints for Event-based Monitoring in Systems of Systems
Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria)
@InProceedings{ASE17p1156,
author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher},
title = {Mining Constraints for Event-based Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1156-1155},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "The Rise of the (Modelling) ..."
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
(Autonomous University of Madrid, Spain)
@InProceedings{ASE17p1048,
author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado},
title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1048-1047},
doi = {},
year = {2017},
}
ASE '17: "Privacy-Aware Data-Intensive ..."
Privacy-Aware Data-Intensive Applications
Michele Guerriero
(Politecnico di Milano, Italy)
@InProceedings{ASE17p1364,
author = {Michele Guerriero},
title = {Privacy-Aware Data-Intensive Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1364-1363},
doi = {},
year = {2017},
}
ASE '17: "Tortoise: Interactive System ..."
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, and Yuriy Brun
(Northeastern University, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ASE17p946,
author = {Aaron Weiss and Arjun Guha and Yuriy Brun},
title = {Tortoise: Interactive System Configuration Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {946-945},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study of Real-World ..."
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco, Hui Guo, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ASE17p826,
author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González},
title = {A Comprehensive Study of Real-World Numerical Bug Characteristics},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {826-825},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "Context-Aware Integrated Development ..."
Context-Aware Integrated Development Environment Command Recommender Systems
Marko Gasparic, Tural Gurbanov, and Francesco Ricci
(Free University of Bolzano, Italy)
@InProceedings{ASE17p1012,
author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci},
title = {Context-Aware Integrated Development Environment Command Recommender Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1012-1011},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "Are Developers Aware of the ..."
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
@InProceedings{ASE17p394,
author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman},
title = {Are Developers Aware of the Architectural Impact of Their Changes?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {394-393},
doi = {},
year = {2017},
}
ASE '17: "Mining Structures from Massive ..."
Mining Structures from Massive Text Data: Will It Help Software Engineering?
Jiawei Han
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p100,
author = {Jiawei Han},
title = {Mining Structures from Massive Text Data: Will It Help Software Engineering?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {100-99},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Crowd Intelligence Enhances ..."
Crowd Intelligence Enhances Automated Mobile Testing
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK; Facebook, UK)
@InProceedings{ASE17p310,
author = {Ke Mao and Mark Harman and Yue Jia},
title = {Crowd Intelligence Enhances Automated Mobile Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {310-309},
doi = {},
year = {2017},
}
ASE '17: "Are Developers Aware of the ..."
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
@InProceedings{ASE17p394,
author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman},
title = {Are Developers Aware of the Architectural Impact of Their Changes?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {394-393},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Proof-Based Coverage Metrics ..."
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
@InProceedings{ASE17p496,
author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner},
title = {Proof-Based Coverage Metrics for Formal Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {496-495},
doi = {},
year = {2017},
}
ASE '17: "Perceived Language Complexity ..."
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
@InProceedings{ASE17p370,
author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov},
title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {370-369},
doi = {},
year = {2017},
}
ASE '17: "Automatically Reducing Tree-Structured ..."
Automatically Reducing Tree-Structured Test Inputs
Satia Herfert, Jibesh Patra, and Michael Pradel
(TU Darmstadt, Germany)
@InProceedings{ASE17p1192,
author = {Satia Herfert and Jibesh Patra and Michael Pradel},
title = {Automatically Reducing Tree-Structured Test Inputs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1192-1191},
doi = {},
year = {2017},
}
ASE '17: "Generating Simpler AST Edit ..."
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto
(Osaka University, Japan)
@InProceedings{ASE17p850,
author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto},
title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {850-849},
doi = {},
year = {2017},
}
ASE '17: "Cobra - An Interactive Static ..."
Cobra - An Interactive Static Code Analyzer
Gerard Holzmann
(Nimble Research, USA)
@InProceedings{ASE17p1,
author = {Gerard Holzmann},
title = {Cobra - An Interactive Static Code Analyzer},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2017},
}
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "EHBDroid: Beyond GUI Testing ..."
EHBDroid: Beyond GUI Testing for Android Applications
Wei Song, Xiangxing Qian, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ASE17p322,
author = {Wei Song and Xiangxing Qian and Jeff Huang},
title = {EHBDroid: Beyond GUI Testing for Android Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {322-321},
doi = {},
year = {2017},
}
ASE '17: "UI Driven Android Application ..."
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
@InProceedings{ASE17p592,
author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian},
title = {UI Driven Android Application Reduction},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {592-591},
doi = {},
year = {2017},
}
ASE '17: "All about Activity Injection: ..."
All about Activity Injection: Threats, Semantics, and Detection
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
(KAIST, South Korea; LG Electronics, South Korea)
@InProceedings{ASE17p556,
author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu},
title = {All about Activity Injection: Threats, Semantics, and Detection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {556-555},
doi = {},
year = {2017},
}
ASE '17: "Software Performance Self-Adaptation ..."
Software Performance Self-Adaptation through Efficient Model Predictive Control
Emilio Incerto, Mirco Tribastone, and Catia Trubiani
(Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy)
@InProceedings{ASE17p802,
author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani},
title = {Software Performance Self-Adaptation through Efficient Model Predictive Control},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {802-801},
doi = {},
year = {2017},
}
ASE '17: "SentiCR: A Customized Sentiment ..."
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
(Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA)
@InProceedings{ASE17p406,
author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi},
title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {406-405},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Crowd Intelligence Enhances ..."
Crowd Intelligence Enhances Automated Mobile Testing
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK; Facebook, UK)
@InProceedings{ASE17p310,
author = {Ke Mao and Mark Harman and Yue Jia},
title = {Crowd Intelligence Enhances Automated Mobile Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {310-309},
doi = {},
year = {2017},
}
ASE '17: "SimplyDroid: Efficient Event ..."
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)
@InProceedings{ASE17p604,
author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan},
title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {604-603},
doi = {},
year = {2017},
}
ASE '17: "Automatically Generating Commit ..."
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Siyuan Jiang, Ameer Armaly, and Collin McMillan
(University of Notre Dame, USA)
@InProceedings{ASE17p436,
author = {Siyuan Jiang and Ameer Armaly and Collin McMillan},
title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {436-435},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "Gremlin-ATL: A Scalable Model ..."
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
(AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain)
@InProceedings{ASE17p778,
author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot},
title = {Gremlin-ATL: A Scalable Model Transformation Framework},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {778-777},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "The Rise of the (Modelling) ..."
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
(Autonomous University of Madrid, Spain)
@InProceedings{ASE17p1048,
author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado},
title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1048-1047},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
ASE '17: "Automatic Testing of Symbolic ..."
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
Timotej Kapus and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ASE17p910,
author = {Timotej Kapus and Cristian Cadar},
title = {Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {910-909},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "Towards Robust Instruction-Level ..."
Towards Robust Instruction-Level Trace Alignment of Binary Code
Ulf Kargén and Nahid Shahmehri
(Linköping University, Sweden)
@InProceedings{ASE17p652,
author = {Ulf Kargén and Nahid Shahmehri},
title = {Towards Robust Instruction-Level Trace Alignment of Binary Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {652-651},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "Renaming and Shifted Code ..."
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
(University of Passau, Germany; Carnegie Mellon University, USA)
@InProceedings{ASE17p862,
author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund},
title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {862-861},
doi = {},
year = {2017},
}
ASE '17: "Perceived Language Complexity ..."
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
@InProceedings{ASE17p370,
author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov},
title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {370-369},
doi = {},
year = {2017},
}
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "Defaultification Refactoring: ..."
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)
@InProceedings{ASE17p1318,
author = {Raffi Khatchadourian and Hidehiko Masuhara},
title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1318-1317},
doi = {},
year = {2017},
}
ASE '17: "Opiner: An Opinion Search ..."
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p1312,
author = {Gias Uddin and Foutse Khomh},
title = {Opiner: An Opinion Search and Summarization Engine for APIs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1312-1311},
doi = {},
year = {2017},
}
ASE '17: "Automatic Summarization of ..."
Automatic Summarization of API Reviews
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p460,
author = {Gias Uddin and Foutse Khomh},
title = {Automatic Summarization of API Reviews},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {460-459},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
ASE '17: "Are Developers Aware of the ..."
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
@InProceedings{ASE17p394,
author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman},
title = {Are Developers Aware of the Architectural Impact of Their Changes?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {394-393},
doi = {},
year = {2017},
}
ASE '17: "Learning Effective Changes ..."
Learning Effective Changes for Software Projects
Rahul Krishna
(North Carolina State University, USA)
@InProceedings{ASE17p1336,
author = {Rahul Krishna},
title = {Learning Effective Changes for Software Projects},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1336-1335},
doi = {},
year = {2017},
}
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
ASE '17: "Mining Constraints for Event-based ..."
Mining Constraints for Event-based Monitoring in Systems of Systems
Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria)
@InProceedings{ASE17p1156,
author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher},
title = {Mining Constraints for Event-based Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1156-1155},
doi = {},
year = {2017},
}
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "Modular Verification of Interrupt-Driven ..."
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, and Chao Wang
(University of Southern California, USA; Virginia Tech, USA)
@InProceedings{ASE17p508,
author = {Chungha Sung and Markus Kusano and Chao Wang},
title = {Modular Verification of Interrupt-Driven Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {508-507},
doi = {},
year = {2017},
}
ASE '17: "Generating Simpler AST Edit ..."
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto
(Osaka University, Japan)
@InProceedings{ASE17p850,
author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto},
title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {850-849},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Parallel Bug-Finding in Concurrent ..."
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
@InProceedings{ASE17p1078,
author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1078-1077},
doi = {},
year = {2017},
}
ASE '17: "Automatic Loop-Invariant Generation ..."
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
@InProceedings{ASE17p1108,
author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin},
title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1108-1107},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "All about Activity Injection: ..."
All about Activity Injection: Threats, Semantics, and Detection
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
(KAIST, South Korea; LG Electronics, South Korea)
@InProceedings{ASE17p556,
author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu},
title = {All about Activity Injection: Threats, Semantics, and Detection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {556-555},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
ASE '17: "Parsimony: An IDE for Example-Guided ..."
Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
Alan Leung and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{ASE17p1144,
author = {Alan Leung and Sorin Lerner},
title = {Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1144-1143},
doi = {},
year = {2017},
}
ASE '17: "Renaming and Shifted Code ..."
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
(University of Passau, Germany; Carnegie Mellon University, USA)
@InProceedings{ASE17p862,
author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund},
title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {862-861},
doi = {},
year = {2017},
}
ASE '17: "Parsimony: An IDE for Example-Guided ..."
Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
Alan Leung and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{ASE17p1144,
author = {Alan Leung and Sorin Lerner},
title = {Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1144-1143},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Automatic Loop-Invariant Generation ..."
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
@InProceedings{ASE17p1108,
author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin},
title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1108-1107},
doi = {},
year = {2017},
}
ASE '17: "Automatic Loop-Invariant Generation ..."
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
@InProceedings{ASE17p1108,
author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin},
title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1108-1107},
doi = {},
year = {2017},
}
ASE '17: "Understanding Feature Requests ..."
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA)
@InProceedings{ASE17p754,
author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm},
title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {754-753},
doi = {},
year = {2017},
}
ASE '17: "SimplyDroid: Efficient Event ..."
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)
@InProceedings{ASE17p604,
author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan},
title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {604-603},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "Managing Software Evolution ..."
Managing Software Evolution through Semantic History Slicing
Yi Li
(University of Toronto, Canada)
@InProceedings{ASE17p1348,
author = {Yi Li},
title = {Managing Software Evolution through Semantic History Slicing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1348-1347},
doi = {},
year = {2017},
}
ASE '17: "Systematically Testing Background ..."
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
(University of Science and Technology of China, China; Microsoft Research, China)
@InProceedings{ASE17p298,
author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen},
title = {Systematically Testing Background Services of Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {298-297},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "Static Detection of Asymptotic ..."
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
(University of Texas at Austin, USA)
@InProceedings{ASE17p532,
author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin},
title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {532-531},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "Automatic Loop-Invariant Generation ..."
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
@InProceedings{ASE17p1108,
author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin},
title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1108-1107},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "Improving Software Text Retrieval ..."
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
(Peking University, China)
@InProceedings{ASE17p424,
author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie},
title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {424-423},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "UNDEAD: Detecting and Preventing ..."
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1054,
author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu},
title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1054-1053},
doi = {},
year = {2017},
}
ASE '17: "UNDEAD: Detecting and Preventing ..."
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1054,
author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu},
title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1054-1053},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Understanding and Overcoming ..."
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
@InProceedings{ASE17p1090,
author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu},
title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1090-1089},
doi = {},
year = {2017},
}
ASE '17: "Systematically Testing Background ..."
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
(University of Science and Technology of China, China; Microsoft Research, China)
@InProceedings{ASE17p298,
author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen},
title = {Systematically Testing Background Services of Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {298-297},
doi = {},
year = {2017},
}
ASE '17: "AnswerBot: Automated Generation ..."
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
(Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada)
@InProceedings{ASE17p1030,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo},
title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1030-1029},
doi = {},
year = {2017},
}
ASE '17: "APIBot: Question Answering ..."
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
(Singapore Management University, Singapore)
@InProceedings{ASE17p454,
author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo},
title = {APIBot: Question Answering Bot for API Documentation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {454-453},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "Diagnosing Assumption Problems ..."
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
(DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA)
@InProceedings{ASE17p790,
author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz},
title = {Diagnosing Assumption Problems in Safety-Critical Products},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {790-789},
doi = {},
year = {2017},
}
ASE '17: "ELIXIR: Effective Object Oriented ..."
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
@InProceedings{ASE17p970,
author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad},
title = {ELIXIR: Effective Object Oriented Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {970-969},
doi = {},
year = {2017},
}
ASE '17: "Crowd Intelligence Enhances ..."
Crowd Intelligence Enhances Automated Mobile Testing
Ke Mao, Mark Harman, and Yue Jia
(University College London, UK; Facebook, UK)
@InProceedings{ASE17p310,
author = {Ke Mao and Mark Harman and Yue Jia},
title = {Crowd Intelligence Enhances Automated Mobile Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {310-309},
doi = {},
year = {2017},
}
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
ASE '17: "Defaultification Refactoring: ..."
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)
@InProceedings{ASE17p1318,
author = {Raffi Khatchadourian and Hidehiko Masuhara},
title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1318-1317},
doi = {},
year = {2017},
}
ASE '17: "Detecting Information Flow ..."
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
(Saarland University, Germany; National University of Singapore, Singapore)
@InProceedings{ASE17p568,
author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller},
title = {Detecting Information Flow by Mutating Input Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {568-567},
doi = {},
year = {2017},
}
ASE '17: "Automatically Generating Commit ..."
Automatically Generating Commit Messages from Diffs using Neural Machine Translation
Siyuan Jiang, Ameer Armaly, and Collin McMillan
(University of Notre Dame, USA)
@InProceedings{ASE17p436,
author = {Siyuan Jiang and Ameer Armaly and Collin McMillan},
title = {Automatically Generating Commit Messages from Diffs using Neural Machine Translation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {436-435},
doi = {},
year = {2017},
}
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
ASE '17: "Test Suite Parallelization ..."
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
Jeanderson Candido, Luis Melo, and Marcelo d’Amorim
(Federal University of Pernambuco, Brazil)
@InProceedings{ASE17p1168,
author = {Jeanderson Candido and Luis Melo and Marcelo d’Amorim},
title = {Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1168-1167},
doi = {},
year = {2017},
}
ASE '17: "Semantics-Assisted Code Review: ..."
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Massimiliano Menarini, Yan Yan, and William G. Griswold
(University of California at San Diego, USA)
@InProceedings{ASE17p874,
author = {Massimiliano Menarini and Yan Yan and William G. Griswold},
title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {874-873},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Detecting Unknown Inconsistencies ..."
Detecting Unknown Inconsistencies in Web Applications
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
@InProceedings{ASE17p886,
author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah},
title = {Detecting Unknown Inconsistencies in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {886-885},
doi = {},
year = {2017},
}
ASE '17: "Quick Verification of Concurrent ..."
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p1102,
author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri},
title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1102-1101},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "Leveraging Abstract Interpretation ..."
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Eman Alatawi, Harald Søndergaard, and Tim Miller
(University of Melbourne, Australia)
@InProceedings{ASE17p940,
author = {Eman Alatawi and Harald Søndergaard and Tim Miller},
title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {940-939},
doi = {},
year = {2017},
}
ASE '17: "Towards the Automatic Classification ..."
Towards the Automatic Classification of Traceability Links
Chris Mills
(Florida State University, USA)
@InProceedings{ASE17p1352,
author = {Chris Mills},
title = {Towards the Automatic Classification of Traceability Links},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1352-1351},
doi = {},
year = {2017},
}
ASE '17: "Can Automated Pull Requests ..."
Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)
@InProceedings{ASE17p382,
author = {Samim Mirhosseini and Chris Parnin},
title = {Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {382-381},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "Predicting Relevance of Change ..."
Predicting Relevance of Change Recommendations
Thomas Rolfsnes, Leon Moonen, and David Binkley
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)
@InProceedings{ASE17p1018,
author = {Thomas Rolfsnes and Leon Moonen and David Binkley},
title = {Predicting Relevance of Change Recommendations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1018-1017},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
ASE '17: "SymInfer: Inferring Program ..."
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
(University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa)
@InProceedings{ASE17p1132,
author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser},
title = {SymInfer: Inferring Program Invariants using Symbolic States},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1132-1131},
doi = {},
year = {2017},
}
ASE '17: "Parallel Bug-Finding in Concurrent ..."
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
@InProceedings{ASE17p1078,
author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1078-1077},
doi = {},
year = {2017},
}
ASE '17: "Towards API-Specific Automatic ..."
Towards API-Specific Automatic Program Repair
Sebastian Nielebock
(Otto von Guericke University Magdeburg, Germany)
@InProceedings{ASE17p1344,
author = {Sebastian Nielebock},
title = {Towards API-Specific Automatic Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1344-1343},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "Detecting Unknown Inconsistencies ..."
Detecting Unknown Inconsistencies in Web Applications
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
@InProceedings{ASE17p886,
author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah},
title = {Detecting Unknown Inconsistencies in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {886-885},
doi = {},
year = {2017},
}
ASE '17: "Testing Intermediate Representations ..."
Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
(KAIST, South Korea; Gachon University, South Korea)
@InProceedings{ASE17p664,
author = {Soomin Kim and Markus Faerevaag and Minkyu Jung and SeungIl Jung and DongYeop Oh and JongHyup Lee and Sang Kil Cha},
title = {Testing Intermediate Representations for Binary Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {664-663},
doi = {},
year = {2017},
}
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
ASE '17: "Generating Simpler AST Edit ..."
Generating Simpler AST Edit Scripts by Considering Copy-and-Paste
Yoshiki Higo, Akio Ohtani, and Shinji Kusumoto
(Osaka University, Japan)
@InProceedings{ASE17p850,
author = {Yoshiki Higo and Akio Ohtani and Shinji Kusumoto},
title = {Generating Simpler AST Edit Scripts by Considering Copy-and-Paste},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {850-849},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "Static Detection of Asymptotic ..."
Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
(University of Texas at Austin, USA)
@InProceedings{ASE17p532,
author = {Jia Chen and Oswaldo Olivo and Isil Dillig and Calvin Lin},
title = {Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {532-531},
doi = {},
year = {2017},
}
ASE '17: "More Effective Interpolations ..."
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong
(Xidian University, China; University of Oxford, UK)
@InProceedings{ASE17p484,
author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong},
title = {More Effective Interpolations in Software Model Checking},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {484-483},
doi = {},
year = {2017},
}
ASE '17: "Automated Cross-Platform Inconsistency ..."
Automated Cross-Platform Inconsistency Detection for Mobile Apps
Mattia Fazzini and Alessandro Orso
(Georgia Institute of Technology, USA)
@InProceedings{ASE17p616,
author = {Mattia Fazzini and Alessandro Orso},
title = {Automated Cross-Platform Inconsistency Detection for Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {616-615},
doi = {},
year = {2017},
}
ASE '17: "Are Developers Aware of the ..."
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
@InProceedings{ASE17p394,
author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman},
title = {Are Developers Aware of the Architectural Impact of Their Changes?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {394-393},
doi = {},
year = {2017},
}
ASE '17: "iCoq: Regression Proof Selection ..."
iCoq: Regression Proof Selection for Large-Scale Verification Projects
Ahmet Celik, Karl Palmskog, and Milos Gligoric
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p472,
author = {Ahmet Celik and Karl Palmskog and Milos Gligoric},
title = {iCoq: Regression Proof Selection for Large-Scale Verification Projects},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {472-471},
doi = {},
year = {2017},
}
ASE '17: "Parallel Bug-Finding in Concurrent ..."
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
@InProceedings{ASE17p1078,
author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1078-1077},
doi = {},
year = {2017},
}
ASE '17: "Can Automated Pull Requests ..."
Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)
@InProceedings{ASE17p382,
author = {Samim Mirhosseini and Chris Parnin},
title = {Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {382-381},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "Automatically Reducing Tree-Structured ..."
Automatically Reducing Tree-Structured Test Inputs
Satia Herfert, Jibesh Patra, and Michael Pradel
(TU Darmstadt, Germany)
@InProceedings{ASE17p1192,
author = {Satia Herfert and Jibesh Patra and Michael Pradel},
title = {Automatically Reducing Tree-Structured Test Inputs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1192-1191},
doi = {},
year = {2017},
}
ASE '17: "Detecting Unknown Inconsistencies ..."
Detecting Unknown Inconsistencies in Web Applications
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
@InProceedings{ASE17p886,
author = {Frolin S. Ocariza, Jr. and Karthik Pattabiraman and Ali Mesbah},
title = {Detecting Unknown Inconsistencies in Web Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {886-885},
doi = {},
year = {2017},
}
ASE '17: "Contract-Based Program Repair ..."
Contract-Based Program Repair without the Contracts
Liushan Chen, Yu Pei, and Carlo A. Furia
(Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden)
@InProceedings{ASE17p958,
author = {Liushan Chen and Yu Pei and Carlo A. Furia},
title = {Contract-Based Program Repair without the Contracts},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {958-957},
doi = {},
year = {2017},
}
ASE '17: "Learn&Fuzz: Machine Learning ..."
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh
(Microsoft Research, USA; Technion, Israel)
@InProceedings{ASE17p346,
author = {Patrice Godefroid and Hila Peleg and Rishabh Singh},
title = {Learn&Fuzz: Machine Learning for Input Fuzzing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {346-345},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "The Rise of the (Modelling) ..."
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
(Autonomous University of Madrid, Spain)
@InProceedings{ASE17p1048,
author = {Sara Pérez-Soler and Esther Guerra and Juan de Lara and Francisco Jurado},
title = {The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1048-1047},
doi = {},
year = {2017},
}
ASE '17: "UI Driven Android Application ..."
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
@InProceedings{ASE17p592,
author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian},
title = {UI Driven Android Application Reduction},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {592-591},
doi = {},
year = {2017},
}
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
ASE '17: "Understanding and Overcoming ..."
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
@InProceedings{ASE17p1090,
author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu},
title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1090-1089},
doi = {},
year = {2017},
}
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "RuntimeSearch: Ctrl+F for ..."
RuntimeSearch: Ctrl+F for a Running Program
Matúš Sulír and Jaroslav Porubän
(Technical University of Košice, Slovakia)
@InProceedings{ASE17p700,
author = {Matúš Sulír and Jaroslav Porubän},
title = {RuntimeSearch: Ctrl+F for a Running Program},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {700-699},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "Automatically Reducing Tree-Structured ..."
Automatically Reducing Tree-Structured Test Inputs
Satia Herfert, Jibesh Patra, and Michael Pradel
(TU Darmstadt, Germany)
@InProceedings{ASE17p1192,
author = {Satia Herfert and Jibesh Patra and Michael Pradel},
title = {Automatically Reducing Tree-Structured Test Inputs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1192-1191},
doi = {},
year = {2017},
}
ASE '17: "Saying ’Hi!’ Is Not Enough: ..."
Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation
Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel
(ETH Zurich, Switzerland; TU Darmstadt, Germany)
@InProceedings{ASE17p340,
author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel},
title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {340-339},
doi = {},
year = {2017},
}
ASE '17: "ELIXIR: Effective Object Oriented ..."
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
@InProceedings{ASE17p970,
author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad},
title = {ELIXIR: Effective Object Oriented Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {970-969},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "EHBDroid: Beyond GUI Testing ..."
EHBDroid: Beyond GUI Testing for Android Applications
Wei Song, Xiangxing Qian, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ASE17p322,
author = {Wei Song and Xiangxing Qian and Jeff Huang},
title = {EHBDroid: Beyond GUI Testing for Android Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {322-321},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
ASE '17: "Mining Constraints for Event-based ..."
Mining Constraints for Event-based Monitoring in Systems of Systems
Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria)
@InProceedings{ASE17p1156,
author = {Thomas Krismayer and Rick Rabiser and Paul Grünbacher},
title = {Mining Constraints for Event-based Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1156-1155},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Are Developers Aware of the ..."
Are Developers Aware of the Architectural Impact of Their Changes?
Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
(University College London, UK)
@InProceedings{ASE17p394,
author = {Matheus Paixao and Jens Krinke and DongGyun Han and Chaiyong Ragkhitwetsagul and Mark Harman},
title = {Are Developers Aware of the Architectural Impact of Their Changes?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {394-393},
doi = {},
year = {2017},
}
ASE '17: "Diagnosing Assumption Problems ..."
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
(DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA)
@InProceedings{ASE17p790,
author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz},
title = {Diagnosing Assumption Problems in Safety-Critical Products},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {790-789},
doi = {},
year = {2017},
}
ASE '17: "SentiCR: A Customized Sentiment ..."
SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
(Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA)
@InProceedings{ASE17p406,
author = {Toufique Ahmed and Amiangshu Bosu and Anindya Iqbal and Shahram Rahimi},
title = {SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {406-405},
doi = {},
year = {2017},
}
ASE '17: "Improved Query Reformulation ..."
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
@InProceedings{ASE17p742,
author = {Mohammad Masudur Rahman and Chanchal K. Roy},
title = {Improved Query Reformulation for Concept Location using CodeRank and Document Structures},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {742-741},
doi = {},
year = {2017},
}
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
ASE '17: "Detecting Fragile Comments ..."
Detecting Fragile Comments
Inderjot Kaur Ratol and Martin P. Robillard
(McGill University, Canada)
@InProceedings{ASE17p412,
author = {Inderjot Kaur Ratol and Martin P. Robillard},
title = {Detecting Fragile Comments},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {412-411},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "A Demonstration of Simultaneous ..."
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
(Brown University, USA)
@InProceedings{ASE17p1228,
author = {Steven P. Reiss and Qi Xin},
title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1228-1227},
doi = {},
year = {2017},
}
ASE '17: "Leveraging Syntax-Related ..."
Leveraging Syntax-Related Code for Automated Program Repair
Qi Xin and Steven P. Reiss
(Brown University, USA)
@InProceedings{ASE17p982,
author = {Qi Xin and Steven P. Reiss},
title = {Leveraging Syntax-Related Code for Automated Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {982-981},
doi = {},
year = {2017},
}
ASE '17: "Context-Aware Integrated Development ..."
Context-Aware Integrated Development Environment Command Recommender Systems
Marko Gasparic, Tural Gurbanov, and Francesco Ricci
(Free University of Bolzano, Italy)
@InProceedings{ASE17p1012,
author = {Marko Gasparic and Tural Gurbanov and Francesco Ricci},
title = {Context-Aware Integrated Development Environment Command Recommender Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1012-1011},
doi = {},
year = {2017},
}
ASE '17: "Detecting Fragile Comments ..."
Detecting Fragile Comments
Inderjot Kaur Ratol and Martin P. Robillard
(McGill University, Canada)
@InProceedings{ASE17p412,
author = {Inderjot Kaur Ratol and Martin P. Robillard},
title = {Detecting Fragile Comments},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {412-411},
doi = {},
year = {2017},
}
ASE '17: "Programming Bots by Synthesizing ..."
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia)
@InProceedings{ASE17p1162,
author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez},
title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1162-1161},
doi = {},
year = {2017},
}
ASE '17: "Predicting Relevance of Change ..."
Predicting Relevance of Change Recommendations
Thomas Rolfsnes, Leon Moonen, and David Binkley
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)
@InProceedings{ASE17p1018,
author = {Thomas Rolfsnes and Leon Moonen and David Binkley},
title = {Predicting Relevance of Change Recommendations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1018-1017},
doi = {},
year = {2017},
}
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
ASE '17: "Improved Query Reformulation ..."
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
@InProceedings{ASE17p742,
author = {Mohammad Masudur Rahman and Chanchal K. Roy},
title = {Improved Query Reformulation for Concept Location using CodeRank and Document Structures},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {742-741},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study of Real-World ..."
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco, Hui Guo, and Cindy Rubio-González
(University of California at Davis, USA)
@InProceedings{ASE17p826,
author = {Anthony Di Franco and Hui Guo and Cindy Rubio-González},
title = {A Comprehensive Study of Real-World Numerical Bug Characteristics},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {826-825},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "All about Activity Injection: ..."
All about Activity Injection: Threats, Semantics, and Detection
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
(KAIST, South Korea; LG Electronics, South Korea)
@InProceedings{ASE17p556,
author = {Sungho Lee and Sungjae Hwang and Sukyoung Ryu},
title = {All about Activity Injection: Threats, Semantics, and Detection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {556-555},
doi = {},
year = {2017},
}
ASE '17: "Synthetic Data Generation ..."
Synthetic Data Generation for Statistical Testing
Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ASE17p1204,
author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand},
title = {Synthetic Data Generation for Statistical Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1204-1203},
doi = {},
year = {2017},
}
ASE '17: "EventFlowSlicer: A Tool for ..."
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p1288,
author = {Jonathan A. Saddler and Myra B. Cohen},
title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1288-1287},
doi = {},
year = {2017},
}
ASE '17: "ELIXIR: Effective Object Oriented ..."
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
@InProceedings{ASE17p970,
author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad},
title = {ELIXIR: Effective Object Oriented Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {970-969},
doi = {},
year = {2017},
}
ASE '17: "Quick Verification of Concurrent ..."
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p1102,
author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri},
title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1102-1101},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
ASE '17: "Parallel Bug-Finding in Concurrent ..."
Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
(University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy)
@InProceedings{ASE17p1078,
author = {Truc L. Nguyen and Peter Schrammel and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
title = {Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1078-1077},
doi = {},
year = {2017},
}
ASE '17: "TrEKer: Tracing Error Propagation ..."
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p688,
author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri},
title = {TrEKer: Tracing Error Propagation in Operating System Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {688-687},
doi = {},
year = {2017},
}
ASE '17: "Renaming and Shifted Code ..."
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
(University of Passau, Germany; Carnegie Mellon University, USA)
@InProceedings{ASE17p862,
author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund},
title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {862-861},
doi = {},
year = {2017},
}
ASE '17: "The Impact of Continuous Integration ..."
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
@InProceedings{ASE17p358,
author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {358-357},
doi = {},
year = {2017},
}
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
ASE '17: "Towards Robust Instruction-Level ..."
Towards Robust Instruction-Level Trace Alignment of Binary Code
Ulf Kargén and Nahid Shahmehri
(Linköping University, Sweden)
@InProceedings{ASE17p652,
author = {Ulf Kargén and Nahid Shahmehri},
title = {Towards Robust Instruction-Level Trace Alignment of Binary Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {652-651},
doi = {},
year = {2017},
}
ASE '17: "APIBot: Question Answering ..."
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
(Singapore Management University, Singapore)
@InProceedings{ASE17p454,
author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo},
title = {APIBot: Question Answering Bot for API Documentation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {454-453},
doi = {},
year = {2017},
}
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
ASE '17: "Understanding Feature Requests ..."
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA)
@InProceedings{ASE17p754,
author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm},
title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {754-753},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "Renaming and Shifted Code ..."
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, and Janet Siegmund
(University of Passau, Germany; Carnegie Mellon University, USA)
@InProceedings{ASE17p862,
author = {Olaf Leßenich and Sven Apel and Christian Kästner and Georg Seibt and Janet Siegmund},
title = {Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {862-861},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "UNDEAD: Detecting and Preventing ..."
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1054,
author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu},
title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1054-1053},
doi = {},
year = {2017},
}
ASE '17: "Learn&Fuzz: Machine Learning ..."
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh
(Microsoft Research, USA; Technion, Israel)
@InProceedings{ASE17p346,
author = {Patrice Godefroid and Hila Peleg and Rishabh Singh},
title = {Learn&Fuzz: Machine Learning for Input Fuzzing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {346-345},
doi = {},
year = {2017},
}
ASE '17: "Perceived Language Complexity ..."
Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
(University of California at Davis, USA)
@InProceedings{ASE17p370,
author = {David Kavaler and Sasha Sirovica and Vincent Hellendoorn and Raul Aranovich and Vladimir Filkov},
title = {Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {370-369},
doi = {},
year = {2017},
}
ASE '17: "Leveraging Abstract Interpretation ..."
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
Eman Alatawi, Harald Søndergaard, and Tim Miller
(University of Melbourne, Australia)
@InProceedings{ASE17p940,
author = {Eman Alatawi and Harald Søndergaard and Tim Miller},
title = {Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {940-939},
doi = {},
year = {2017},
}
ASE '17: "Synthetic Data Generation ..."
Synthetic Data Generation for Statistical Testing
Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
@InProceedings{ASE17p1204,
author = {Ghanem Soltana and Mehrdad Sabetzadeh and Lionel C. Briand},
title = {Synthetic Data Generation for Statistical Testing},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1204-1203},
doi = {},
year = {2017},
}
ASE '17: "EHBDroid: Beyond GUI Testing ..."
EHBDroid: Beyond GUI Testing for Android Applications
Wei Song, Xiangxing Qian, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
@InProceedings{ASE17p322,
author = {Wei Song and Xiangxing Qian and Jeff Huang},
title = {EHBDroid: Beyond GUI Testing for Android Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {322-321},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
ASE '17: "Detecting Information Flow ..."
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
(Saarland University, Germany; National University of Singapore, Singapore)
@InProceedings{ASE17p568,
author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller},
title = {Detecting Information Flow by Mutating Input Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {568-567},
doi = {},
year = {2017},
}
ASE '17: "Saying ’Hi!’ Is Not Enough: ..."
Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation
Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel
(ETH Zurich, Switzerland; TU Darmstadt, Germany)
@InProceedings{ASE17p340,
author = {Luca Della Toffola and Cristian Alexandru Staicu and Michael Pradel},
title = {Saying ’Hi!’ Is Not Enough: Mining Inputs for Effective Test Generation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {340-339},
doi = {},
year = {2017},
}
ASE '17: "Exploring Regular Expression ..."
Exploring Regular Expression Comprehension
Carl Chapman, Peipei Wang, and Kathryn T. Stolee
(Sandia National Laboratories, USA; North Carolina State University, USA)
@InProceedings{ASE17p718,
author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee},
title = {Exploring Regular Expression Comprehension},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {718-717},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "RuntimeSearch: Ctrl+F for ..."
RuntimeSearch: Ctrl+F for a Running Program
Matúš Sulír and Jaroslav Porubän
(Technical University of Košice, Slovakia)
@InProceedings{ASE17p700,
author = {Matúš Sulír and Jaroslav Porubän},
title = {RuntimeSearch: Ctrl+F for a Running Program},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {700-699},
doi = {},
year = {2017},
}
ASE '17: "Towards a Software Vulnerability ..."
Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics
Kazi Zakia Sultana
(Mississippi State University, USA)
@InProceedings{ASE17p1356,
author = {Kazi Zakia Sultana},
title = {Towards a Software Vulnerability Prediction Model using Traceable Code Patterns and Software Metrics},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1356-1355},
doi = {},
year = {2017},
}
ASE '17: "Recommending Crowdsourced ..."
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
(Beihang University, China)
@InProceedings{ASE17p1042,
author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye},
title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1042-1041},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "Automatic Loop-Invariant Generation ..."
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
(Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore)
@InProceedings{ASE17p1108,
author = {Jiaying Li and Jun Sun and Li Li and Quang Loc Le and Shang-Wei Lin},
title = {Automatic Loop-Invariant Generation and Refinement through Selective Sampling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1108-1107},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "Improving Missing Issue-Commit ..."
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
(University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA)
@InProceedings{ASE17p448,
author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm},
title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {448-447},
doi = {},
year = {2017},
}
ASE '17: "Modular Verification of Interrupt-Driven ..."
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, and Chao Wang
(University of Southern California, USA; Virginia Tech, USA)
@InProceedings{ASE17p508,
author = {Chungha Sung and Markus Kusano and Chao Wang},
title = {Modular Verification of Interrupt-Driven Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {508-507},
doi = {},
year = {2017},
}
ASE '17: "Gremlin-ATL: A Scalable Model ..."
Gremlin-ATL: A Scalable Model Transformation Framework
Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, and Jordi Cabot
(AtlanMod, France; Inria, France; Groupe ESEO, France; ICREA, Spain; Open University of Catalonia, Spain)
@InProceedings{ASE17p778,
author = {Gwendal Daniel and Frédéric Jouault and Gerson Sunyé and Jordi Cabot},
title = {Gremlin-ATL: A Scalable Model Transformation Framework},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {778-777},
doi = {},
year = {2017},
}
ASE '17: "Quick Verification of Concurrent ..."
Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p1102,
author = {Patrick Metzler and Habib Saissi and Péter Bokor and Neeraj Suri},
title = {Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1102-1101},
doi = {},
year = {2017},
}
ASE '17: "TrEKer: Tracing Error Propagation ..."
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p688,
author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri},
title = {TrEKer: Tracing Error Propagation in Operating System Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {688-687},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
ASE '17: "APIBot: Question Answering ..."
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
(Singapore Management University, Singapore)
@InProceedings{ASE17p454,
author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo},
title = {APIBot: Question Answering Bot for API Documentation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {454-453},
doi = {},
year = {2017},
}
ASE '17: "UI Driven Android Application ..."
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
@InProceedings{ASE17p592,
author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian},
title = {UI Driven Android Application Reduction},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {592-591},
doi = {},
year = {2017},
}
ASE '17: "More Effective Interpolations ..."
More Effective Interpolations in Software Model Checking
Cong Tian, Zhao Duan, Zhenhua Duan, and C.-H. Luke Ong
(Xidian University, China; University of Oxford, UK)
@InProceedings{ASE17p484,
author = {Cong Tian and Zhao Duan and Zhenhua Duan and C.-H. Luke Ong},
title = {More Effective Interpolations in Software Model Checking},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {484-483},
doi = {},
year = {2017},
}
ASE '17: "APIBot: Question Answering ..."
APIBot: Question Answering Bot for API Documentation
Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
(Singapore Management University, Singapore)
@InProceedings{ASE17p454,
author = {Yuan Tian and Ferdian Thung and Abhishek Sharma and David Lo},
title = {APIBot: Question Answering Bot for API Documentation},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {454-453},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "Why and How JavaScript Developers ..."
Why and How JavaScript Developers Use Linters
Kristín Fjóla Tómasdóttir, Maurício Aniche, and Arie van Deursen
(Delft University of Technology, Netherlands)
@InProceedings{ASE17p898,
author = {Kristín Fjóla Tómasdóttir and Maurício Aniche and Arie van Deursen},
title = {Why and How JavaScript Developers Use Linters},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {898-897},
doi = {},
year = {2017},
}
ASE '17: "Software Performance Self-Adaptation ..."
Software Performance Self-Adaptation through Efficient Model Predictive Control
Emilio Incerto, Mirco Tribastone, and Catia Trubiani
(Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy)
@InProceedings{ASE17p802,
author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani},
title = {Software Performance Self-Adaptation through Efficient Model Predictive Control},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {802-801},
doi = {},
year = {2017},
}
ASE '17: "Software Performance Self-Adaptation ..."
Software Performance Self-Adaptation through Efficient Model Predictive Control
Emilio Incerto, Mirco Tribastone, and Catia Trubiani
(Gran Sasso Science Institute, Italy; IMT School for Advanced Studies Lucca, Italy)
@InProceedings{ASE17p802,
author = {Emilio Incerto and Mirco Tribastone and Catia Trubiani},
title = {Software Performance Self-Adaptation through Efficient Model Predictive Control},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {802-801},
doi = {},
year = {2017},
}
ASE '17: "Model Checker Execution Reports ..."
Model Checker Execution Reports
Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
(University of Buenos Aires, Argentina; CONICET, Argentina)
@InProceedings{ASE17p502,
author = {Rodrigo Castaño and Víctor Braberman and Diego Garbervetsky and Sebastian Uchitel},
title = {Model Checker Execution Reports},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {502-501},
doi = {},
year = {2017},
}
ASE '17: "Opiner: An Opinion Search ..."
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p1312,
author = {Gias Uddin and Foutse Khomh},
title = {Opiner: An Opinion Search and Summarization Engine for APIs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1312-1311},
doi = {},
year = {2017},
}
ASE '17: "Automatic Summarization of ..."
Automatic Summarization of API Reviews
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p460,
author = {Gias Uddin and Foutse Khomh},
title = {Automatic Summarization of API Reviews},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {460-459},
doi = {},
year = {2017},
}
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
ASE '17: "BProVe: A Formal Verification ..."
BProVe: A Formal Verification Framework for Business Process Models
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p520,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: A Formal Verification Framework for Business Process Models},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {520-519},
doi = {},
year = {2017},
}
ASE '17: "The Impact of Continuous Integration ..."
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
@InProceedings{ASE17p358,
author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {358-357},
doi = {},
year = {2017},
}
ASE '17: "Transfer Learning for Performance ..."
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Pooyan Jamshidi, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, and Yuvraj Agarwal
(Carnegie Mellon University, USA; Bauhaus-University Weimar, Germany)
@InProceedings{ASE17p814,
author = {Pooyan Jamshidi and Norbert Siegmund and Miguel Velez and Christian Kästner and Akshay Patel and Yuvraj Agarwal},
title = {Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {814-813},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Code ..."
Automatically Assessing Code Understandability: How Far Are We?
Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto
(University of Molise, Italy; University of Lugano, Switzerland; College of William and Mary, USA; Universidad de los Andes, Colombia)
@InProceedings{ASE17p730,
author = {Simone Scalabrino and Gabriele Bavota and Christopher Vendome and Mario Linares-Vásquez and Denys Poshyvanyk and Rocco Oliveto},
title = {Automatically Assessing Code Understandability: How Far Are We?},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {730-729},
doi = {},
year = {2017},
}
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
ASE '17: "SymInfer: Inferring Program ..."
SymInfer: Inferring Program Invariants using Symbolic States
ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
(University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa)
@InProceedings{ASE17p1132,
author = {ThanhVu Nguyen and Matthew B. Dwyer and Willem Visser},
title = {SymInfer: Inferring Program Invariants using Symbolic States},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1132-1131},
doi = {},
year = {2017},
}
ASE '17: "Proof-Based Coverage Metrics ..."
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
@InProceedings{ASE17p496,
author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner},
title = {Proof-Based Coverage Metrics for Formal Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {496-495},
doi = {},
year = {2017},
}
ASE '17: "Systematic Reduction of GUI ..."
Systematic Reduction of GUI Test Sequences
Lin Cheng, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
@InProceedings{ASE17p1180,
author = {Lin Cheng and Zijiang Yang and Chao Wang},
title = {Systematic Reduction of GUI Test Sequences},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1180-1179},
doi = {},
year = {2017},
}
ASE '17: "Modular Verification of Interrupt-Driven ..."
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, and Chao Wang
(University of Southern California, USA; Virginia Tech, USA)
@InProceedings{ASE17p508,
author = {Chungha Sung and Markus Kusano and Chao Wang},
title = {Modular Verification of Interrupt-Driven Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {508-507},
doi = {},
year = {2017},
}
ASE '17: "Characterizing and Taming ..."
Characterizing and Taming Non-deterministic Bugs in JavaScript Applications
Jie Wang
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1340,
author = {Jie Wang},
title = {Characterizing and Taming Non-deterministic Bugs in JavaScript Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1340-1339},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "Exploring Regular Expression ..."
Exploring Regular Expression Comprehension
Carl Chapman, Peipei Wang, and Kathryn T. Stolee
(Sandia National Laboratories, USA; North Carolina State University, USA)
@InProceedings{ASE17p718,
author = {Carl Chapman and Peipei Wang and Kathryn T. Stolee},
title = {Exploring Regular Expression Comprehension},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {718-717},
doi = {},
year = {2017},
}
ASE '17: "Improving Missing Issue-Commit ..."
Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
(University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA)
@InProceedings{ASE17p448,
author = {Yan Sun and Celia Chen and Qing Wang and Barry Boehm},
title = {Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {448-447},
doi = {},
year = {2017},
}
ASE '17: "Understanding Feature Requests ..."
Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis
Lin Shi, Celia Chen, Qing Wang, Shoubin Li, and Barry Boehm
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Southern California, USA; Occidental College, USA)
@InProceedings{ASE17p754,
author = {Lin Shi and Celia Chen and Qing Wang and Shoubin Li and Barry Boehm},
title = {Understanding Feature Requests by Leveraging Fuzzy Method and Linguistic Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {754-753},
doi = {},
year = {2017},
}
ASE '17: "In-Memory Fuzzing for Binary ..."
In-Memory Fuzzing for Binary Code Similarity Analysis
Shuai Wang and Dinghao Wu
(Pennsylvania State University, USA)
@InProceedings{ASE17p628,
author = {Shuai Wang and Dinghao Wu},
title = {In-Memory Fuzzing for Binary Code Similarity Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {628-627},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Boosting Complete-Code Tool ..."
Boosting Complete-Code Tool for Partial Program
Hao Zhong and Xiaoyin Wang
(Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA)
@InProceedings{ASE17p994,
author = {Hao Zhong and Xiaoyin Wang},
title = {Boosting Complete-Code Tool for Partial Program},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {994-993},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "Recommending Crowdsourced ..."
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
(Beihang University, China)
@InProceedings{ASE17p1042,
author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye},
title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1042-1041},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
ASE '17: "Tortoise: Interactive System ..."
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, and Yuriy Brun
(Northeastern University, USA; University of Massachusetts at Amherst, USA)
@InProceedings{ASE17p946,
author = {Aaron Weiss and Arjun Guha and Yuriy Brun},
title = {Tortoise: Interactive System Configuration Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {946-945},
doi = {},
year = {2017},
}
ASE '17: "Proof-Based Coverage Metrics ..."
Proof-Based Coverage Metrics for Formal Verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats P. E. Heimdahl, and Lucas Wagner
(University of Minnesota, USA; Rockwell Collins, USA)
@InProceedings{ASE17p496,
author = {Elaheh Ghassabani and Andrew Gacek and Michael W. Whalen and Mats P. E. Heimdahl and Lucas Wagner},
title = {Proof-Based Coverage Metrics for Formal Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {496-495},
doi = {},
year = {2017},
}
ASE '17: "DSIbin: Identifying Dynamic ..."
DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
(University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands)
@InProceedings{ASE17p640,
author = {Thomas Rupprecht and Xi Chen and David H. White and Jan H. Boockmann and Gerald Lüttgen and Herbert Bos},
title = {DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {640-639},
doi = {},
year = {2017},
}
ASE '17: "TrEKer: Tracing Error Propagation ..."
TrEKer: Tracing Error Propagation in Operating System Kernels
Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
@InProceedings{ASE17p688,
author = {Nicolas Coppik and Oliver Schwahn and Stefan Winter and Neeraj Suri},
title = {TrEKer: Tracing Error Propagation in Operating System Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {688-687},
doi = {},
year = {2017},
}
ASE '17: "In-Memory Fuzzing for Binary ..."
In-Memory Fuzzing for Binary Code Similarity Analysis
Shuai Wang and Dinghao Wu
(Pennsylvania State University, USA)
@InProceedings{ASE17p628,
author = {Shuai Wang and Dinghao Wu},
title = {In-Memory Fuzzing for Binary Code Similarity Analysis},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {628-627},
doi = {},
year = {2017},
}
ASE '17: "SimplyDroid: Efficient Event ..."
SimplyDroid: Efficient Event Sequence Simplification for Android Application
Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)
@InProceedings{ASE17p604,
author = {Bo Jiang and Yuxuan Wu and Teng Li and W. K. Chan},
title = {SimplyDroid: Efficient Event Sequence Simplification for Android Application},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {604-603},
doi = {},
year = {2017},
}
ASE '17: "AnswerBot: Automated Generation ..."
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
(Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada)
@InProceedings{ASE17p1030,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo},
title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1030-1029},
doi = {},
year = {2017},
}
ASE '17: "FiB: Squeezing Loop Invariants ..."
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland)
@InProceedings{ASE17p1120,
author = {Shang-Wei Lin and Jun Sun and Hao Xiao and Yang Liu and David Sanán and Henri Hansen},
title = {FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1120-1119},
doi = {},
year = {2017},
}
ASE '17: "Improving Software Text Retrieval ..."
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
(Peking University, China)
@InProceedings{ASE17p424,
author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie},
title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {424-423},
doi = {},
year = {2017},
}
ASE '17: "A Demonstration of Simultaneous ..."
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
(Brown University, USA)
@InProceedings{ASE17p1228,
author = {Steven P. Reiss and Qi Xin},
title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1228-1227},
doi = {},
year = {2017},
}
ASE '17: "Leveraging Syntax-Related ..."
Leveraging Syntax-Related Code for Automated Program Repair
Qi Xin and Steven P. Reiss
(Brown University, USA)
@InProceedings{ASE17p982,
author = {Qi Xin and Steven P. Reiss},
title = {Leveraging Syntax-Related Code for Automated Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {982-981},
doi = {},
year = {2017},
}
ASE '17: "AnswerBot: Automated Generation ..."
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
(Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada)
@InProceedings{ASE17p1030,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo},
title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1030-1029},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "Diagnosing Assumption Problems ..."
Diagnosing Assumption Problems in Safety-Critical Products
Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, and Robyn Lutz
(DePaul University, USA; Iowa State University, USA; University of Notre Dame, USA)
@InProceedings{ASE17p790,
author = {Mona Rahimi and Wandi Xiong and Jane Cleland-Huang and Robyn Lutz},
title = {Diagnosing Assumption Problems in Safety-Critical Products},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {790-789},
doi = {},
year = {2017},
}
ASE '17: "AnswerBot: Automated Generation ..."
AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions
Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
(Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada)
@InProceedings{ASE17p1030,
author = {Bowen Xu and Zhenchang Xing and Xin Xia and David Lo},
title = {AnswerBot: Automated Generation of Answer Summary to Developers’ Technical Questions},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1030-1029},
doi = {},
year = {2017},
}
ASE '17: "Understanding and Overcoming ..."
Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
(Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA)
@InProceedings{ASE17p1090,
author = {Gustavo Pinto and Anthony Canino and Fernando Castor and Guoqing Xu and Yu David Liu},
title = {Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1090-1089},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "Semantics-Assisted Code Review: ..."
Semantics-Assisted Code Review: An Efficient Toolchain and a User Study
Massimiliano Menarini, Yan Yan, and William G. Griswold
(University of California at San Diego, USA)
@InProceedings{ASE17p874,
author = {Massimiliano Menarini and Yan Yan and William G. Griswold},
title = {Semantics-Assisted Code Review: An Efficient Toolchain and a User Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {874-873},
doi = {},
year = {2017},
}
ASE '17: "Learning to Share: Engineering ..."
Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
(Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland)
@InProceedings{ASE17p586,
author = {Yasmin Rafiq and Luke Dickens and Alessandra Russo and Arosha K. Bandara and Mu Yang and Avelie Stuart and Mark Levine and Gul Calikli and Blaine A. Price and Bashar Nuseibeh},
title = {Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {586-585},
doi = {},
year = {2017},
}
ASE '17: "Automatically Assessing Crashes ..."
Automatically Assessing Crashes from Heap Overflows
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
(Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore)
@InProceedings{ASE17p580,
author = {Liang He and Yan Cai and Hong Hu and Purui Su and Zhenkai Liang and Yi Yang and Huafeng Huang and Jia Yan and Xiangkun Jia and Dengguo Feng},
title = {Automatically Assessing Crashes from Heap Overflows},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {580-579},
doi = {},
year = {2017},
}
ASE '17: "A Language Model for Statements ..."
A Language Model for Statements of Software Code
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
(Tsinghua University, China)
@InProceedings{ASE17p1006,
author = {Yixiao Yang and Yu Jiang and Ming Gu and Jiaguang Sun and Jian Gao and Han Liu},
title = {A Language Model for Statements of Software Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1006-1005},
doi = {},
year = {2017},
}
ASE '17: "Systematic Reduction of GUI ..."
Systematic Reduction of GUI Test Sequences
Lin Cheng, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
@InProceedings{ASE17p1180,
author = {Lin Cheng and Zijiang Yang and Chao Wang},
title = {Systematic Reduction of GUI Test Sequences},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1180-1179},
doi = {},
year = {2017},
}
ASE '17: "Recommending Crowdsourced ..."
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
(Beihang University, China)
@InProceedings{ASE17p1042,
author = {Zizhe Wang and Hailong Sun and Yang Fu and Luting Ye},
title = {Recommending Crowdsourced Software Developers in Consideration of Skill Improvement},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1042-1041},
doi = {},
year = {2017},
}
ASE '17: "A Comprehensive Study on Real ..."
A Comprehensive Study on Real World Concurrency Bugs in Node.js
Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA)
@InProceedings{ASE17p838,
author = {Jie Wang and Wensheng Dou and Yu Gao and Chushu Gao and Feng Qin and Kang Yin and Jun Wei},
title = {A Comprehensive Study on Real World Concurrency Bugs in Node.js},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {838-837},
doi = {},
year = {2017},
}
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
ASE '17: "ELIXIR: Effective Object Oriented ..."
ELIXIR: Effective Object Oriented Program Repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
(Fujitsu Labs, USA; University of Southern California, USA)
@InProceedings{ASE17p970,
author = {Ripon K. Saha and Yingjun Lyu and Hiroaki Yoshida and Mukul R. Prasad},
title = {ELIXIR: Effective Object Oriented Program Repair},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {970-969},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "Floating-Point Symbolic Execution: ..."
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
(Imperial College London, UK; RWTH Aachen University, Germany)
@InProceedings{ASE17p922,
author = {Daniel Liew and Daniel Schemmel and Cristian Cadar and Alastair F. Donaldson and Rafael Zähl and Klaus Wehrle},
title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {922-921},
doi = {},
year = {2017},
}
ASE '17: "Programming Bots by Synthesizing ..."
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
(UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia)
@InProceedings{ASE17p1162,
author = {Shayan Zamanirad and Boualem Benatallah and Moshe Chai Barukh and Fabio Casati and Carlos Rodriguez},
title = {Programming Bots by Synthesizing Natural Language Expressions into API Invocations},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1162-1161},
doi = {},
year = {2017},
}
ASE '17: "Detecting Information Flow ..."
Detecting Information Flow by Mutating Input Data
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
(Saarland University, Germany; National University of Singapore, Singapore)
@InProceedings{ASE17p568,
author = {Björn Mathis and Vitalii Avdiienko and Ezekiel O. Soremekun and Marcel Böhme and Andreas Zeller},
title = {Detecting Information Flow by Mutating Input Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {568-567},
doi = {},
year = {2017},
}
ASE '17: "Sketch-Guided GUI Test Generation ..."
Sketch-Guided GUI Test Generation for Mobile Applications
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
(Nanjing University, China)
@InProceedings{ASE17p334,
author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li},
title = {Sketch-Guided GUI Test Generation for Mobile Applications},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {334-333},
doi = {},
year = {2017},
}
ASE '17: "Systematically Testing Background ..."
Systematically Testing Background Services of Mobile Apps
Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
(University of Science and Technology of China, China; Microsoft Research, China)
@InProceedings{ASE17p298,
author = {Li Lyna Zhang and Chieh-Jan Mike Liang and Yunxin Liu and Enhong Chen},
title = {Systematically Testing Background Services of Mobile Apps},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {298-297},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "UI Driven Android Application ..."
UI Driven Android Application Reduction
Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
(Purdue University, USA; Huawei, USA)
@InProceedings{ASE17p592,
author = {Jianjun Huang and Yousra Aafer and David Perry and Xiangyu Zhang and Chen Tian},
title = {UI Driven Android Application Reduction},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {592-591},
doi = {},
year = {2017},
}
ASE '17: "Improving Software Text Retrieval ..."
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
(Peking University, China)
@InProceedings{ASE17p424,
author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie},
title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {424-423},
doi = {},
year = {2017},
}
ASE '17: "Mining Implicit Design Templates ..."
Mining Implicit Design Templates for Actionable Code Reuse
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, and Jinsong Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Australian National University, Australia; Singapore University of Technology and Design, Singapore; Fudan University, China; Griffith University, Australia)
@InProceedings{ASE17p706,
author = {Yun Lin and Guozhu Meng and Yinxing Xue and Zhenchang Xing and Jun Sun and Xin Peng and Yang Liu and Wenyun Zhao and Jinsong Dong},
title = {Mining Implicit Design Templates for Actionable Code Reuse},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {706-705},
doi = {},
year = {2017},
}
ASE '17: "O2O Service Composition with ..."
O2O Service Composition with Social Collaboration
Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; Lero, Ireland)
@InProceedings{ASE17p766,
author = {Wenyi Qian and Xin Peng and Jun Sun and Yijun Yu and Bashar Nuseibeh and Wenyun Zhao},
title = {O2O Service Composition with Social Collaboration},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {766-765},
doi = {},
year = {2017},
}
ASE '17: "The Impact of Continuous Integration ..."
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
@InProceedings{ASE17p358,
author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {358-357},
doi = {},
year = {2017},
}
ASE '17: "PAD: Programming Third-Party ..."
PAD: Programming Third-Party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I.-Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
(Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany)
@InProceedings{ASE17p544,
author = {Weihang Wang and Yonghwi Kwon and Yunhui Zheng and Yousra Aafer and I.-Luk Kim and Wen-Chuan Lee and Yingqi Liu and Weijie Meng and Xiangyu Zhang and Patrick Eugster},
title = {PAD: Programming Third-Party Web Advertisement Censorship},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {544-543},
doi = {},
year = {2017},
}
ASE '17: "Boosting Complete-Code Tool ..."
Boosting Complete-Code Tool for Partial Program
Hao Zhong and Xiaoyin Wang
(Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA)
@InProceedings{ASE17p994,
author = {Hao Zhong and Xiaoyin Wang},
title = {Boosting Complete-Code Tool for Partial Program},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {994-993},
doi = {},
year = {2017},
}
ASE '17: "UNDEAD: Detecting and Preventing ..."
UNDEAD: Detecting and Preventing Deadlocks in Production Software
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
(University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ASE17p1054,
author = {Jinpeng Zhou and Sam Silvestro and Hongyu Liu and Yan Cai and Tongping Liu},
title = {UNDEAD: Detecting and Preventing Deadlocks in Production Software},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1054-1053},
doi = {},
year = {2017},
}
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
ASE '17: "The Impact of Continuous Integration ..."
The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
(Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA)
@InProceedings{ASE17p358,
author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu},
title = {The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {358-357},
doi = {},
year = {2017},
}
ASE '17: "Improving Software Text Retrieval ..."
Improving Software Text Retrieval using Conceptual Knowledge in Source Code
Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
(Peking University, China)
@InProceedings{ASE17p424,
author = {Zeqi Lin and Yanzhen Zou and Junfeng Zhao and Bing Xie},
title = {Improving Software Text Retrieval using Conceptual Knowledge in Source Code},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {424-423},
doi = {},
year = {2017},
}