default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICSE 2018: Gothenburg, Sweden - Companion Volume
- Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5663-3
Mining repositories
- Santiago Dueñas, Valerio Cosentino, Gregorio Robles
, Jesús M. González-Barahona:
Perceval: software project data at your will. 1-4 - Chase Greco, Tyler Haden, Kostadin Damevski:
StackInTheFlow: behavior-driven recommendation system for stack overflow posts. 5-8 - Zhongxin Liu, Qiao Huang, Xin Xia, Emad Shihab, David Lo, Shanping Li:
SATD detector: a text-mining-based self-admitted technical debt detection tool. 9-12
Test automation and failure diagnosis
- Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner:
Aletheia: a failure diagnosis toolchain. 13-16 - Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Micael Gallego, Boni García, Francisco Gortázar:
When the testing gets tough, the tough get ElasTest. 17-20 - Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
SUSHI: a test generator for programs with complex structured inputs. 21-24
Mutation testing
- Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang:
An extensible, regular-expression-based tool for multi-language mutant generation. 25-28 - Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
MuAlloy: a mutation testing framework for alloy. 29-32 - Kevin Moran, Michele Tufano, Carlos Bernal-Cárdenas, Mario Linares Vásquez, Gabriele Bavota, Christopher Vendome, Massimiliano Di Penta, Denys Poshyvanyk:
MDroid+: a mutation testing framework for android. 33-36
Performance and NFR
- Robert Heinrich, Dominik Werle, Heiko Klare, Ralf H. Reussner, Max E. Kramer, Steffen Becker, Jens Happe, Heiko Koziolek, Klaus Krogmann:
The palladio-bench for modeling and simulating software architectures. 37-40 - Jürgen Cito, Philipp Leitner, Christian Bosshard, Markus Knecht, Genc Mazlami, Harald C. Gall:
PerformanceHat: augmenting source code with runtime performance traces in the IDE. 41-44 - Séverine Sentilles, Federico Ciccozzi, Efi Papatheocharous:
PROMOpedia: a web-content management-based encyclopedia of software property models. 45-48
Evolution
- Sofija Hotomski, Martin Glinz:
GuideGen: a tool for keeping requirements and acceptance tests aligned. 49-52 - Daye Nam, Youn Kyu Lee, Nenad Medvidovic:
EVA: a tool for visualizing software architectural evolution. 53-56 - Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
CSlicerCloud: a web-based semantic history slicing framework. 57-60
Testing vulnerabilities
- Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun:
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. 61-64 - Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe:
ReGuard: finding reentrancy bugs in smart contracts. 65-68 - Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. 69-72
SPLs and OO repair
- Christian Kröher, Sascha El-Sharkawy, Klaus Schmid:
KernelHaven: an experimentation workbench for analyzing software product lines. 73-76 - Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba:
Elixir: an automated repair tool for Java programs. 77-80 - Mukelabai Mukelabai, Benjamin Behringer, Moritz Fey, Jochen Palz, Jacob Krüger, Thorsten Berger:
Multi-view editing of software product lines with PEoPL. 81-84
Static analysis
- Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara:
AnATLyzer: an advanced IDE for ATL model transformations. 85-88 - Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
VISUFLOW: a debugging environment for static analyses. 89-92 - Csaba Nagy, Anthony Cleve:
SQLInspect: a static analyzer to inspect database usage in Java applications. 93-96
Model-driven development
- Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel:
MDebugger: a model-level debugger for UML-RT. 97-100 - Mirko D'Angelo, Annalisa Napolitano, Mauro Caporuscio:
CyPhEF: a model-driven engineering framework for self-adaptive cyber-physical systems. 101-104 - Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Timo Kehrer:
ReVision: a tool for history-based model repair recommendations. 105-108
Verification
- Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews:
COMB: computing relevant program behaviors. 109-112 - Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró:
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. 113-116 - Ahmet Çelik, Karl Palmskog, Milos Gligoric:
A regression proof selection tool for coq. 117-120
Posters
- Thomas Kuhn, Pablo Oliveira Antonino, Markus Damm, Andreas Morgenstern, Dirk Schulz, Constantin Ziesche, Thorsten Müller:
Industrie 4.0 virtual automation bus. 121-122 - Julian M. Bass, Sarah Beecham, Mohammad Abdur Razzak, Clodagh Nic Canna, John Noll:
An empirical study of the product owner role in scrum. 123-124 - Yan de Lima Justino, Carlos Eduardo da Silva:
Reengineering legacy systems for supporting SOA: a case study on the brazilian's secretary of state for taxation. 125-126 - Yaping Luo, Egbert Touw:
Results from multi-faceted software reliability assessment studies. 127-128 - Irina Diana Coman, Alberto Sillitti, Giancarlo Succi:
An initial characterization of bug-injecting development sessions. 129-130 - Katharina Juhnke, Matthias Tichy, Frank Houdek:
Challenges with automotive test case specifications. 131-132 - Pavneet Singh Kochhar, Stanislaw Swierc, Trevor Carnahan, Hitesh Sajnani, Meiyappan Nagappan:
Understanding the role of reporting in work item tracking systems for software development: an industrial case study. 133-134 - Bianca Bergande, Philipp Brune:
When students meet developers: are barcamps a format for interactive software engineering education? 135-136 - Julio Cezar Costa Furtado, Sandro Ronaldo Bezerra Oliveira:
A methodology to teaching statistical process control for software engineers. 137-138 - Jakeline Marcos-Abed:
A matrix for analyzing projects in software engineering courses. 139-140 - Yao Lu, Xinjun Mao, Tao Wang, Gang Yin, Zude Li, Huaimin Wang:
Continuous inspection in the classroom: improving students' programming quality with social coding methods. 141-142 - Rafael Chanin, Afonso Sales, Leandro Bento Pompermaier, Rafael Prikladnicki:
Startup software development education: a systematic mapping study. 143-144 - Styliani Kleanthous, Georgia M. Kapitsaki:
Analyzing the transactive memory in teaching software engineering. 145-146 - Shoaib Akbar, Edward F. Gehringer, Zhewei Hu:
Improving formation of student teams: a clustering approach. 147-148 - Arnon Sturm, Timothy C. Lethbridge:
Are our students engaged in their studies?: professional engagement vs. study engagement. 149-150 - Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi:
Multidisciplinary skill assessment for embedded software development education via a robot contest. 151-152 - Gustavo H. S. Alexandre, Simone C. dos Santos:
PBL planner toolkit: a canvas-based tool for planning PBL in software engineering education. 153-154 - Alan R. Santos, Afonso Sales, Paulo Fernandes, Josiane Kroll:
Challenge-based learning: a brazilian case study. 155-156 - Daniel Russo, Marcello Missiroli, Paolo Ciancarini:
A conceptual model for cooperative thinking. 157-158 - Wilhelm Koop, Tobias Brückmann, Marian Benner-Wickner, Markus Kleinschmidt, Volker Gruhn:
Situation-based e-learning in software engineering: using software engineering-related metadata to improve self-empowered learning. 159-160 - Erina Makihara, Hiroshi Igaki, Norihiro Yoshida, Kenji Fujiwara, Naoki Kawashima, Hajimu Iida:
A multi-year analysis of students' build errors in agile software development educational projects. 161-162 - Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng:
Deciding weak monitorability for runtime verification. 163-164 - Amar Budhiraja, Raghu Reddy, Manish Shrivastava:
LWE: LDA refined word embeddings for duplicate bug report detection. 165-166 - Thanh Van Nguyen, Tien N. Nguyen:
Inferring API elements relevant to an english query. 167-168 - Grigoreta Sofia Cojocar, Adriana Mihaela Guran:
A study of monitoring crosscutting concerns implementation. 169-170 - Dmitry V. Luciv, Dmitrij V. Koznov, George A. Chernishev, Hamid Abdul Basit, Konstantin Yu. Romanovsky, Andrey N. Terekhov:
Duplicate finder toolkit. 171-172 - David Shriver:
Toward the development of richer properties for recommender systems. 173-174 - Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita:
Automatic detection of inverse operations while avoiding loop unrolling. 175-176 - Muhammad Sohaib Ayub, Junaid Haroon Siddiqui:
Efficiently finding minimal failing input in MapReduce programs. 177-178 - Luyao Ren, Shurui Zhou, Christian Kästner:
Forks insight: providing an overview of GitHub forks. 179-180 - Mihaela Todorova Tomova, Michael Rath, Patrick Mäder:
Use of trace link types in issue tracking systems. 181-182 - Abigail Atchison, Haley Anderson, Christina Berardi, Natalie Best, Cristiano Firmani, Rene German, Erik Linstead:
A topic analysis of the R programming language. 183-184 - Jungho Kim, Sungwon Kang, Hwi Ahn, ChangSup Keum, Chan-Gun Lee:
Architecture reconstruction and evaluation of blockchain open source platform. 185-186 - Serin Jeong, Heetae Cho, Seonah Lee:
Agile requirement traceability matrix. 187-188 - Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang:
Beyond spatial and temporal memory safety. 189-190 - Shin-Young Ahn, Joongheon Kim, Sungwon Kang:
A novel shared memory framework for distributed deep learning in high-performance computing architecture. 191-192 - Amar Budhiraja, Kartik Dutta, Raghu Reddy, Manish Shrivastava:
DWEN: deep word embedding network for duplicate bug report detection in software repositories. 193-194 - Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue:
Live path control flow integrity. 195-196 - Tobias Olsson, Morgan Ericsson, Anna Wingkvist:
Using repository data for driving software architecture. 197-198 - Eugenio Parra, Jose Luis de la Vara, Luis Alonso:
Analysis of requirements quality evolution. 199-200 - Jingyi Su, Mohd Arafat, Robert Dyer:
Using consensus to automatically infer post-conditions. 202-203 - Md. Rezaur Rahman, Mojdeh Golagha, Alexander Pretschner:
Pairika: a failure diagnosis benchmark for C++ programs. 204-205 - Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Syed Ahmed:
Towards safe refactoring for intelligent parallelization of Java 8 streams. 206-207 - Nagendra Prasad Kasaghatta Ramachandra, Christoph Csallner:
Testing web-based applications with the voice controlled accessibility and testing tool (VCAT). 208-209 - Emily Su, Sameer Joshi:
Leveraging product relationships to generate candidate bugs for duplicate bug prediction. 210-211 - Eric Ruiz, Richard Avelar, Xiaoyin Wang:
Protecting remote controlling apps of smart-home-oriented IOT devices. 212-213 - Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng:
MC/DC coverage-oriented compiler optimization for symbolic execution. 214-215 - Maria Ulan, Welf Löwe, Morgan Ericsson, Anna Wingkvist:
Introducing quality models based on joint probabilities. 216-217 - Bat-Chen Rothenberg, Orna Grumberg:
Program repair that learns from mistakes. 218-219 - Sebastian Hönel, Morgan Ericsson, Welf Löwe, Anna Wingkvist:
A changeset-based approach to assess source code density and developer efficacy. 220-221 - Nelly Condori-Fernández, Alejandro Catalá Bolos, Patricia Lago:
Discovering requirements of behaviour change software systems from negative user experience. 222-223 - Shahab Bayati:
Understanding newcomers success in open source community. 224-225 - Janet Wyngaard, Samuel S. C. Rund, Gregory R. Madey, Michael Vierhauser, Jane Cleland-Huang:
Swarming remote piloted aircraft systems for mosquito-borne disease research and control. 226-227 - Fatma Basak Aydemir, Fabiano Dalpiaz:
Ethics-aware software engineering. 228-229 - Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu:
An efficient approach for verifying automobile distributed application systems on timing property. 230-231 - Lucrecia Llerena, Nancy Rodríguez, Pablo Gómez-Abajo, John W. Castro, Silvia Teresita Acuña:
"Adoption of the visual brainstorming technique in the open source software development process". 232-233 - Cong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst:
A general framework to detect behavioral design patterns. 234-235 - Huan Lin, Yawen Wang, Yunzhan Gong:
Subsuming mutation operators. 236-237 - Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Detecting missing checks for identifying insufficient attack protections. 238-239 - Fabio Palomba, Damian A. Tamburri, Alexander Serebrenik, Andy Zaidman, Francesca Arcelli Fontana, Rocco Oliveto:
How do community smells influence code smells? 240-241 - Verena Käfer, Daniel Graziotin, Ivan Bogicevic, Stefan Wagner, Jasmin Ramadani:
Communication in open-source projects-end of the e-mail era? 242-243 - Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Trang Pham, Aditya Ghose:
Predicting components for issue reports using deep learning with information retrieval. 244-245 - Rubing Huang, Yunan Zhou, Dave Towey, Tsong Yueh Chen, Jinfu Chen:
An experimental analysis of fault detection capabilities of covering array constructors. 246-247 - Misoo Kim, Eunseok Lee:
Are information retrieval-based bug localization techniques trustworthy? 248-249 - Cong Tian, Zhao Duan, Zhenhua Duan:
Accelerating counterexample detection in software model checking. 250-251 - Jeongho Kim, Jindae Kim, Eunseok Lee:
A novel variable-centric fault localization technique. 252-253 - Cong Tian, Congli Xia, Zhenhua Duan:
Android inter-component communication analysis with intent revision. 254-255 - Felipe Osses, Gastón Márquez, Hernán Astudillo:
Exploration of academic and industrial evidence about architectural tactics and patterns in microservices. 256-257 - Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia:
Automatically solving NP-complete problems on a quantum computer. 258-259 - Yuan Huang, Nan Jia, Qiang Zhou, Xiangping Chen, Yingfei Xiong, Xiaonan Luo:
Guiding developers to make informative commenting decisions in source code. 260-261 - Arman Shahbazian, Youn Kyu Lee, Yuriy Brun, Nenad Medvidovic:
Making well-informed software design decisions. 262-263 - Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang:
Runtime verification of memory safety via source transformation. 264-265 - Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu:
Synthesizing relation-aware entity transformation by examples. 266-267 - Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Testing heap-based programs with Java StarFinder. 268-269 - Di Wu, Xiao-Yuan Jing, Haowen Chen, Xiaoke Zhu, Hongyu Zhang, Mei Zuo, Lu Zi, Chen Zhu:
Automatically answering API-related questions. 270-271 - Naoyasu Ubayashi, Hokuto Muraoka, Daiki Muramoto, Yasutaka Kamei, Ryosuke Sato:
Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty? 272-273 - Christoph Luckeneder, Hermann Kaindl:
Systematic top-down design of cyber-physical models with integrated validation and formal verification. 274-275 - Jun Gao, Li Li, Pingfan Kong, Tegawendé F. Bissyandé, Jacques Klein:
On vulnerability evolution in Android apps. 276-277 - Kan Qi, Barry W. Boehm:
UMLx: a UML diagram analytic tool for software management decisions. 278-279 - Gulsher Laghari, Serge Demeyer:
Unit tests and component tests do make a difference on fault localisation effectiveness. 280-281 - Tam The Nguyen, Phong Minh Vu, Hung Viet Pham, Tung Thanh Nguyen:
Recommending exception handling patterns with ExAssist. 282-283 - Phong Minh Vu, Tam The Nguyen, Tung Thanh Nguyen, Hung Viet Pham:
ALPACA-advanced linguistic pattern and concept analysis framework for software engineering corpora. 284-285 - Yang Wang, Stefan Wagner:
Combining STPA and BDD for safety analysis and verification in agile development. 286-287 - Umberto Azadi, Francesca Arcelli Fontana, Marco Zanoni:
Machine learning based code smell detection through WekaNose. 288-289