Table of Contents

• A New Satellite Constellation Networking Certification and Reliable Maintenance Protocol (S)Congyu Huang, Liehuang Zhu, Chunlei Li, Chuan Zhang, Yuxin Chen, Zijian Zhang. 1-6 [doi]
• A Novel Hybrid Collaborative Filtering Approach to Recommendation Using Reviews: The Product Attribute Perspective (S)Min Cao, Sijing Zhou, Honghao Gao, Youhuizi Li. 7-10 [doi]
• Exploiting SDAE Model for RecommendationsQing Yang, Xianhe Yao, Jingwei Zhang, Zhongqin Bi. 11-16 [doi]
• Towards business identification modeling: A Taobao Case Study (S)Rong Zhang, Yuyu Yin, Meng Xi, Hao Jiang. 17-22 [doi]
• Ontology-based Software Architectural Pattern Recognition and Reasoning (S)Nacha Chondamrongkul, Jing Sun 0002, Ian Warren. 23-28 [doi]
• Object-oriented Software Modeling with Ontologies Around - A Survey of Existing ApproachesSohaila Baset, Kilian Stoffel. 29-33 [doi]
• Methods for Estimating Agile Software Projects: A Systematic ReviewEdna Dias Canedo, Dandara Pereira Aranha, Maxwell de Oliveira Cardoso, Ruyther Parente da Costa, Leticia Lopes Leite. 34-39 [doi]
• Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects - A systematic literature reviewArthur Silva Freire, André Meireles, Gleyser Guimarães, Mirko Perkusich, Raissa Matias da Silva, Kyller Costa Gorgônio, Angelo Perkusich, Hyggo O. Almeida. 40-45 [doi]
• Towards Cost Effective Privacy Provision for Typed Resources in IoT Environment (S)Yucong Duan, Zhengyang Song, Xiaoxian Yang, Quan Zou 0001, Xiaobing Sun, Xinyue Zhang. 46-49 [doi]
• Finding Shilling Attack in Recommender System based on Dynamic Feature SelectionGaofeng Cao, Huan Zhang, Yuyou Fan, Li Kuang. 50-55 [doi]
• Service Language Model: New Ecology for Service DevelopmentYing Li 0001, Meng Xi, Hui Chen, Jianwei Yin. 56-59 [doi]
• A Knowledge Engineering Approach to UML Modeling (S)Bingyang Wei, Jing Sun, Yi Wang. 60-63 [doi]
• An Ontology-based Modelling of Vietnamese Traditional Dances (S)Truong-Thanh Ma, Salem Benferhat, Zied Bouraoui, Karim Tabia, Thanh-Nghi Do, Huu-Hoa Nguyen. 64-67 [doi]
• Influence Factors in Software Productivity - A Tertiary Literature ReviewEdson Cesar Cunha de Oliveira, Tayana Conte, Marco Cristo, Natasha M. Costa Valentim. 68-73 [doi]
• Explanation Templates for Case-based Reasoning in Collaborative Risk ManagementNielsen Luiz Rechia Machado, Lisandra Manzoni Fontoura, Rafael Heitor Bordini, Luís Alvaro de Lima Silva. 74-79 [doi]
• Keywords Extraction based on Sentence-Ranking from Chinese PatentsZhihong Wang, Yi Guo, Tianmei Qi. 80-85 [doi]
• Deep Learning based Information Extraction Framework on Chinese Electronic Health RecordsBing Tian, Yong Zhang, Kaixin Liu, Chunxiao Xing. 86-91 [doi]
• SocialGQ: Towards Semantically Approximated and User-aware Querying of Social-Graph DataRiccardo Martoglia. 98-97 [doi]
• A Model-based Approach for Build AvoidanceMilena Neumann, Kiana Busch, Robert Heinrich. 104-103 [doi]
• Conceptual Software: The Theory Behind Agile-Design-Rules (S)Iaakov Exman. 110-109 [doi]
• Classutopia: A Serious Game for Conceptual Modeling DesignFelipe Larenas, Beatriz Marín, Giovanni Giachetti. 116-115 [doi]
• Automatic Audience Focusing by Event Interestingness (LATTICE) (P)Iaakov Exman, Yakir Winograd, Avihu Harush. 122-121 [doi]
• Improvement of User Review Classification Using Keyword Expansion (S)Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. 125-124 [doi]
• A New Scheme for Citation Classification based on Convolutional Neural NetworksKhadidja Bakhti, Zhendong Niu, Ally S. Nyamawe. 131-130 [doi]
• Learning API Suggestion via Single LSTM Network with Deterministic Negative SamplingJinpei Yan, Yong Qi, Qifan Rao, Hui He. 137-136 [doi]
• Adaptive software search toward users' customized requirements in GitHubJinze Liu, Zhixing Li, Tao Wang 0006, Yue Yu, Gang Yin. 143-142 [doi]
• A Non-Functional Requirements Recommendation System for Scrum-based ProjectsFelipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Mirko Perkusich, Hyggo O. Almeida, Angelo Perkusich. 149-148 [doi]
• Analysis of Security-Failure Tolerant RequirementsMichael E. Shin, Don Pathirage, Dongsoo Jang. 155-154 [doi]
• An Approach for System of Systems Requirements Management (S)Renata Martinuzzi de Lima, Lisandra M. Fontoura. 161-160 [doi]
• A Preliminary Investigation of Self-Admitted Refactorings in Open Source Software (S)Zhang Di, Bing Li 0010, Zengyang Li, Peng Liang 0001. 165-164 [doi]
• Formalization and Verification of the OpenFlow Bundle Mechanism Using CSPHuiwen Wang, Huibiao Zhu, Yuan-fei, Lili Xiao. 169-168 [doi]
• Helpful or Not? An investigation on the feasibility of identifier splitting via CNN-BiLSTM-CRFJiechu Li, Qingfeng Du, Kun Shi, Yu He, Xin Wang, Jincheng Xu. 175-174 [doi]
• How to Incorporate a Usability Technique in the Open Source Software Development ProcessLucrecia Llerena, Nancy Rodríguez, John W. Castro, Silvia Teresita Acuña. 182-181 [doi]
• XPA: An Open Soruce IDE for XACML Policies (S)Roshan Shrestha, Shuai Peng, Turner Lehmbecker, Dianxiang Xu. 188-187 [doi]
• Automatic Detection of Public Development Projects in Large Open Source Ecosystems: An Exploratory Study on GitHubCan Cheng, Bing Li 0010, Zengyang Li, Peng Liang 0001. 193-192 [doi]
• Recovering Three-Level Architectures from the Code of Open-Source Java Spring Projects (S)Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. 199-198 [doi]
• An Agent-based Software Framework for Machine Learning TuningJefry Sastre, Marx L. Viana, Carlos Lucena. 203-202 [doi]
• Accompanying Observation Modes and Software Architecture for Autonomous Robot SoftwareZhe Liu, XinJun Mao, Shuo Yang. 209-208 [doi]
• An Architecture for the Development of Ambient Intelligence Systems Managed by Embedded AgentsCarlos Eduardo Pantoja, Heder Dorneles Soares, José Viterbo, Amal El Fallah-Seghrouchni. 215-214 [doi]
• Understanding Normative BDI Agents BehaviorFrancisco J. P. Cunha, Marx L. Viana, Tassio Sirqueira, Marcio Rosemberg, Carlos Lucena. 221-220 [doi]
• Towards a Representation of Enterprise Architecture based on Zachman Framework through OMG Standards (S)Miguel Ehécatl Morales-Trujillo, Boris Escalante-Ramírez, María del Pilar Angeles, Hanna Oktaba, Guadalupe Ibarguengoitia González. 225-224 [doi]
• STEM: A Simulation-Based Testbed for Electromagnetic Big Data ManagementMengyuan Lyu, Peiquan Jin, Zhou Zhang, Shouhong Wan, Lihua Yue. 230-229 [doi]
• Towards Reference Architecture for a Multi-layer Controlled Self-adaptive Microservice SystemPeini Liu, XinJun Mao, Shuai Zhang, Fu Hou. 236-235 [doi]
• A Heterogeneous Architecture for Integrating Multi-Agent Systems in AmI Systems (S)Carlos Eduardo Pantoja, Vinicius Souza de Jesus, Fabian Manoel, José Viterbo. 242-241 [doi]
• BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S)Catherine Shanly, Michael Ieti, Ian Warren, Jing Sun 0002. 246-245 [doi]
• A Real-Time Ride-Sharing Matching Framework Using Simulated Annealing Genetic AlgorithmJie Xu, Yong Zhang 0002, Chunxiao Xing, Guigang Zhang. 250-249 [doi]
• A Mutilple-Level Assessment System for Smart City Street CleanlinessWenrui Li, Bharat Bhushan, Jerry Gao. 256-255 [doi]
• Method and System for Detecting Anomalous User Behaviors: An Ensemble ApproachXiangyu Xi, Tong Zhang, Dongdong Du, Guoliang Zhao, Qing Gao, Wen Zhao, Shikun Zhang. 263-262 [doi]
• Modeling and Verification of IEEE 802.11i Security Protocol for Internet of ThingsYuteng Lu, Meng Sun. 270-269 [doi]
• SeqBAC: A Sequence-Based Access Control Model (S)Diogo Domingues Regateiro, Óscar Mortágua Pereira, Rui L. Aguiar. 276-275 [doi]
• A Self-Adaptation Framework of Microservice Systems (S)Shuai Zhang, XinJun Mao, Peini Liu, Fu Hou. 282-281 [doi]
• A Framework to Support the Development of Self-adaptive Service-oriented Mobile ApplicationsWilliam Passini, Frank Affonso. 286-285 [doi]
• Modeling of Interlocking Systems based on PatternsYan Wang, Wen Zhong, Xiaohong Chen 0001, Dehui Du. 292-291 [doi]
• ComD2: Family of Techniques for Inspecting Defects in Models that Affect Team CommunicationAdriana Lopes, Ursula Campos, Tayana Conte, Clarisse S. de Souza. 298-297 [doi]
• Effects of Model Composition Techniques on Effort and Affective States: A Controlled Experiment (S)Mateus Manica, Kleinner Farias, Lucian Gonçales, Vinícius Bischoff, Bruno Carreiro da Silva, Everton T. Guimarães. 304-303 [doi]
• Testing Android Applications Using Multi-Objective Evolutionary Algorithms with a Stopping CriteriaAnshuman Rohella, Shingo Takada 0001. 308-307 [doi]
• An Empirical Study on the Impact of Android Code Smells on Resource UsageJohnatan Oliveira, Markos Viggiato, Mateus F. Santos, Eduardo Figueiredo, Humberto Marques-Neto. 314-313 [doi]
• Mining Intentions to Improve Bug Report SummarizationBeibei Huai, Wenbo Li, Qiansheng Wu, Meiling Wang. 320-319 [doi]
• Evaluating the Effort of Integrating Feature Models: A Controlled Experiment (S)Vinícius Bischoff, Kleinner Farias, Lucian Gonçales. 326-325 [doi]
• Modeling of software process families with automated generation of variants (S)Andrea Delgado, Daniel Calegari, Félix García. 330-329 [doi]
• Tailored Quality Modeling and Analysis of Software-intensive Systems (S)Robert Heinrich. 336-335 [doi]
• Modeling and Verifying Leader Election Algorithm in CSP (S)Yucheng Fang, Huibiao Zhu, Huiwen Wang. 342-341 [doi]
• A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic NetworksFaten Fakhfakh, Mohamed Tounsi 0001, Mohamed Mosbah, Ahmed Hadj Kacem. 348-347 [doi]
• DCCD: An Efficient and Scalable Distributed Code Clone Detection Technique for Big CodeJunaid Akram, Zhendong Shi, Majid Mumtaz, Ping Luo. 354-353 [doi]
• A Hybrid System for Detection of Implied Scenarios in Distributed Software Systems (S)Anja Slama, Fatemeh Hendijani Fard, Behrouz H. Far. 360-359 [doi]
• A structured stochastic model for software project estimation in Waterfall models (S)Ildo Massitela, Joaquim Assunção, Alan R. Santos, Paulo Fernandes. 364-363 [doi]
• Revisiting the Conclusion Instability Issue in Software Effort Estimation (S)Michael Franklin Bosu, Solomon Mensah, Kwabena Ebo Bennin, Diab Abuaiadah. 368-367 [doi]
• On the UML use in the Brazilian industry: A state of the practice survey (S)Kleinner Farias, Lucian Gonçales, Vinícius Bischoff, Bruno Carreiro da Silva, Everton T. Guimarães, Jacob Nogle. 372-371 [doi]
• Using IFML for user interface modeling: an empirical study (S)Randerson Queiroz, Anna Beatriz Marques, Tayana Conte. 376-375 [doi]
• Modeling mobility and communication in a unified way (S)Jianmin Jiang, Xiaofei Yu, Zhong Hong. 381-380 [doi]
• Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S)Xiyue Zhang, Meng Sun 0002. 385-384 [doi]
• Reo2PVS: Formal Specification and Verification of Component ConnectorsM. Saqib Nawaz, Meng Sun 0002. 391-390 [doi]
• Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S)Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu. 397-396 [doi]
• Visualizing Interactions in AngularJS-based Single Page Web ApplicationsGefei Zhang, Jianjun Zhao. 403-402 [doi]
• Software Visualization Using Topic ModelsSandeep Reddivari, William Hackney. 409-408 [doi]
• How Many Versions does a Bug Live in? An Empirical Study on Text Features for Bug Lifecycle PredictionChuanqi Wang, Yanhui Li, Baowen Xu. 415-414 [doi]
• Bayesian Logistic Regression for software defect prediction (S)Jinu M. Sunil, Lov Kumar, Lalita Bhanu Murthy Neti. 421-420 [doi]
• Revisting the Impact of Regression Models for Predicting the Number of DefectsMan Wu, Sizhe Ye, Chunhua Li, Ziyi Ma, Zhongwang Fu. 427-426 [doi]
• A Gated Hierarchical LSTMs for Target-based Sentiment AnalysisXiaofang Zhang, Bin Liang, Qian Zhou, Hao Wang, Baowen Xu. 433-432 [doi]
• Does Ad-Context Matter on the Effectiveness of Online Advertising?Caihong Sun, Meina Zhang, Meiyun Zuo. 439-438 [doi]
• Analyzing The Impact Of Feedback In GitHub On The Software Developer's MoodMateus F. Santos, Josemar Alves Caetano, Johnatan Oliveira, Humberto T. Marques Neto. 445-444 [doi]
• Do Scale Type Techniques Identify Problems that Affect User eXperience? User Experience Evaluation of a Mobile Application (S)Leonardo Marques, Walter Takashi Nakamura, Natasha M. Costa Valentim, Luis Rivero, Tayana Conte. 451-450 [doi]
• A Systematic Approach for Developing Cyber Physical SystemsXudong He, Zhijiang Dong, Yujian Fu. 456-455 [doi]
• Investigating Technical Debt Folklore: A Replicated SurveyNicolli Rios, José Amancio M. Santos, Manoel G. Mendonça, Rodrigo O. Spínola. 462-461 [doi]
• Knowledge Management Governance in Software Development Process with GI-TroposVu H. A. Nguyen, Manuel Kolp, Yves Wautelet. 468-467 [doi]
• A Search-based Software Engineering Approach to Support Multiple Team Formation for Scrum ProjectsAntonio Alexandre Moura Costa, Felipe Barbosa Araújo Ramos, Mirko Perkusich, Arthur Silva Freire, Hyggo O. Almeida, Angelo Perkusich. 474-473 [doi]
• Bug or Not Bug? Labeling Issue Reports via User Reviews for Mobile Apps (S)Haoming Li, Tao Zhang 0001, Ziyuan Wang. 480-485 [doi]
• A Topic Modeling Approach for Code Clone DetectionSandeep Reddivari, Muhammad Salman Khan. 486-485 [doi]
• XMILE - An Expert System for Maintenance Learning from Textual Reports (S)Eduardo Máximo, Vládia Pinheiro. 492-491 [doi]
• Effort Estimation in Agile Software Development: an Updated ReviewEmanuel D. Filho, Mirko Perkusich, Ednaldo Dilorenzo, Danilo F. S. Santos, Hyggo O. Almeida, Angelo Perkusich. 496-495 [doi]
• SIDD - SCRUM Iteration Driven Development: An Agile Software Development and Management Process Based on SCRUM (S)Tayse Virgulino Ribeiro, Cristina D'Ornelas Filipakis Souza, Heloise Acco Tives Leão. 502-501 [doi]
• Investigating the Effects of Agile Practices and Processes on Technical Debt - The Viewpoint of the Brazilian Software IndustryVivyane Caires, Nicolli Rios, Johannes Holvitie, Ville Leppänen, Manoel G. Mendonça, Rodrigo O. Spínola. 506-505 [doi]
• Timing Analysis for Microkernel-based Real-Time Embedded SystemRongfei Xu, Li Zhang, Ning Ge, Jing Jiang. 512-511 [doi]
• Schedulability Analysis of Real-time Tasks with Precedence ConstraintsRongfei Xu, Li Zhang, Ning Ge, Xavier Blanc 0001. 518-517 [doi]
• Conflict Management in the Collaborative Description of a Domain Language (S)Claudia S. Litvak, Gustavo Rossi, Leandro Antonelli. 524-523 [doi]
• Belief Function Theory in Constraint Satisfaction Problems: a Unifying ApproachAouatef Rouahi, Kais Ben Salah, Khaled Ghédira. 530-529 [doi]
• DevOps Enhancement with Continuous Test OptimizationDusica Marijan, Sagar Sen. 536-535 [doi]
• Reducing the Cost of Android Mutation TestingLin Deng, Jeff Offutt. 542-541 [doi]
• A Test Case Generation Method Based on State Importance of EFSM for Web ApplicationJunxia Guo, Weiwei Wang, Linjie Sun, Zheng Li, Ruilian Zhao. 548-547 [doi]
• Parallel Property Checking with Symbolic ExecutionJunye Wen, Guowei Yang. 554-553 [doi]
• Software Process Improvement Programs: What happens after official appraisal?Regina Albuquerque, Andreia Malucelli, Sheila S. Reinehr. 560-559 [doi]
• Improving code summarization by combining deep learning and empirical knowledge (S)Lingbin Zeng, Xunhui Zhang, Tao Wang 0006, Xiao Li, Jie Yu, Huaimin Wang. 566-565 [doi]
• Reverse Engineering Encapsulated Components from Object-Oriented Legacy CodeRehman Arshad, Kung-Kiu Lau. 572-571 [doi]
• Leveraging the Power of Component-based Development for Front-End Components: Insights from a Study of React Applications (S)Chen Yang, Yan Liu, Jia Yu, Yiwei Lin. 578-577 [doi]
• A Lightweight Approach to Detect Memory Leaks in JavaScript (S)Ju Qian, Long Wang, Xiaoyu Zhou. 582-581 [doi]
• Pseudo-Exhaustive Verification of Rule Based SystemsRick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei, Vincent C. Hu. 586-585 [doi]
• Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams (S)Douglas Hiura Longo, Patricia Vilain. 592-591 [doi]
• Feedback Topics in Modern Code Review: Automatic Identification and Impact on ChangesJanani Raghunathan, Lifei Liu, Huzefa H. Kagdi. 598-597 [doi]
• Expediting Binary Fuzzing with Symbolic AnalysisLuhang Xu, Wei Dong 0006, Liangze Yin, Weixi Jia, Shenzhi Li. 604-603 [doi]
• Topic Modeling for Noisy Short Texts with Multiple RelationsChi-Yu Liu, Zheng Liu, Tao Li 0001, Bin Xia. 610-609 [doi]
• Svega: Answering Natural Language Questions over Knowledge Base with Semantic MatchingGaofeng Li, Pingpeng Yuan, Hai Jin 0001. 616-615 [doi]
• Software Process Selection based upon Abstract Machines for Slow Intelligence SystemsShi-Kuo Chang, Jinpeng Zhou, Akhil Yendluri, Kadie Clancy. 622-621 [doi]
• Evolutionary propositionalization of multi-relational dataValentin Kassarnig, Franz Wotawa. 629-628 [doi]
• On A Simpler and Faster Derivation of Single Use Reliability Mean and Variance for Model-Based Statistical Testing (S)Yufeng Xue, Lan Lin, Xin Sun, Fengguang Song. 635-634 [doi]
• A Document-based Parameter Correlation Metric for Test Design (S)Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya. 641-640 [doi]
• Improving Integration Testing of Web Service by Propagating Symbolic Constraint Test Artifacts Spanning Multiple Software Projects (S)Andreas Fuchs, Vincent von Hof. 647-646 [doi]
• Prioritizing Unit Testing Effort Using Software Metrics and Machine Learning Classifiers (S)Fadel Touré, Mourad Badri. 653-652 [doi]
• Security Analysis of the Access Control Solution of NDN Using BAN Logic (S)Yuan-fei, Huibiao Zhu, Huiwen Wang. 659-658 [doi]
• Re-checking App Behavior against App Description in the Context of Third-party LibrariesChengpeng Zhang, Haoyu Wang, Ran Wang, Yao Guo 0001, Guoai Xu. 665-664 [doi]
• Whether Android Applications Broadcast Your Private information: A Naive Bayesian-based Analysis Approach (S)Li Lin, Jian Ni, Xinya Mao, Jian-biao Zhang. 671-670 [doi]
• Model Checking Method for SPA Page Transition Based on Component-based FrameworkNaito Oshima, Tomoji Kishi. 675-674 [doi]
• A Systematic Mapping Study on Software Comments AnalysisAmanda Passos, Mário Farias, Crescencio Lima, Manoel G. Mendonça, Rodrigo O. Spínola. 681-680 [doi]
• Process metrics for system quality with specifications' shifts from a bid phase to an operation phase (S)Noriko Hanakawa, Masaki Obana. 687-686 [doi]
• Exploratory Recommender Systems Based on Reinforcement Learning for Finding Research TopicLi Yu, Zhuangzhuang Wang. 691-690 [doi]
• Evaluating Multiple User Interactions for Ranking Personalization Using Ensemble MethodsFrederico Araújo Durão, Bruno Souza Cabral, Marcelo G. Manzato, Arthur F. Da Costa. 697-696 [doi]
• Weighted Data Set Reduction for Automatic Bug Triaging (P)Miaomiao Wei, Shikai Guo, Rong Chen 0003. 703-702 [doi]
• Integrating Challenge Based Learning Into a Smart Learning Environment: Findings From a Mobile Application Development Course (P)Rafael Chanin, Alan R. Santos, Nicolas Nascimento, Afonso Sales, Leandro Bento Pompermaier, Rafael Prikladnicki. 704-703 [doi]
• A Personalized Metasearch Engine Based on Multi-agent System (P)Meijia Wang, Qingshan Li, Yishuai Lin. 707-706 [doi]
• Interval-valued Data Clustering Based on Range Metrics (P)Sérgio Galdino, Welligton Santos, Ricardo Paranhos. 710-709 [doi]
• A Revisit of Fault-Detecting Probability of Combinatorial Testing for Boolean-Specifications (P)Min Yu, Ziyuan Wang, Feiyan She, Yuanchao Qi. 711-710 [doi]
• Big Data ETL Implementation Approaches: A Systematic Literature Review (P)Joshua C. Nwokeji, Faisal Aqlan, Apoorva Anugu, Ayodele Olagunju. 714-713 [doi]
• Research on Crowd-based mobile application testing platforms (P)Wenguang Xie, Kenian Wang. 716-715 [doi]
• Mobile App Development Using Software Design Patterns (P)Nicole Barakat, Doan Nguyen. 718-717 [doi]
• BoolMuTest: A Prototype Tool for Fault-Based Boolean-Specification Testing (P)Ziyuan Wang. 720-719 [doi]