2018 International Conference on
Software Engineering & Knowledge
Engineering
Hotel Pullman, Redwood City, San Francisco Bay, California, USA
July 1-July 3, 2018
Saturday, June 30
|
19:00
– 21:00 |
Registration (Hotel Lobby) |
|||
Sunday, July 1
|
07:30
– 08:20 |
Registration (Ballroom Foyer) |
|||
|
08:20
– 08:30 |
Welcome |
|||
|
08:30
– 09:20 |
(Keynote I) Chair: Xudong He |
|||
|
09:20
– 09:30 |
Coffee
Break (Ballroom Foyer) |
|||
|
09:30
– 10:45 |
Parallel
Sessions |
|||
|
Session Sun-I-1 |
Session Sun-II-1 |
Session Sun-III-1 |
||
|
A New Satellite Constellation Networking Certification and Reliable Maintenance Protocol (DISA) (S) Congyu Huang, Liehuang Zhu, Chunlei Li, Chuan Zhang, Yuxin Chen and Zijian Zhang Min Cao, Sijing Zhou, Honghao Gao and Youhuizi Li Exploiting SDAE Model for Recommendations Qing Yang, Xianhe Yao, Jingwei Zhang and Zhongqin Bi Towards business identification modeling:A Taobao Case Study (DISA) (S) Rong Zhang, Yuyu Yin, Meng Xi and Hao Jiang |
Ontology-based Software Architectural Pattern Recognition and Reasoning (SESE) (S) Nacha Chondamrongkul, Jing Sun and Ian Warren Object-oriented Software Modeling with Ontologies Around - A Survey of Existing Approaches (SESE) Selena Sohaila Baset and Kilian Stoffel |
Methods for Estimating Agile Software Projects: A Systematic Review (S) Edna Dias Canedo, Dandara Pereira Aranha, Maxwell de Oliveira Cardoso, Ruyther Parente Da Costa and Leticia Lopes Leite Arthur Freire, André Meireles, Gleyser Guimarães, Mirko Perkusich, Raissa Da Silva, Kyller Gorgônio, Angelo Perkusich and Hyggo Almeida |
||
|
10:45 – Noon |
Parallel Sessions |
|||
|
Session Sun-I-2 |
Session Sun-II-2 |
Session Sun-III-2 |
||
|
Towards Cost Effective Privacy Provision for Typed Resources in IoT Environment (S) Yucong Duan, Zhengyang Song, Xiaoxian Yang, Quan Zou, Xiaobing Sun and Xinyue Zhang Finding Shilling Attack in Recommender System based on Dynamic Feature Selection (DISA) Gaofeng Cao, Huan Zhang, Yuyou Fan and Li Kuang Service Language Model: New Ecology for Service Development Ying Li, Meng Xi, Hui Chen and Jianwei Yin |
A Knowledge Engineering Approach to UML Modeling (S) Bingyang Wei, Jing Sun and Yi Wang An Ontology-based Modelling of Vietnamese Traditional Dances (S) Truong-Thanh Ma, Salem Benferhat, Zied Bouraoui, Karim Tabia, Thanh-Nghi Do and Huu-Hoa Nguyen |
Influence Factors in Software Productivity - A Tertiary Literature Review Edson Oliveira, Tayana Conte, Marco Cristo and Natasha Valentim Explanation Templates for Case-based Reasoning in Collaborative Risk Management Nielsen Luiz Rechia Machado, Lisandra Manzoni Fontoura, Rafael Heitor Bordini and Luís Alvaro de Lima Silva |
||
|
Noon
– 13:00 |
Lunch
Break |
|||
|
13:00
– 15:00 |
Parallel
Sessions |
|||
|
Session Sun-I-3 |
Session Sun-II-3 |
Session Sun-III-3 |
||
|
Keywords Extraction based on Sentence-Ranking from Chinese Patents Zhihong Wang, Yi Guo and Tianmei Qi Deep Learning based Information Extraction Framework on Chinese Electronic Health Records Bing Tian, Yong Zhang, Kaixin Liu and Chunxiao Xing Hot Topic Mining based on the Heat of Micro-blog Wang Siyao SocialGQ: Towards Semantically Approximated and User-aware Querying of Social-Graph Data Riccardo Martoglia |
A Model-based Approach for Build Avoidance Milena Neumann, Kiana Busch and Robert Heinrich Conceptual Software: The Theory Behind Agile-Design-Rules (LATTICE) (S) Iaakov Exman Classutopia: A Serious Game for Conceptual Modeling Design Felipe Larenas, Beatriz Marín and Giovanni Giachetti Automatic Audience Focusing by Event Interestingness (LATTICE) (P) Iaakov Exman, Yakir Winograd and Avihu Harush |
Improvement of User Review Classification Using Keyword Expansion (S) Kazuyuki Higashi, Hiroyuki Nakagawa and Tatsuhiro Tsuchiya A New Scheme for Citation Classification based on Convolutional Neural Networks Khadidja Bakhti, Zhendong Niu and Ally Nyamawe Learning API Suggestion via Single LSTM Network with Deterministic Negative Sampling Jinpei Yan, Yong Qi, Qifan Rao and Hui He Adaptive software search toward users' customized requirements in GitHub Jinze Liu, Zhixing Li, Tao Wang, Yue Yu and Gang Yin |
||
|
15:00
– 15:20 |
Coffee
Break (Ballroom Foyer) |
|||
|
15:20
– 16:35 |
Parallel
Sessions (Session Sun-I-4 and Session Sun-II-4) |
|||
|
15:20
– 16:55 |
Parallel
Sessions (Session Sun-III-4) |
|||
|
Session Sun-I-4 |
Session Sun-II-4 |
Session Sun-III-4 |
||
|
A Non-Functional Requirements Recommendation System for Scrum-based Projects Felipe Ramos, Antonio Alexandre Moura Costa, Mirko Perkusich, Hyggo Almeida and Angelo Perkusich Analysis of Security-Failure Tolerant Requirements Michael Shin, Don Pathirage and Dongsoo Jang An Approach for System of Systems Requirements Management (S) Renata Martinuzzi De Lima and Lisandra Fontoura |
A Preliminary Investigation of Self-Admitted Refactorings in Open Source Software (S) Zhang Di, Bing Li, Zengyang Li and Peng Liang Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP Huiwen Wang, Huibiao Zhu, Yuan Fei and Lili Xiao Helpful or Not? An investigation on the feasibility of identifier splitting via CNN-BiLSTM-CRF Jiechu Li, Qingfeng Du, Kun Shi, Yu He, Xin Wang and Jincheng Xu |
How to Incorporate a Usability Technique in the Open Source Software Development Process Lucrecia Llerena, Nancy Rodríguez, John W. Castro and Silvia T. Acuña XPA: An Open Soruce IDE for XACML Policies (S) Roshan Shrestha, Shuai Peng, Turner Lehmbecker and Dianxiang Xu Can Cheng, Bing Li, Zengyang Li and Peng Liang Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects (S) Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado and Sylvain Vauttier |
||
|
16:45
– 18:30 |
Parallel Sessions (Session Sun-I-5 and Session Sun-II-5)
|
|||
|
17:00
– 18:30 |
Poster and wine tasting (Session Sun-III-5)
|
|||
|
Session Sun-I-5 |
Session Sun-II-5 |
Session Sun-III-5 |
||
|
An Agent-based Software Framework for Machine Learning Tuning Jefry Sastre, Marx Viana and Carlos Lucena Accompanying Observation Modes and Software Architecture for Autonomous Robot Software Zhe Liu, Xinjun Mao and Shuo Yang An Architecture for the Development of Ambient Intelligence Systems Managed by Embedded Agents Carlos Pantoja, Heder Dorneles Soares, José Viterbo and Amal El Fallah Seghrouchni Understanding Normative BDI Agents Behavior Francisco Cunha, Marx Viana, Tassio Sirqueira, Marcio Rosemberg and Carlos Lucena |
Miguel Ehécatl Morales Trujillo, Boris Escalante Ramírez, Maria Del Pilar Angeles, Hanna Oktaba and Guadalupe Ibarguengoitia González STEM: A Simulation-Based Testbed for Electromagnetic Big Data Management Mengyuan Lyv, Peiquan Jin, Zhou Zhang, Shouhong Wan and Lihua Yue Towards Reference Architecture for a Multi-layer Controlled Self-adaptive Microservice System Peini Liu, Xinjun Mao, Shuai Zhang and Fu Hou A Heterogeneous Architecture for Integrating Multi-Agent Systems in AmI Systems (S) Carlos Pantoja, Vinicius Souza de Jesus, Fabian Manoel and José Viterbo |
Weighted Data Set Reduction for Automatic Bug Triaging (P) Miaomiao Wei, Shikai Guo and Rong Chen Rafael Chanin, Alan Santos, Nicolas Nascimento, Afonso Sales, Leandro Pompermaier and Rafael Prikladnicki A Personalized Metasearch Engine Based on Multi-agent System (P) Meijia Wang, Qingshan Li and Yishuai Lin Interval-valued Data Clustering Based on Range Metrics (P) Sérgio Galdino, Welligton Santos and Ricardo Paranhos A Revisit of Fault-Detecting Probability of Combinatorial Testing for Boolean-Specifications (P) Min Yu, Ziyuan Wang, Feiyan She and Yuanchao Qi Big Data ETL Implementation Approaches: A Systematic Literature Review (P) Joshua Nwokeji, Faisal Aqlan, Apoorva Anugu and Ayodele Olagunju Research on Crowd-based mobile application testing platforms (P) Wenguang Xie and Kenian Wang Mobile App Development Using Software Design Patterns (P) Nicole Barakat and Doan Nguyen BoolMuTest: A Prototype Tool for Fault-Based Boolean-Specification Testing (P) Ziyuan Wang |
||
|
18:30
– 19:30 |
Reception (Room: Dockside) After the reception you are invited to take a short walk to Portside Park (see map), 376-408 Bridge Pkwy, Redwood City, which is 23 min if you walk clockwise around the lake or 17 min if you walk counterclockwise. You will receive a gourmet dinner box (white coupon required) and a bottle of water or soft drink from an SUV with SEKE sign waiting at the park between 19:40 and 20:10 so that you can enjoy dinner there. Then you can walk back to the hotel at 234 Twin Dolpine Drive, Redwood City. In case of rain or you don't want to walk please pick up dinner box from the SUV parked near the entrance to the hotel between 20:20 and 20:40. |
|||
Monday, July 2
|
07:30 –
08:20 |
Registration (Ballroom Foyer) |
|||
|
08:20
– 09:20 |
Panel Discussion on Future Research Directions of Software Engineering and Knowledge Engineering
|
|||
|
09:20
– 09:30 |
Coffee
Break (Ballroom Foyer) |
|||
|
09:30
– 10:45 |
Parallel
Sessions |
|||
|
Session Mon-I-1 |
Session Mon-II-1 |
Session Mon-III-1 |
||
|
BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S) Catherine Shanly, Michael Ieti, Ian Warren and Jing Sun A Real-Time Ride-Sharing Matching Framework Using Simulated Annealing Genetic Algorithm Jie Xu, Yong Zhang, Chunxiao Xing and Guigang Zhang A Mutilple-Level Assessment System for Smart City Street Cleanliness Wenrui Li, Bharat Bhushan and Jerry Gao |
Method and System for Detecting Anomalous User Behaviors: An Ensemble Approach Xi Xiangyu, Tong Zhang, Dongdong Du, Guoliang Zhao, Qing Gao, Wen Zhao and Shikun Zhang Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things Yuteng Lu and Meng Sun SeqBAC: A Sequence-Based Access Control Model (S) Diogo Regateiro, Óscar Mortágua Pereira and Rui Aguiar |
A Self-Adaptation Framework of Microservice Systems (S) Shuai Zhang, Xinjun Mao, Peini Liu and Fu Hou A Framework to Support the Development of Self-adaptive Service-oriented Mobile Applications William Passini and Frank Affonso |
||
|
10:45 – Noon |
Parallel Sessions |
|||
|
Session Mon-I-2 |
Session Mon-II-2 |
Session Mon-III-2 |
||
|
Modeling of Interlocking Systems based on Patterns Yan Wang, Wen Zhong, Xiao Hong Chen and De Hui Du ComD2: Family of Techniques for Inspecting Defects in Models that Affect Team Communication Adriana Lopes, Ursula Campos, Tayana Conte and Clarisse de Souza Effects of Model Composition Techniques on Effort and Affective States: A Controlled Experiment (S) Mateus Manica, Kleinner Farias, Lucian Gonçales, Vincius Bischoff, Bruno Carreiro Da Silva and Everton Guimarães |
Testing Android Applications Using Multi-Objective Evolutionary Algorithms with a Stopping Criteria Anshuman Rohella and Shingo Takada An Empirical Study on the Impact of Android Code Smells on Resource Usage Johnatan Oliveira, Markos Viggiato, Mateus Santos, Eduardo Figueiredo and Humberto Marques-Neto Mining Intentions to Improve Bug Report Summarization Beibei Huai, Wenbo Li, Qiansheng Wu and Meiling Wang |
Evaluating the Effort of Integrating Feature Models: A Controlled Experiment (S) Vinicius Bischoff, Kleinner Farias and Lucian Gonçales Modeling of software process families with automated generation of variants (S) Andrea Delgado, Daniel Calegari and Félix García Tailored Quality Modeling and Analysis of Software-intensive Systems (S) Robert Heinrich |
||
|
Noon
– 13:00 |
Lunch
Break |
|||
|
13:00
– 15:00 |
Parallel
Sessions |
|||
|
Session Mon-I-3 |
Session Mon-II-3 |
Session Mon-III-3 |
||
|
Modeling and Verifying Leader Election Algorithm in CSP (S) Yucheng Fang, Huibiao Zhu and Huiwen Wang A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem DCCD: An Efficient and Scalable Distributed Code Clone Detection Technique for Big Code Junaid Akram, Zhendong Shi, Majid Mumtaz and Ping Luo A Hybrid System for Detection of Implied Scenarios in Distributed Software Systems (S) Anja Slama, Fatemeh Hendijani Fard and Behrouz Far |
A structured stochastic model for software project estimation in Waterfall models (S) Ildo Massitela, Joaquim Assunção, Alan Santos and Paulo Fernandes Revisiting the Conclusion Instability Issue in Software Effort Estimation (S) Michael Bosu, Solomon Mensah, Kwabena Bennin and Diab Abuaiadah On the UML use in the Brazilian industry: A state of the practice survey (S) Kleinner Farias, Lucian Gonçales, Vinicius Bischoff, Bruno Carreiro Da Silva, Everton Guimarães and Jacob Nogle Using IFML for user interface modeling: an empirical study (S) Randerson Queiroz, Anna Beatriz Marques and Tayana Conte |
Modeling mobility and communication in a unified way (S) Jianmin Jiang, Xiaofei Yu and Zhong Hong Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S) Xiyue Zhang and Meng Sun Reo2PVS: Formal Specification and Verification of Component Connectors M. Saqib Nawaz and Meng Sun Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S) Dewan Mohammad Moksedul Alam, Xudong He and William Chu |
||
|
15:00
– 15:20 |
Coffee
Break (Ballroom Foyer) |
|||
|
15:20
– 16:35 |
Parallel
Sessions (Session Mon-I-4 and Session Mon-II-4) |
|||
|
15:20
– 16:55 |
Parallel
Sessions (Session Mon-III-4) |
|||
|
Session Mon-I-4 |
Session Mon-II-4 |
Session Mon-III-4 |
||
|
Visualizing Interactions in AngularJS-based Single Page Web Applications Gefei Zhang and Jianjun Zhao Software Visualization Using Topic Models Sandeep Reddivari and William Hackney |
Chuanqi Wang, Yanhui Li and Baowen Xu Bayesian Logistic Regression for software defect prediction (S) Jinu M Sunil, Lov Kumar and Lalita Bhanu Murthy Neti Revisting the Impact of Regression Models for Predicting the Number of Defects Wu Man, Ye Sizhe, Li Chunhua, Ma Ziyi and Fu Zhongwang |
A Gated Hierarchical LSTMs for Target-based Sentiment Analysis Xiaofang Zhang, Bin Liang, Qian Zhou, Hao Wang and Baowen Xu Does Ad-Context Matter on the Effectiveness of Online Advertising? Caihong Sun, Meina Zhang and Meiyun Zuo Analyzing The Impact Of Feedback In GitHub On The Software Developer's Mood Mateus Santos, Josemar Caetano, Johnatan Oliveira and Humberto T. Marques-Neto Leonardo Marques, Walter Nakamura, Natasha Valentim, Luis Rivero and Tayana Conte |
||
|
16:45
– 18:35 |
Parallel
Sessions (Session Mon-I-5 and Session Mon-II-5) |
|||
|
17:00 – 18:30 |
PC Meeting (Session Mon-III-5) |
|||
|
Session Mon-I-5 |
Session Mon-II-5 |
Session Mon-III-5 |
||
|
A Systematic Approach for Developing Cyber Physical Systems Xudong He, Zhijiang Dong and Yujian Fu Investigating Technical Debt Folklore: A Replicated Survey Nicolli Rios, José Amâncio Santos, Manoel Mendonça and Rodrigo Spinola Knowledge Management Governance in Software Development Process with GI-Tropos Vu Nguyen Huynh Anh, Manuel Kolp and Yves Wautelet A Search-based Software Engineering Approach to Support Multiple Team Formation for Scrum Projects Alexandre Costa, Felipe Ramos, Mirko Perkusich, Arthur Freire, Hyggo Almeida and Angelo Perkusich |
Bug or Not Bug? Labeling Issue Reports via User Reviews for Mobile Apps (S) Haoming Li, Tao Zhang and Ziyuan Wang A Topic Modeling Approach for Code Clone Detection Sandeep Reddivari and Mohammed Salman Khan XMILE - An Expert System for Maintenance Learning from Textual Reports (S) Eduardo Máximo and Vladia Pinheiro |
SEKE2019 will be held in Lisbon, Portugal in late June or early July, 2019. If you are interested in joining the PC next year, you are welcome to attend this PC meeting and give us your input. We need your support. Thank you. | ||
|
18:30 – 20:30 |
Conference Dinner (red coupon required) (Room: Dockside) |
|||
Tuesday, July 3
|
07:30 –
08:20 |
Registration (Ballroom Foyer) |
|||
|
08:20
– 09:20 |
Open Forum: Do we have a new "bag of tricks" for professional software/knowledge Engineers? |
|||
|
09:20
– 09:30 |
Coffee
Break (Ballroom Foyer) |
|||
|
09:30
– 10:45 |
Parallel
Sessions |
|||
|
Session Tue-I-1 |
Session Tue-II-1 |
Session Tue-III-1 |
||
|
Effort Estimation in Agile Software Development: an Updated Review Emanuel Dantas Filho, Mirko Perkusich, Ednaldo Dilorenzo, Danilo Santos, Hyggo Almeida and Angelo Perkusich Tayse Virgulino Ribeiro, Cristina D'Ornelas Filipakis Souza and Heloise Acco Tives Leão Vivyane Caires, Nicolli Rios, Johannes Holvitie, Ville Leppänen, Manoel Mendonça and Rodrigo Spinola |
Timing Analysis for Microkernel-based Real-Time Embedded System Rongfei Xu, Li Zhang, Ning Ge and Jing Jiang Schedulability Analysis of Real-time Tasks with Precedence Constraints Rongfei Xu, Li Zhang, Ning Ge and Xavier Blanc |
Conflict Management in the Collaborative Description of a Domain Language (S) Claudia Litvak, Gustavo Rossi and Leandro Antonelli Belief Function Theory in Constraint Satisfaction Problems: a Unifying Approach Aouatef Rouahi, Ben Salah Kais and Ghedira Khaled |
||
|
10:45 – Noon |
Parallel Sessions |
|||
|
Session Tue-I-2 |
Session Tue-II-2 |
Session Tue-III-2 |
||
|
DevOps Enhancement with Continuous Test Optimization Dusica Marijan and Sagar Sen Reducing the Cost of Android Mutation Testing Lin Deng and Jeff Offutt A Test Case Generation Method Based on State Importance of EFSM for Web Application Junxia Guo, Weiwei Wang, Linjie Sun, Zheng Li and Ruilian Zhao |
Parallel Property Checking with Symbolic Execution Junye Wen and Guowei Yang Software Process Improvement Programs: What happens after official appraisal? Regina Albuquerque, Andreia Malucelli and Sheila Reinehr Improving code summarization by combining deep learning and empirical knowledge (S) Lingbin Zeng, Xunhui Zhang, Tao Wang, Xiao Li, Jie Yu and Huaimin Wang |
Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code (S) Rehman Arshad and Kung-Kiu Lau Chen Yang, Yan Liu, Jia Yu and Yiwei Lin A Lightweight Approach to Detect Memory Leaks in JavaScript (S) Ju Qian, Long Wang and Xiaoyu Zhou |
||
|
Noon
– 13:00 |
Lunch
Break |
|||
|
13:00
– 15:00 |
Parallel
Sessions |
|||
|
Session Tue-I-3 |
Session Tue-II-3 |
Session Tue-III-3 |
||
|
Pseudo-Exhaustive Verification of Rule Based Systems Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei and Vincent Hu Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams (S) Douglas Hiura Longo and Patrícia Vilain Feedback Topics in Modern Code Review: Automatic Identification and Impact on Changes Janani Raghunathan, Lifei Liu and Huzefa Kagdi Expediting Binary Fuzzing with Symbolic Analysis Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia and Shenzhi Li |
Topic Modeling for Noisy Short Texts with Multiple Relations Chiyu Liu, Zheng Liu, Tao Li and Bin Xia Svega: Answering Natural Language Questions over Knowledge Base with Semantic Matching Gaofeng Li, Pingpeng Yuan and Hai Jin Software Process Selection based upon Abstract Machines for Software Process Models Shi-Kuo Chang, JinPeing Zhou, Akhil Yendluri and Kadie Clancy Evolutionary propositionalization of multi-relational data Valentin Kassarnig and Franz Wotawa |
Yufeng Xue, Lan Lin, Xin Sun and Fengguang Song A Document-based Parameter Correlation Metric for Test Design (S) Hiroyuki Nakagawa, Nobukazu Ishii and Tatsuhiro Tsuchiya Andreas Fuchs and Vincent von Hof Prioritizing Unit Testing Effort Using Software Metrics and Machine Learning Classifiers (S) Fadel Toure and Mourad Badri |
||
|
15:00
– 15:20 |
Coffee
Break (Ballroom Foyer) |
|||
|
15:20
– 16:35 |
Parallel
Sessions |
|||
|
Session Tue-I-4 |
Session Tue-II-4 |
Session Tue-III-4 |
||
|
Security Analysis of the Access Control Solution of NDN Using BAN Logic (S) Yuan Fei, Huibiao Zhu and Huiwen Wang Re-checking App Behavior against App Description in the Context of Third-party Libraries Chengpeng Zhang, Haoyu Wang, Ran Wang, Yao Guo and Guoai Xu Li Lin, Jian Ni, Xinya Mao and Jianbiao Zhang |
Model Checking Method for SPA Page Transition Based on Component-based Framework Naito Oshima and Tomoji Kishi A Systematic Mapping Study on Software Comments Analysis Amanda Passos, Mário Farias, Crescencio Lima, Manoel Mendonça and Rodrigo Spinola Noriko Hanakawa and Masaki Obana |
Exploratory Recommender Systems Based on Reinforcement Learning for Finding Research Topic Li Yu and Zhuangzhuang Wang Evaluating Multiple User Interactions for Ranking Personalization Using Ensemble Methods Frederico Durao, Bruno Souza Cabral, Marcelo Manzato and Arthur Fortes Da Costa |
||
|
16:35
– 17:00 |
Awards Announcements |
|||
*(video) indicates availability of a video presentation, which must not be displayed in a frame.
