Poster F51: Property Specification Patterns for Robotic Missions (* ICSE 2018 * - Posters ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi

Track

* ICSE 2018 * Posters

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Fri 1 Jun 2018 09:00 - 18:00 at H - Exibition Hall - Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) Chair(s): Yuriy Brun, Raffaela Mirandola

Claudio Menghi

University of Gothenburg, Sweden

Christos Tsigkanos

Politecnico di Milano

Thorsten Berger

Chalmers University of Technology, Sweden

Sweden

Patrizio Pelliccione

University of Gothenburg & Chalmers University of Technology

Sweden

Carlo Ghezzi

Politecnico di Milano

Italy

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Conference Day
Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 18:00	Friday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55)Posters at H - Exibition Hall Chair(s): Yuriy BrunUniversity of Massachusetts, Amherst, Raffaela MirandolaPolitecnico di Milano

	09:00 9h Talk		Poster F1: A Taxonomy of how Method Stereotypes Change Posters Michael J. DeckerBowling Green State University, Christian D. NewmanRochester Institute of Technology, Natalia DraganKent State University, Michael L. CollardThe University of Akron, Jonathan I. MaleticKent State University, Nicholas A. KraftABB Corporate Research
	09:00 9h Talk		Poster F2: Automated Program Repair with Canonical Constraints Posters Andrew HillNorth Carolina State University, Corina S. PăsăreanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Kathryn StoleeNorth Carolina State University
	09:00 9h Talk		Poster F3: Toward Measuring Software Coupling via Weighted Dynamic Metrics Posters Henning SchnoorKiel University, Wilhelm HasselbringKiel University
	09:00 9h Talk		Poster F4: There Is No Random Sampling in Software Engineering Research Posters Bilal AmirSur University College, Paul RalphUniversity of Auckland
	09:00 9h Talk		Poster F5: Efficient Iterative Deepening for Bounded Exhaustive Generation of Complex Structures Posters Affan RaufLahore University of Management Sciences, Muhammad NawazLahore University of Management Sciences, Junaid Haroon SiddiquiLahore University of Management Sciences
	09:00 9h Talk		Poster F6: Improving Bug Localization with Report Quality Dynamics and Query Reformulation Posters Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
	09:00 9h Talk		Poster F7: Towards Sustainable Android Malware Detection Posters Haipeng CaiWashington State University, USA, John JenkinsWashington State University Pre-print
	09:00 9h Talk		Poster F8: Fast, Scalable and User-Guided Clone Detection Posters Jeffrey SvajlenkoMicrosoft, Chanchal K. RoyUniversity of Saskatchewan
	09:00 9h Talk		Poster F9: Searching for High-performing Software Configurationswith Metaheuristic Algorithms Posters Chong TangUniversity of Virginia, Kevin Sullivan, Baishakhi RayColumbia University, New York
	09:00 9h Talk		Poster F10: Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Code Fragments Posters Edwin DauberDrexel University, Aylin CaliskanPrinceton University, Richard HarangSophos, Rachel GreenstadtDrexel University
	09:00 9h Talk		Poster F11: Identifying TraIn: A Neglected Form of Socio-Technical Incongruence Posters Xiao Wang, Lu Xiao, Ye YangStevens institute of technology, Xinyi XuBeijing University of Posts and Telecommunications, Yu Jiang
	09:00 9h Talk		Poster F12: Efficient Blockchain-based Software Systems via Hierarchical Bucket Tree Posters Weili ChenSchool of Data and Computer Science, Sun Yat-sen University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Mingjie MaSchool of Data and Computer Science, Sun Yat-sen University, Pinjia HeComputer Science and Engineering, The Chinese University of Hong Kong, Peilin Zheng, Yuren ZhouSchool of Data and Computer Science, Sun Yat-sen University
	09:00 9h Talk		Poster F13: Group Preference based API Recommendation via Heterogeneous Information Network Posters Fenfang XieSchool of Data and Computer Science, Sun Yat-sen University, Liang ChenSchool of Data and Computer Science, Sun Yat-sen University, Dongding LinSchool of Data and Computer Science, Sun Yat-sen University, Chuan ChenSchool of Data and Computer Science, Sun Yat-sen University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Xiaola LinSchool of Data and Computer Science, Sun Yat-sen University
	09:00 9h Poster		Poster F14: LibraryGuru: API Recommendation for Android Developers Posters Weizhao YuanShanghai Jiao Tong University, Hoang H. NguyenSingapore Management University, Lingxiao JiangSingapore Management University, Yuting ChenShanghai Jiao Tong University DOI Pre-print
	09:00 9h Talk		Poster F15: ACONA: Active Online Model Adaptation for Predicting Continuous Integration Build Failures Posters Ansong NiNanjing University, Ming Li
	09:00 9h Talk		Poster F17: SystemWeaver: Facilitating Configurable and Scalable Traceability of Systems Engineering Artifacts Posters Rebekka WohlrabChalmers University of Technology \| Systemite AB, Gothenburg, Sweden, Ali ShahrokniSystemite
	09:00 9h Talk		Poster F18: Boundary Objects in Agile Practices: Continuous Management of Systems Engineering Artifacts in the Automotive Domain Posters Rebekka WohlrabChalmers University of Technology \| Systemite AB, Gothenburg, Sweden, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Eric KnaussChalmers University of Technology and University of Gothenbrug, Mats LarssonSystemite AB
	09:00 9h Talk		Poster F19: Efficient GUI Test Generation by Learning from Tests of Other Apps Posters Andreas RauSoftware Engineering Chair (Prof. Zeller) Saarland University, Dept. of Computer Science, Jenny HotzkowSaarland University, Andreas ZellerSaarland University
	09:00 9h Talk		Poster F20: A Qualitative Reasoning Approach to Spectrum-based Fault Localization Posters Alexandre PerezUniversity of Porto, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID
	09:00 9h Talk		Poster F21: Evaluating Project Compliance During EA Planning Posters Melanie LangermeierUniversität Augsburg, Bernhard Bauer
	09:00 9h Talk		Poster F22: ASSEMBLE: A Collaborative Business Process Development Tool Posters Ayesha AfzalLahore University of Management Sciences, Ahmad AkhtarLahore University of Management Sciences, Nabila IshfaqLahore University of Management Sciences, Basit ShafiqLahore University of Management Sciences, Shafay ShamailLUMS, DHA, Lahore, Abeer ElahrafRutgers University, Jaideep VaidyaRutgers University, Nabil AdamRutgers University
	09:00 9h Talk		Poster F23: A Weight Approach to Combinatorial Test Generation Posters Jing ZhaoDalian University of Technology , Gao Rong NingCSIC BeiJing
	09:00 9h Talk		Poster F24: Decision Support for Feature Deletion in Mobile Apps Posters Maleknaz NayebiUniversity of Toronto, Konstantin KuznetsovSaarland University, CISPA, Paul ChenUniversity of Calgary, Andreas ZellerSaarland University, Guenther RuheUniversity of Calgary
	09:00 9h Talk		Poster F25: Automated Test Migration for Mobile Apps Posters Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
	09:00 9h Talk		Poster F26: USE: Unified and Split Execution for Exposing Divergences between Versions Posters Hongliang Liangbeijing university of posts and telecommunication, Wenying Hubeijing university of posts and telecommunication, Yini Zhangbeijing university of posts and telecommunication, Lin Jiangbeijing university of posts and telecommunication, Wuwei ShenDepartment of Computer Science Western Michigan Univarsity
	09:00 9h Talk		Poster F27: Learning to Mine Parallel Natural Language/Source Code Corpora from Stack Overflow Posters Pengcheng Yin, Bowen DengCarnegie Mellon University, Edgar ChenCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University, Graham NeubigCarnegie Mellon University
	09:00 9h Talk		Poster F28: Identification of Methods with Low Fault Risk Posters Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Stefan WagnerUniversität Stuttgart
	09:00 9h Talk		Poster F29: A Declarative Approach for Updating Distributed Microservices Posters Fabienne BoyerLIG (Laboratoire d'Informatique de Grenoble), Xavier EtcheversOrange, Noel de PalmaLIG (Laboratoire d'Informatique de Grenoble), Xin Xiu TaoOrange
	09:00 9h Talk		Poster F30: Static Detection of API Call Vulnerabilities in iOS Executables Posters Chun-Han LinNational Chengchi University, Fang YuNational Chengchi University, Jie-Hong Roland JiangNational Taiwan University, Tevfik BultanUniversity of California, Santa Barbara
	09:00 9h Talk		Poster F31: How Do Modelers Read UML Diagrams? Preliminary Results from an Eye-Tracking Study Posters Harald StörrleQAware GmbH, Nick BaltsenTechnical University of Denmark, Anja MaierTechnical University of Denmark, Henrik ChristoffersenTechnical University of Denmark
	09:00 9h Talk		Poster F32: Towards a Formal API Assessment Posters Amir ZghidiCES Lab, Sfax, Tunisia, Imed HammoudaChalmers and University of Gothenburg, Brahim HnichMonastir University
	09:00 9h Talk		Poster F33: Measuring the Energy Footprint of Mobile Testing Frameworks Posters Luís CruzUniversity of Porto, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID
	09:00 9h Talk		Poster F34: Precooked Developer Dashboards: What to Show and How to Use Posters Vladimir Ivanov, Alan Rogers, Giancarlo SucciInnopolis University, Jooyong YiInnopolis University, Vasiliy ZorinInnopolis University
	09:00 9h Talk		Poster F35: Understanding and Leveraging Developer Inexpertise Posters Lykes ClaytorVirginia Tech, Francisco ServantVirginia Tech
	09:00 9h Talk		Poster F36: The Buggy Side of Code Refactoring: Understanding the Relationship between Refactorings and Bugs Posters Isabella FerreiraPUC-Rio, Eduardo FernandesPontifical Catholic University of Rio de Janeiro (PUC-Rio), Diego CedrimPontifical Catholic University of Rio de Janeiro, Anderson UchôaPontifical Catholic University of Rio de Janeiro (PUC-Rio), Ana Carla BibianoPUC-Rio, Alessandro GarciaPUC-Rio, João Lucas CorreiaUFAL, Filipe Falcão Batista Dos SantosUniversidade Federal de Alagoas, Eduardo Gabriel Nunes de Farias, Caio BarbosaUFAL, Baldoino Fonseca, Rafael de Mello
	09:00 9h Talk		Poster F37: Predicting the Fault Revelation Utility of Mutants Posters Thierry Titcheu ChekamUniversity of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg Pre-print
	09:00 9h Talk		Poster F38: Memory and Resource Leak Defects in Java Projects: An Empirical Study Posters Mohammadreza GhanavatiHeidelberg University, Diego Costa, Artur AndrzejakHeidelberg University, Janos SeboekHeidelberg University
	09:00 9h Talk		Poster F39: Hybrid Traversal: Efficient Source Code Analysis at Scale Posters Ramanathan RamuIowa State University, Ganesha UpadhyayaFuturewei Technologies, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
	09:00 9h Talk		Poster F40: Defect Prediction Metrics for Infrastructure as Code Scripts in DevOps Posters Akond RahmanNorth Carolina State University, Jonathan StallingsNorth Carolina State University, Laurie WilliamsNorth Carolina State University
	09:00 9h Talk		Poster F41: Interlocking Safety Cases for Unmanned Autonomous Systems in Urban Environments Posters Michael VierhauserUniversity of Notre Dame, Sean Bayley, Jane WyngaardUniversity of Notre Dame, Jinghui ChengPolytechnique Montreal, Wandi XiongIowa State University, Robyn LutzIowa State University, Joshua HusemanUniversity of Notre Dame, Jane Cleland-HuangUniversity of Notre Dame
	09:00 9h Talk		Poster F42: Linguistic Characteristics of Code Review Feedback - A Large Scale Study of Chromium Posters Nuthan Munaiah, Benjamin S. MeyersRochester Institute of Technology, Cecilia O. AlmRochester Institute of Technology, Andrew MeneelyRochester Institute of Technology, Pradeep K. MurukannaiahRochester Institute of Technology, Emily PrudhommeauxBoston College, Josephine WolffRochester Institute of Technology
	09:00 9h Talk		Poster F43: A Systematic Literature Review to Support the Selection of User Acceptance Testing Techniques Posters Ernani César Dos SantosUniversidade Federal de Santa Catarina, Patricia VilainUniversidade Federal de Santa Catarina, Douglas Hiura LongoUFSC - Universidade Federal de Santa Catarina
	09:00 9h Talk		Poster F44: Assurance Cases for Scientific Computing Software Posters Spencer SmithMcMaster University, Computing and Software Department, Mojdeh Sayari NejadMcMaster University, Alan WassyngMcMaster University, Canada
	09:00 9h Talk		Poster F45: Grafter: Transplantation and Differential Testing for Clones Posters Tianyi ZhangUniversity of California, Los Angeles, Miryung KimUniversity of California at Los Angeles, USA
	09:00 9h Talk		Poster F46: Symbolic Path Cost Analysis for Side-Channel Detection Posters Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara
	09:00 9h Talk		Poster F47: Identifying Security Issues in Software Development: Are Keywords Enough? Posters Patrick Morrison, Tosin Daniel OyetoyanSINTEF Digital, Laurie WilliamsNorth Carolina State University
	09:00 9h Talk		Poster F48: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages Posters Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Péter SzécsiEötvös Loránd University, Zoltán GeraEötvös Loránd University, Dániel KruppEricsson Ltd, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
	09:00 9h Talk		Poster F49: Path-Based Function Embeddings Posters Daniel DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
	09:00 9h Talk		Poster F50: Multimorphic Testing Posters Paul TempleIRISA, Mathieu AcherUniversité of Rennes, Jean-Marc JézéquelUniv Rennes - IRISA
	09:00 9h Talk		Poster F51: Property Specification Patterns for Robotic Missions Posters Claudio MenghiUniversity of Gothenburg, Sweden, Christos TsigkanosPolitecnico di Milano, Thorsten BergerChalmers University of Technology, Sweden, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Carlo GhezziPolitecnico di Milano
	09:00 9h Talk		Poster F52: Autotuning PostgreSQL Posters Thomas KarcherKarlsruhe Institute of Technology, Mathias LandhäußerthingsTHINKING GmbH
	09:00 9h Talk		Poster F53: Towards Multi-Robot Applications Planning Under Uncertainty Posters Claudio MenghiUniversity of Gothenburg, Sweden, Sergio Garcia, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Jana TumovaKTH Royal Institute of Technology, Sweden
	09:00 9h Talk		Poster F54: Companies’ Domination in FLOSS Development – An Empirical Study of OpenStack Posters Yuxia ZhangPeking University, Xin TanPeking University, Minghui ZhouPeking University, Zhi JinPeking University
	09:00 9h Talk		Poster F55: Reordering Tests for Faster Test Suite Execution Posters Panagiotis StratisThe University of Edinburgh, Ajitha RajanUniversity of Edinburgh, UK
	09:00 9h Talk		Poster F56: Answering the Requirements Traceability Questions Posters Arushi GuptaUniversity of Cincinnati, Wentao WangUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
	09:00 9h Talk		Poster F57: BugZoo: A Platform for Studying Software Bugs Posters Christopher Steven TimperleyCarnegie Mellon University, Susan StepneyUniversity of York, Claire Le GouesCarnegie Mellon University