APSEC C

64 papers

YearTitle / Authors
202027th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020
2020A Benchmark Study of the Contemporary Toxicity Detectors on Software Engineering Interactions.
Jaydeb Sarker, Asif Kamal Turzo, Amiangshu Bosu
2020A Coloured Petri Nets Based Attack Tolerance Framework.
Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
2020A Context Based Approach for Recommending Move Class Refactoring.
Md. Masudur Rahman, Abdus Satter
2020A Formal Model for Behavior Trees Based on Context - Free Grammar.
Sajid Anwer, Lian Wen, Zhe Wang
2020A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.
Sandip Ghosal, R. K. Shyamasundar
2020A Knowledge Graph-based Sensitive Feature Selection for Android Malware Classification.
Duoyuan Ma, Yude Bai, Zhenchang Xing, Lintan Sun, Xiaohong Li
2020A Mahalanobis Distance-Based Integration of Suspicious Scores For Bug Localization.
Masanao Asato, Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, Minoru Kawahara
2020A Modeling Method for Model-based Analysis and Design of a System-of-Systems.
Young Min Baek, Zelalem Mihret, Yong-Jun Shin, Doo-Hwan Bae
2020A Preliminary Study on Sensitive Information Exposure Through Logging.
Chen Zhi, Jianwei Yin, Junxiao Han, Shuiguang Deng
2020A Program Simplification Method for Generating Test Input Values Using Symbolic Execution.
Ryo Soga, Tetsuya Yonemitsu, Mitsuo Inagaki, Yasushi Fujisaki, Hiroo Sugou, Hideyuki Kanuka
2020A divide & conquer approach to testing concurrent programs with JPF
Canh Minh Do, Kazuhiro Ogata
2020AI Deployment Architecture: Multi-Case Study for Key Factor Identification.
Meenu Mary John, Helena Holmström Olsson, Jan Bosch
2020An Asset-Based Assistance for Secure by Design.
Nan Messe, Nicolas Belloir, Vanea Chiprianov, Jamal El Hachem, Régis Fleurquin, Salah Sadou
2020An Attentive Deep Supervision based Semantic Matching Framework For Tag Recommendation in Software Information Sites.
Xinhao Zheng, Lin Li, Dong Zhou
2020An Empirical Study of Code Deobfuscations on Detecting Obfuscated Android Piggybacked Apps.
Yanxin Zhang, Guanping Xiao, Zheng Zheng, Tianqing Zhu, Ivor W. Tsang, Yulei Sui
2020An Empirical Study on Developing Secure Mobile Health Apps: The Developers' Perspective.
Bakheet Aljedaani, Aakash Ahmad, Mansooreh Zahedi, Muhammad Ali Babar
2020An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness.
Lingjun Zhou, Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun Zhao, Xusheng Liu
2020An Empirical Study on the Influence of Social Interactions for the Acceptance of Answers in Stack Overflow.
Zhang Zhang, Xinjun Mao, Yao Lu, Shangwen Wang, Jinyu Lu
2020An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
2020An education model for project-based learning using ability map in various target products.
Noriko Hanakawa
2020Asynchronous test equivalence for probabilistic processes.
Puneet Bhateja
2020Automated Assessment and Evaluation of Contribution of Collaborative Software Engineering Development Process.
Kun Ma, Kun Liu, Lixin Du
2020Automatically Identifying Requirements-Oriented Reviews Using a Top-Down Feature Extraction Approach.
Rui Song, Tong Li, Zhiming Ding
2020CLIONE: Clone Modification Support for Pull Request Based Development.
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto
2020Clusters of Faulty States for Debugging Behavioural Models.
Irman Faqrizal, Gwen Salaün
2020DependLoc: A Dependency-based Framework For Bug Localization.
Wei Yuan, Binhang Qi, Hailong Sun, Xudong Liu
2020Dockerfile Changes in Practice: A Large-Scale Empirical Study of 4, 110 Projects on GitHub.
Yiwen Wu, Yang Zhang, Tao Wang, Huaimin Wang
2020Don't Trust Me, Test Me: 100% Code Coverage for a 3rd-party Android App.
Aleksandr Pilgun
2020Examining the Relationship of Code and Architectural Smells with Software Vulnerabilities.
Kazi Zakia Sultana, Zadia Codabux, Byron J. Williams
2020Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.
Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin
2020Feature Combination to Alleviate Hubness Problem of Source Code Representation for Bug Localization.
Youngkyoung Kim, Misoo Kim, Eunseok Lee
2020Federated Learning Systems: Architecture Alternatives.
Hongyi Zhang, Jan Bosch, Helena Holmström Olsson
2020Floating Point Accuracy Testing in Deep Neural Network Computations via Hypothesis Testing.
Chaojin Wang, Jian Shen
2020Formal Verification of Memory Isolation for the TrustZone-based TEE.
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi
2020How Weak Reference is Used in Java Projects?
Yoshiki Higo, Shinsuke Matsumoto, TaeYoung Kim, Shinji Kusumoto
2020Identification of Misleading Location Information in Compiler Diagnoses.
Miaoying Wang, Weixing Ji, Dejiang Jing, Hui Liu
2020Improving Machine Learning-Based Code Smell Detection via Hyper-Parameter Optimization.
Lei Shen, Wangshu Liu, Xiang Chen, Qing Gu, Xuejun Liu
2020Lemma Weakening for State Machine Invariant Proofs.
Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
2020Mining Customer Satisfaction on B2B Online Platforms using Service Quality and Web Usage Metrics.
Iris Figalist, Marco Dieffenbacher, Isabella Eigner, Jan Bosch, Helena Holmström Olsson, Christoph Elsner
2020Model Checking of Spatial Logic.
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han
2020Model Driven Inputs to aid Athlete's Decision Making.
Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong
2020Modeling and Verifying Data Access Mechanism of NLSR Trust Model.
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
2020Ori: A Greybox Fuzzer for SOME/IP Protocols in Automotive Ethernet.
Yuekang Li, Hongxu Chen, Cen Zhang, Siyang Xiong, Chaoyi Liu, Yi Wang
2020Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning.
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae
2020Principles for Re-architecting Software for Heterogeneous Platforms.
Hugo Sica de Andrade, Christian Berger, Ivica Crnkovic, Jan Bosch
2020Process Debt: a First Exploration.
Antonio Martini, Terese Besker, Jan Bosch
2020Requirements Risk Estimation Using TOPSIS Method.
Chetna Gupta, Varun Gupta
2020SAT-Based Automata Construction for LTL over Finite Traces.
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
2020Sia-RAE: A Siamese Network based on Recursive AutoEncoder for Effective Clone Detection.
Chenhui Feng, Tao Wang, Yue Yu, Yang Zhang, Yanzhi Zhang, Huaimin Wang
2020SmartFuzz: An Automated Smart Fuzzing Approach for Testing SmartThings Apps.
Lwin Khin Shar, Ta Nguyen Binh Duong, Lingxiao Jiang, David Lo, Wei Minn, Glenn Kiah Yong Yeo, Eugene Kim
2020Software Defect Prediction and Localization with Attention-Based Models and Ensemble Learning.
Tianhang Zhang, Qingfeng Du, Jincheng Xu, Jiechu Li, Xiaojun Li
2020Software Engineering for Autonomous Robot: Challenges, Progresses and Opportunities.
Xinjun Mao, Hao Huang, Shuo Wang
2020Source Code Obfuscation for Smart Contracts.
Meng Zhang, Pengcheng Zhang, Xiapu Luo, Feng Xiao
2020Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
2020Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.
Rui Li, Hao Shi, Wanwei Liu, Wei Dong
2020Technical Lag of Dependencies in Major Package Managers.
Jacob Stringer, Amjed Tahir, Kelly Blincoe, Jens Dietrich
2020Testing Microservices Architecture-Based Applications: A Systematic Mapping Study.
Muhammad Waseem, Peng Liang, Gastón Márquez, Amleto Di Salle
2020Towards Automated Detection of Data Pipeline Faults.
Aiswarya Raj Munappy, Jan Bosch, Helena Holmström Olsson, Tian J. Wang
2020Towards tracking the development process of the server ecosystems using open-source data.
Zhuoyao Wang, Changguo Guo, Jiaqi Gao, Shazhou Yang
2020UML-based Modeling and Analysis of 5G Service Orchestration.
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
2020Understanding Build Errors in Agile Software Development Project-Based Learning.
Erina Makihara, Hiroshi Igaki, Norihiro Yoshida, Kenji Fujiwara, Hajimu Iida
2020Understanding the Non-Repairability Factors of Automated Program Repair Techniques.
Bo Lin, Shangwen Wang, Ming Wen, Zhang Zhang, Hongjun Wu, Yihao Qin, Xiaoguang Mao