* ICSE 2018 * (series) / Posters /
Poster T14: Accelerating Counterexample Detection in Software Model Checking
Thu 31 May 2018 09:00 - 18:00 at H - Exibition Hall - Thursday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) Chair(s): Yuriy Brun, Raffaela Mirandola
Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 18:00 | Thursday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55)Posters at H - Exibition Hall Chair(s): Yuriy Brun University of Massachusetts, Amherst, Raffaela Mirandola Politecnico di Milano | ||
09:00 9hTalk | Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property Posters Haitao Zhang Lanzhou University, Guoqiang Li Shanghai Jiao Tong University, Xiaohong Li TianJin University, Zhuo Cheng Jiangxi Normal University, Jinyun Xue Jiangxi Normal University, Shaoying Liu Hosei University | ||
09:00 9hTalk | Poster T2: Conway: Law or Not? Posters Wolfgang Mauerer OTH Regensburg / Siemens AG, Mitchell Joblin Siemens AG, Damian Andrew Tamburri TU/e, Carlos Paradis University of Hawaii, Sven Apel Saarland University, Germany, Rick Kazman | ||
09:00 9hTalk | Poster T3: Adoption of the Visual Brainstorming Technique in the Open Source Software Development Process Posters Lucrecia Llerena Universidad Autónoma de Madrid, Nancy Rodriguez Universidad Autónoma de Madrid, Pablo Gómez-Abajo Universidad Autónoma de Madrid, John W. Castro Universidad de Atacama, Silvia Teresita Acuña Castillo Universidad Autonoma de Madrid | ||
09:00 9hTalk | Poster T4: A General Framework to Detect Behavioral Design Patterns Posters Cong Liu Eindhoven University of Technology, Boudewijn Van Dongen Eindhoven University of Technology, Nour Assy Eindhoven University of Technology, Wil van der Aalst RWTH Aachen University, Germany | ||
09:00 9hTalk | Poster T5: Subsuming Mutation Operators Posters Huan Lin State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yawen Wang State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yunzhan Gong State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications | ||
09:00 9hTalk | Poster T6: Detecting Missing Checks for Identifying Insufficient Attack Protections Posters Lingyun Situ Nanjing University, Liang Zou Nanyang Technological University, Linzhang Wang , Yang Liu Nanyang Technological University, Singapore, Bing Mao Nanjing University, Xuandong Li Nanjing University | ||
09:00 9hTalk | Poster T7: How Do Community Smells Influence Code Smells? Posters Fabio Palomba , Damian Andrew Tamburri TU/e, Alexander Serebrenik Eindhoven University of Technology, Andy Zaidman TU Delft, Francesca Arcelli Fontana University of Milano-Bicocca, Rocco Oliveto University of Molise Pre-print | ||
09:00 9hTalk | Poster T8: Communication in Open-Source Projects--End of the E-mail Era? Posters Verena Käfer University of Stuttgart, Daniel Graziotin University of Stuttgart, Ivan Bogicevic University of Stuttgart, Stefan Wagner Universität Stuttgart, Jasmin Ramadani University of Stuttgart | ||
09:00 9hTalk | Poster T9: Predicting components for issue reports using deep learning with information retrieval Posters Morakot Choetkiertikul University of Wollongong, Hoa Khanh Dam University of Wollongong, Truyen Tran , Trang Pham Deakin University, Aditya Ghose | ||
09:00 9hTalk | Poster T10: OreoCF: Towards Accurate and Scalable Detection of Semantic Clones Posters Vaibhav Saini University of California at Irvine, USA, Farima Farmahinifarahani University of California, Irvine, Crista Lopes University of California Irvine, Pedro Martins University of California at Irvine, USA | ||
09:00 9hTalk | Poster T11: Understanding Differences among Executions with Variational Traces Posters Jens Meinicke Magdeburg University, Chu-Pan Wong Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Gunter Saake University of Magdeburg, Germany | ||
09:00 9hTalk | Poster T12: An Experimental Analysis of Fault Detection Capabilities of Covering Array Constructors Posters Rubing Huang Jiangsu University, Yunan Zhou Jiangsu University, Tsong Yueh Chen Swinburne University of Technology, Dave Towey University of Nottingham, Jinfu Chen Jiangsu University | ||
09:00 9hTalk | Poster T13: Are Information Retrieval-based Bug Localization Techniques Trustworthy? Posters | ||
09:00 9hTalk | Poster T14: Accelerating Counterexample Detection in Software Model Checking Posters | ||
09:00 9hTalk | Poster T15: A Novel Variable-centric Fault Localization Technique Posters Jeongho Kim Sungkyunkwan University, Jindae Kim The Hong Kong University of Science and Technology, Eunseok Lee Sungkyunkwan University | ||
09:00 9hTalk | Poster T16: Android Inter-Component Communication Analysis with Intent Revision Posters | ||
09:00 9hTalk | Poster T17: Exploration of Academic and Industrial Evidence about Architectural Tactics and Patterns in Microservices Posters Gaston Marquez Universidad Tecnica Federico Santa Maria, Hernan Astudillo Universidad Tecnica Federico Santa MarÃa, Felipe Osses Universidad Federico Santa Maria | ||
09:00 9hTalk | Poster T18: FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution Posters LuÃs Pina George Mason University, Anastasios Andronidis Imperial College London, UK, Cristian Cadar Imperial College London | ||
09:00 9hTalk | Poster T19: Automatically Solving NP-Complete Problems on a Quantum Computer Posters | ||
09:00 9hTalk | Poster T20: Guiding Developers to Make Informative Commenting Decisions in Source Code Posters Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Qiang Zhou School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Xiangping Chen , Yingfei Xiong Peking University, Xiaonan Luo School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China | ||
09:00 9hTalk | Poster T21: Making Well-Informed Software Design Decisions Posters Arman Shahbazian University of Southern California, Youn Kyu Lee , Yuriy Brun University of Massachusetts, Amherst, Nenad Medvidović University of Southern California Link to publication DOI Pre-print | ||
09:00 9hTalk | Poster T22: Runtime Verification of Memory Safety via Source Transformation Posters Zhe Chen Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Wenming Li , Ju Qian Nanjing University of Aeronautics and Astronautics, Zhiqiu Huang Nanjing University of Aeronautics and Astronautics | ||
09:00 9hTalk | Poster T23: Synthesizing Relation-Aware Entity Transformation by Examples Posters Jiarong Wu Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University | ||
09:00 9hTalk | Poster T24: Testing Heap-Based Programs with Java StarFinder Posters Long H. Pham Singapore University of Technology and Design, Quang Loc Le School of Computing, Teesside University, UK, Quoc-Sang Phan Fujitsu Laboratories of America, Jun Sun Singapore University of Technology and Design, Shengchao Qin University of Teesside | ||
09:00 9hTalk | Poster T25: Automatically Answering API-Related Questions Posters WuDi , Xiao-Yuan Jing State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Haowen Chen State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Xiaoke Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Hongyu Zhang The University of Newcastle, Mei Zuo State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Lu Zi State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Chen Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University | ||
09:00 9hTalk | Poster T26: Exploring Uncertainty in GitHub OSS Projects Posters Naoyasu Ubayashi Kyushu University, Hokuto Muraoka Kyushu University, Daiki Muramoto Kyushu University, Yasutaka Kamei Kyushu University, Ryosuke Sato University of Tokyo, Japan | ||
09:00 9hTalk | Poster T27: Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification Posters | ||
09:00 9hTalk | Poster T28: On Vulnerability Evolution in Android Apps Posters Jun Gao University of Luxembourg, SnT, Li Li University of Luxembourg, Luxembourg, Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT | ||
09:00 9hTalk | Poster T29: UMLx: a UML Diagram Analytic Tool for Software Management Decisions Posters | ||
09:00 9hTalk | Poster T30: Benchmarking cross-project defect prediction approaches with cost metrics Posters Steffen Herbold University of Göttingen | ||
09:00 9hPoster | Poster T31: Unit Tests and Component Tests do Make a Difference on Fault Localisation Effectiveness Posters Gulsher Laghari University of Antwerp, Belgium; University of Sindh, Pakistan, Serge Demeyer University of Antwerp, Belgium Pre-print | ||
09:00 9hTalk | Poster T32: Recommending Exception Handling Patterns with ExAssist Posters | ||
09:00 9hTalk | Poster T33: ALPACA: Advanced Linguistic Pattern and Concept Analysis Framework for Software Engineering Corpora Posters | ||
09:00 9hTalk | Poster T34: Combining STPA and BDD for Safety Analysis and Verification in Agile Development Posters | ||
09:00 9hTalk | Poster T35: When Pair Programming is most helpful: Explaining session dynamics from knowledge gaps Posters | ||
09:00 9hPoster | Poster T36: Machine-Learning-Based Code Smell Detection through WekaNose Posters Umberto Azadi University of Milan-Bicocca, Francesca Arcelli Fontana University of Milano-Bicocca, Marco Zanoni University of Milano Bicocca Pre-print | ||
09:00 9hTalk | Poster T37: Knowledge-enriched Security and Privacy Threat Modeling Posters Laurens Sion , Koen Yskout , Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven | ||
09:00 9hTalk | Poster T38: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms Posters Simon Schwichtenberg Paderborn University, Ivan Jovanovikj Paderborn University, Christian Gerth Osnabrueck University of Applied Sciences, Gregor Engels Paderborn University | ||
09:00 9hTalk | Poster T39: Semantically Enhanced Tag Recommendation for Software CQAs via Deep Learning Posters Jian Zhang Beihang University, Hailong Sun Beihang University, Yanfei Tian Beihang University, Xudong Liu Beihang University | ||
09:00 9hTalk | Poster T40: QoS-aware Service Composition using Blockchain-based Smart Contract Posters Puwei Wang Renmin University of China, Xiaohe Liu Renmin University of China, Jinchuan Chen Renmin University of China, Ying Zhan Guizhou University of Finance and Economics, Zhi Jin Guizhou University of Finance and Economics | ||
09:00 9hTalk | Poster T41: An Automated and Instant Discovery of Concrete Repairs for Model Inconsistencies Posters Roland Kretschmer Johannes Kepler Universität Linz, Djamel Eddine Khelladi ISSE - JKU, Alexander Egyed | ||
09:00 9hTalk | Poster T42: Knowledge Transfer from Research to Industry: A Survey on Program Comprehension Posters Ivonne Schröter University of Magdeburg, Germany, Jacob Krüger Harz University of Applied Sciences, Germany, Janet Siegmund University of Passau, Thomas Leich Harz University of Applied Sciences, Germany | ||
09:00 9hTalk | Poster T43: MOBS: Multi-Operator Observation-Based Slicing using Lexical Approximation of Program Dependence Posters Seongmin Lee Korea Advanced Institute of Science and Technology, David Binkley Loyola University Baltimore, Nicolas Gold University College London, Syed Islam University of East London, Jens Krinke University College London, Shin Yoo Korea Advanced Institute of Science and Technology | ||
09:00 9hTalk | Poster T44: On Extracting Relevant and Complex Variability Information from Software Descriptions with Pattern Structures Posters Jessie Carbonnel LIRMM, CNRS and University of Montpellier, Marianne Huchard LIRMM, Clémentine Nebut Université Montpellier 2 | ||
09:00 9hTalk | Poster T45: CUTER: ClUstering-based TEst suite Reduction Posters Carmen Coviello University of Basilicata, Simone Romano University of Basilicata, Giuseppe Scanniello University of Basilicata | ||
09:00 9hTalk | Poster T46: The Effect of Noise on Requirements Comprehension Posters Simone Romano University of Basilicata, Giuseppe Scanniello University of Basilicata, Davide Fucci University of Hamburg, Natalia Juristo Facultad de Informática - UPM, Burak Turhan Brunel University | ||
09:00 9hTalk | Poster T47: Incremental UML for Agile Development: An Introduction Posters | ||
09:00 9hTalk | Poster T48: An Algorithm and Tool to Infer Practical Postconditions Posters John L. Singleton University of Central Florida, Gary T. Leavens University of Central Florida, Hridesh Rajan Iowa State University, David Cok GrammaTech, Inc | ||
09:00 9hTalk | Poster T49: Designing Bug Detection Rules for Fewer False Alarms Posters Jaechang Nam Pohang University of Science and Technology, Song Wang University of Waterloo, Yuan Xi University of Waterloo, Lin Tan University of Waterloo | ||
09:00 9hTalk | Poster T50: Automated User Reviews Analyser Posters Adelina Ciurumelea University of Zurich, Sebastiano Panichella University of Zurich, Harald Gall University of Zurich | ||
09:00 9hTalk | Poster T51: A Recommender System for Developer Onboarding Posters Chao Liu Chongqing University, Dan Yang Chongqing University, Xiaohong Zhang Chongqing University, Haibo Hu Chongqing University, Jed Barson University of Virginia, Baishakhi Ray Columbia University, New York | ||
09:00 9hTalk | Poster T52: Automated Test Script Repair for Mobile Applications Posters Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University | ||
09:00 9hTalk | Poster T53: Obfuscating Program Control Flow with Intel SGX Posters Yongzhi Wang Xidian University, Yulong Shen Xidian University, Ke Cheng Xidian University, Yibo Yang Xidian University, Cuicui Su Xidian University, Anter Faree Xidian University | ||
09:00 9hTalk | Poster T54: Benchmarking Microservice Systems for Software Engineering Research Posters Xiang Zhou , Xin Peng Fudan University, Tao Xie University of Illinois at Urbana-Champaign, Jun Sun Singapore University of Technology and Design, Chenjie Xu Fudan University, Chao Ji Fudan University, Wenyun Zhao Fudan University | ||
09:00 9hTalk | Poster T55: Bridging Effort-Aware Prediction and Strong Classification - a Just-in-Time Software Defect Prediction Study Posters Yuchen GUO Xi'an Jiaotong University, Martin Shepperd Brunel University London, Ning Li School of Computer Science, Northwestern Polytechnical University File Attached | ||
09:00 9hTalk | Poster T56: Model-Based Adaptation to Extreme Physical Environments: A Case Study on Mixed-Criticality Industrial Ethernet Posters Zonghui Li Software School, Tsinghua University, Hai Wan Tsinghua University, Yangdong Deng Tsinghua University, Qinghan Yu Software School,Tsinghua University, Tianchi Li Tsinghua University, Kang Wei Software School,Tsinghua University, Ming Gu Tsinghua University | ||
09:00 9hTalk | Poster T57: Efficient and Deterministic Replay for Web-enabled Android Apps Posters Fangge Yan Shanghai Jiao Tong University, Mingyuan Xia McGill University, Zhengwei Qi Shanghai Jiao Tong University, Xue Liu McGill University | ||
09:00 9hTalk | Poster T58: A Parallel Framework for Ab Initio Transcript-Clustering Posters Dhananjai Rao Miami University | ||
09:00 9hTalk | Poster T59: Sources of Satisfaction in Agile Software Development Posters Robert Biddle Carleton University, Martin Kropp University of Applied Sciences Northwestern Switzerland, Andreas Meier Zurich University of Applied Sciences, Craig Anslow Victoria University of Wellington | ||
09:00 9hTalk | Poster T60: Which Similarity Metric to Use for Software Documents? A Study on Information Retrieval-Based Software Engineering Tasks Posters Md Masudur Rahman University of Virginia, USA, Saikat Chakraborty University of Virginia, Baishakhi Ray Columbia University, New York | ||