Table of Contents

• Managing variation: an industrial perspective on product line engineeringPaul Clements. 1 [doi]
• Publish or perish: questioning the impact of our research on the software developerMargaret-Anne D. Storey. 2 [doi]
• Analyzing flow to measure value in software deliveryMik Kersten. 3 [doi]
• AIOps: real-world challenges and research innovationsYingnong Dang, Qingwei Lin, Peng Huang. 4-5 [doi]
• Software engineering for automated vehicles: addressing the needs of cars that run on software and dataKrzysztof Czarnecki. 6-8 [doi]
• Developing games that capture and engage usersMagy Seif El-Nasr. 9-10 [doi]
• SMT-based refutation of spurious bug reports in the clang static analyzerMikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole. 11-14 [doi]
• VeDebug: regression debugging tool for JavaBen Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric. 15-18 [doi]
• IoT composer: composition and deployment of IoT applicationsAjay Krishna 0001, Michel Le Pallec, Radu Mateescu 0001, Ludovic Noirie, Gwen Salaün. 19-22 [doi]
• EasyFlow: keep ethereum away from overflowJianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen. 23-26 [doi]
• AsFault: testing self-driving car software using search-based procedural content generationAlessio Gambi, Marc Müller, Gordon Fraser. 27-30 [doi]
• AC3R: automatically reconstructing car crashes from police reportsTri Huynh, Alessio Gambi, Gordon Fraser. 31-34 [doi]
• ALPACA: a large portfolio-based alternating conditional analysisMitchell J. Gerrard, Matthew B. Dwyer. 35-38 [doi]
• Mockingbird: a framework for enabling targeted dynamic analysis of Java programsDerrick Lockwood, Benjamin Holland, Suresh Kothari. 39-42 [doi]
• Viatra solver: a framework for the automated generation of consistent domain-specific modelsOszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró. 43-46 [doi]
• Defexts: a curated dataset of reproducible real-world bugs for modern JVM languagesSamuel Benton, Ali-Ghanbari, Lingming Zhang. 47-50 [doi]
• SortingHat: wizardry on software project membersDavid Moreno, Santiago Dueñas, Valerio Cosentino, Miguel Angel Fernández, Ahmed Zerouali, Gregorio Robles, Jesús M. González-Barahona. 51-54 [doi]
• MCP: a security testing tool driven by requirementsPhu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand. 55-58 [doi]
• RM2PT: a tool for automated prototype generation from requirements modelYilong Yang 0001, Xiaoshan Li, Zhiming Liu 0001, Wei Ke. 59-62 [doi]
• Witt: querying technology terms based on automated classificationMathieu Nassif, Christoph Treude, Martin P. Robillard. 63-66 [doi]
• ENRE: a tool framework for extensible eNtity relation extractionWuxia Jin, Yuanfang Cai, Rick Kazman, Qinghua Zheng, Di Cui, Ting Liu 0002. 67-70 [doi]
• Guigle: a GUI search engine for Android appsCarlos Bernal-Cárdenas, Kevin Moran, Michele Tufano, Zichang Liu, Linyong Nan, Zhehan Shi, Denys Poshyvanyk. 71-74 [doi]
• SWORD: a scalable whole program race detector for JavaYanze Li, Bozhen Liu, Jeff Huang 0001. 75-78 [doi]
• Coming: a tool for mining change pattern instances from git commitsMatias Martinez, Martin Monperrus. 79-82 [doi]
• PatchNet: a tool for deep patch classificationThong Hoang, Julia Lawall, Richard Jayadi Oentaryo, Yuan Tian 0008, David Lo 0001. 83-86 [doi]
• xLineMapper: a product line feature-architecture-implementation mapping toolsetCuong Cu, Xin Ye, Yongjie Zheng. 87-90 [doi]
• Vetting API usages in C programs with IMCheckerZuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang 0001, Ming Gu, Jiaguang Sun. 91-94 [doi]
• Git-based integrated uncertainty managerNaoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato. 95-98 [doi]
• PsALM: specification of dependable robotic missionsClaudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione. 99-102 [doi]
• ARepair: a repair framework for alloyKaiyuan Wang, Allison Sullivan, Sarfraz Khurshid. 103-106 [doi]
• Visual debugging of behavioural modelsGianluca Barbon, Vincent Leroy 0001, Gwen Salaün, Emmanuel Yah. 107-110 [doi]
• DeepConcolic: testing and debugging deep neural networksYoucheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore. 111-114 [doi]
• DRONE: a tool to detect and repair directive defects in Java APIs documentationYu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall. 115-118 [doi]
• MULAPI: a tool for API method and usage location recommendationCongying Xu, Bosen Min, Xiaobing Sun, Jiajun Hu, Bin Li, Yucong Duan. 119-122 [doi]
• Towards zero knowledge learning for cross language API mappingsNghi D. Q. Bui. 123-125 [doi]
• An empirical study on leveraging logs for debugging production failuresAn Ran Chen. 126-128 [doi]
• Marvel: a generic, scalable and effective vulnerability detection platformXiaoning Du. 129-131 [doi]
• Visually identifying potential sensitive information leaks in access-controlled data servicesKalvin Eng. 132-134 [doi]
• Release synchronization in software ecosystemsFoundjem Armstrong. 135-137 [doi]
• Guided, automated testing of blockchain-based decentralized applicationsJianbo Gao. 138-140 [doi]
• Android GUI search using hand-drawn sketchesXiaofei Ge. 141-143 [doi]
• Finding concurrency exploits on smart contractsYue Li. 144-146 [doi]
• Characterizing and detecting duplicate logging code smellsZhenhao Li. 147-149 [doi]
• Agile process improvement in retrospectivesChristoph Matthies. 150-152 [doi]
• Toward detection and characterization of variability bugs in configurable C software: an empirical studyAustin Mordahl. 153-155 [doi]
• Configuration-dependent fault localizationSon Nguyen. 156-158 [doi]
• Improving automated program repair with retrospective fault localizationTongtong Xu. 159-161 [doi]
• Property oriented verification via iterative abstract interpretationBanghu Yin. 162-164 [doi]
• A systematic evaluation of problematic tests generated by EvoSuiteZhiyu Fan. 165-167 [doi]
• JSOptimizer: an extensible framework for JavaScript program optimizationYi Liu. 168-170 [doi]
• Identifying developers by their application usageIhar Shulhan. 171-173 [doi]
• TOAD: a tool for recommending auto-refactoring alternativesAlejandra Siles Antezana. 174-176 [doi]
• Impact of lifestyle and working process organization on the job satisfaction level of software engineersAleksandr V. Tarasov. 177-179 [doi]
• Towards just-in-time rational refactoringJevgenija Pantiuchina. 180-181 [doi]
• Finding and using design information in discussionsGiovanni Viviani. 182-183 [doi]
• Effects of automated static analysis tools: a multidimensional view on quality evolutionAlexander Trautsch. 184-185 [doi]
• SReYantra: automated software requirement inter-dependencies elicitation, analysis and learningGouri Deshpande. 186-187 [doi]
• Supporting the acquisition of programming skills with program construction patternsMax Kesselbacher. 188-189 [doi]
• INDIRECT: intent-driven requirements-to-code traceabilityTobias Hey. 190-191 [doi]
• Detecting, understanding and resolving build and test conflictsLéuson Silva. 192-193 [doi]
• Improving the software logging practices in DevOpsBoyuan Chen. 194-197 [doi]
• Feedback in scrum: data-informed retrospectivesChristoph Matthies. 198-201 [doi]
• Digital nudges for encouraging developer actionsChris Brown. 202-205 [doi]
• Stuck in the middle: removing obstacles to new program features through batch refactoringEduardo Fernandes. 206-209 [doi]
• Towards a more reliable interpretation of defect modelsJirayus Jiarpakdee. 210-213 [doi]
• An artificial intelligence-based model-driven approach for exposing off-nominal behaviorsKaushik Madala. 214-217 [doi]
• DECREEYixue Zhao. 218-221 [doi]
• Automated fine-grained requirements-to-code traceability link recoveryJuan Manuel Florez. 222-225 [doi]
• Supporting code search with context-aware, analytics-driven, effective query reformulationMohammad Masudur Rahman. 226-229 [doi]
• Divide and conquer: recovering contextual information of behaviors in Android apps around limited-quantity audit logsZhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Taeho Jung, Jianmeng Huang. 230-231 [doi]
• How are design patterns concerned by developers?He Jiang, Dong Liu, Xin Chen, Hui Liu, Hong Mei. 232-233 [doi]
• Confidence in programming skills: gender insights from StackOverflow developers surveyKarina Kohl Silveira, Soraia Raupp Musse, Isabel Harb Manssour, Renata Vieira, Rafael Prikladnicki. 234-235 [doi]
• FastDroid: efficient taint analysis for Android applicationsJie Zhang, Cong Tian, Zhenhua Duan. 236-237 [doi]
• Dynamic unit test extraction via time travel debugging for test cost reductionThomas Bach, Ralf Pannemans, Johannes Häussler, Artur Andrzejak. 238-239 [doi]
• An empirical study on female participation in software project coursesAnh Nguyen Duc, Letizia Jaccheri, Pekka Abrahamsson. 240-241 [doi]
• Supervised tie breaking in test case prioritizationSepehr Eghbali, Vinit Kudva, Gregg Rothermel, Ladan Tahvildari. 242-243 [doi]
• Optimizing seed inputs in fuzzing with machine learningLiang Cheng 0004, Yang Zhang, Yi Zhang, Chen Wu, Zhangtan Li, Yu Fu, Haisheng Li. 244-245 [doi]
• When software development meets the shopfloor: the case of industrial fablabsTudor B. Ionescu. 246-247 [doi]
• Carving parameterized unit testsAlexander Kampmann, Andreas Zeller. 248-249 [doi]
• Incorporating real projects into a software engineering undergraduate curriculumRafael Chanin, Jorge Melegati, Afonso Sales, Mariana Detoni, Xiaofeng Wang 0001, Rafael Prikladnicki. 250-251 [doi]
• A winning team: what personality has to do with software engineeringErica Weilemann. 252-253 [doi]
• Quantifying patterns and programming strategies in block-based programming environmentsMax Kesselbacher, Andreas Bollin. 254-255 [doi]
• A data-driven security game to facilitate information security educationDag Erik Homdrum Løvgren, Jingyue Li, Tosin Daniel Oyetoyan. 256-257 [doi]
• Comparing the popularity of testing careers among Canadian, Chinese, and Indian studentsLuiz Fernando Capretz, Pradeep Waychal, Jingdong Jia. 258-259 [doi]
• Evaluation of feature selection for anomaly detection in automotive E/E architecturesChristoph Segler, Stefan Kugele, Philipp Obergfell, Mohd Hafeez Osman, Sina Shafaei, Eric Sax, Alois Knoll. 260-261 [doi]
• Studies on the software testing professionLuiz Fernando Capretz, Pradeep Waychal, Jingdong Jia, Daniel Varona, Yadira Lizama. 262-263 [doi]
• Demand-driven refinement of points-to analysisChenguang Sun, Samuel Midkiff. 264-265 [doi]
• Validity fuzzing and parametric generators for effective random testingRohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon. 266-267 [doi]
• Good-bye localhost: a cloud-based web IDE for teaching Java EE web development to non-computer science majorsMichael Leisner, Philipp Brune. 268-269 [doi]
• Energy distribution matters in greybox fuzzingLingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu. 270-271 [doi]
• On the deterioration of learning-based malware detectors for AndroidXiaoqin Fu, Haipeng Cai. 272-273 [doi]
• Recommending unnecessary source code based on static analysis: posterRoman Haas, Rainer Niedermayr, Tobias Röhm, Sven Apel. 274-275 [doi]
• A grading schema for reinforcing teamwork quality in a capstone courseMaría Cecilia Bastarrica, Daniel Perovich, Francisco J. Gutierrez, Maíra Marques. 276-277 [doi]
• fAST: flattening abstract syntax trees for efficiencyYijun Yu. 278-279 [doi]
• Immutable log storage as a serviceWilliam Pourmajidi, Lei Zhang 0078, John Steinbacher, Tony Erwin, Andriy V. Miranskyy. 280-281 [doi]
• Symbolic execution for attribution and attack synthesis in neural networksDivya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid. 282-283 [doi]
• A decentralized application for fostering biodiversity: opportunities and challengesR. P. Jagadeesh Chandra Bose, Vikrant Kaulgud, Mauro Rebelo, Sanjay Podder. 284-285 [doi]
• Enhancing precision of structured merge by proper tree matchingFengmin Zhu, Fei He, Qianshan Yu. 286-287 [doi]
• Optimal MC/DC test case generationJoxan Jaffar, Sangharatna Godboley, Rasool Maghareh. 288-289 [doi]
• Automatically reconstructing car crashes from police reports for testing self-driving carsAlessio Gambi, Tri Huynh, Gordon Fraser. 290-291 [doi]
• Industry trends in software engineering education: a systematic mapping studyOrges Cico, Letizia Jaccheri. 292-293 [doi]
• Analyzing and repairing compilation errorsAli Mesbah 0001, Andrew Rice, Edward Aftandilian, Emily Johnston, Nick Glorioso. 294-295 [doi]
• Leveraging contextual information from function call chains to improve fault localizationÁrpád Beszédes, Ferenc Horváth, Massimiliano Di Penta, Tibor Gyimóthy. 296-297 [doi]
• Beware of disengaged user acceptance in testing software-as-a-serviceSebastian Loss, Raffaele Fabio Ciriello, Jürgen Cito. 298-299 [doi]
• Exploring customer influence on the agile transformation of service providersJeppe Aagaard Glud, Kevin Helge Hansen-Schwartz, Raffaele Fabio Ciriello. 300-301 [doi]
• Towards visualizing large scale evolving clonesDebajyoti Mondal, Manishankar Mondal, Chanchal K. Roy, Kevin A. Schneider, Shisong Wang, Yukun Li. 302-303 [doi]
• Software engineering studies attractiveness for the highly educated women planning to change career in FinlandSonja M. Hyrynsalmi, Sami Hyrynsalmi. 304-305 [doi]
• Directives of communicability: teaching students how to improve communication through software modelingAdriana Lopes, Edson Oliveira, Tayana Conte, Clarisse Sieckenius de Souza. 306-307 [doi]
• Constructural software documentationMathieu Nassif, Martin P. Robillard. 308-309 [doi]
• Towards crowd-sourced API documentationGias Uddin, Foutse Khomh, Chanchal K. Roy. 310-311 [doi]
• Guiding testing effort using mutant utilityJustin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just. 312-313 [doi]
• Testing untestable neural machine translation: an industrial caseWujie Zheng, Wenyu Wang, Dian Liu, Changrong Zhang, Qinsong Zeng, Yuetang Deng, Wei Yang, Pinjia He, Tao Xie. 314-315 [doi]
• Localized or architectural: an empirical study of performance issues dichotomyYutong Zhao, Lu Xiao 0001, Xiao Wang, Bihuan Chen 0001, Yang Liu. 316-317 [doi]
• Mimicking user behavior to improve in-house test suitesQianqian Wang, Alessandro Orso. 318-319 [doi]
• Structural test coverage criteria for deep neural networksYoucheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore. 320-321 [doi]
• Deobfuscating Android native binary codeZeliang Kan, Haoyu Wang, Lei Wu, Yao Guo 0001, Guoai Xu. 322-323 [doi]
• Wok: statistical program slicing in productionBogdan-Alexandru Stoica, Swarup Kumar Sahoo, James R. Larus, Vikram S. Adve. 324-325 [doi]
• GUI-guided repair of mobile test scriptsMinxue Pan, Tongtong Xu, Yu Pei 0001, Zhong Li, Tian Zhang 0001, Xuandong Li. 326-327 [doi]