APSEC C

66 papers

YearTitle / Authors
201926th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019
2019A Cloud-Based Solution for Testing Applications' Compatibility and Portability on Fragmented Android Platform.
Ammar Lanui, Thiam Kian Chiew
2019A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.
Sapna Jaidka, Steve Reeves, Judy Bowen
2019A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.
Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng
2019A Framework for Internet of Things Search Engines Engineering.
Nguyen Khoi Tran, Muhammad Ali Babar, Quan Z. Sheng, John C. Grundy
2019A Language-Based Multi-View Approach for Combining Functional and Security Models.
Hui Zhao, Frédéric Mallet, Ludovic Apvrille
2019A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner.
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2019A Prioritization Method for SPL Pairwise Testing Based on User Profiles.
Hirofumi Akimoto, Yuto Isogami, Takashi Kitamura, Natsuko Noda, Tomoji Kishi
2019Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.
Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee
2019Adaptive Random Testing for XSS Vulnerability.
Chengcheng Lv, Long Zhang, Fanping Zeng, Jian Zhang
2019An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems.
Xiaotong Chi, Min Zhang, Xiao Xu
2019Anatomizing Android Malwares.
Anand Tirkey, Ramesh Kumar Mohapatra, Lov Kumar
2019Automatic Classifying Self-Admitted Technical Debt Using N-Gram IDF.
Supatsara Wattanakriengkrai, Napat Srisermphoak, Sahawat Sintoplertchaikul, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta, Hideaki Hata, Kenichi Matsumoto
2019Automatic Identification of Assumptions from the Hibernate Developer Mailing List.
Ruiyin Li, Peng Liang, Chen Yang, Georgios Digkas, Alexander Chatzigeorgiou, Zhuang Xiong
2019Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems.
Daneth Horn, Nazakat Ali, Jang-Eui Hong
2019BLINKER: A Blockchain-Enabled Framework for Software Provenance.
R. P. Jagadeesh Chandra Bose, Kanchanjot Kaur Phokela, Vikrant Kaulgud, Sanjay Podder
2019CLASC: A Changelog Based Automatic Code Source Classification Method for Operating System Packages.
Yi Ren, Jianbo Guan, Jun Ma, Yusong Tan, Qingbo Wu, Yan Ding
2019Class Imbalance Data-Generation for Software Defect Prediction.
Zheng Li, Xingyao Zhang, Junxia Guo, Ying Shang
2019Class Name Recommendation Based on Graph Embedding of Program Elements.
Shintaro Kurimoto, Yasuhiro Hayase, Hiroshi Yonai, Hiroyoshi Ito, Hiroyuki Kitagawa
2019Dam: A Practical Scheme to Mitigate Data-Oriented Attacks with Tagged Memory Based on Hardware.
Mengyu Ma, Liwei Chen, Gang Shi
2019Decisions and Their Making in OSS Development: An Exploratory Study Using the Hibernate Developer Mailing List.
Xueying Li, Peng Liang, Tianqing Liu
2019Deep Semantic Feature Learning with Embedded Static Metrics for Software Defect Prediction.
Guisheng Fan, Xuyang Diao, Huiqun Yu, Kang Yang, Liqiong Chen
2019DeepTLE: Learning Code-Level Features to Predict Code Performance before It Runs.
Meiling Zhou, Jie Chen, Haiyang Hu, Jiacheng Yu, Zhongjin Li, Hua Hu
2019Detecting Duplicate Questions in Stack Overflow via Deep Learning Approaches.
Liting Wang, Li Zhang, Jing Jiang
2019Enhancing Unsupervised Requirements Traceability with Sequential Semantics.
Lei Chen, Dandan Wang, Junjie Wang, Qing Wang
2019Exploring Semantics of Software Artifacts to Improve Requirements Traceability Recovery: A Hybrid Approach.
Shiheng Wang, Tong Li, Zhen Yang
2019Formal Modelling and Verification of Spinlocks at Instruction Level.
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
2019Formalizing Architectural Rules with Ontologies - An Industrial Evaluation.
Sandra Schröder, Georg Buchgeher
2019Generating Mock Skeletons for Lightweight Web-Service Testing.
Thilini Bhagya, Jens Dietrich, Hans W. Guesgen
2019History Coupling Space: A New Model to Represent Evolutionary Relations.
Ran Mo, Mengya Zhan
2019How Compact Will My System Be? A Fully-Automated Way to Calculate LoC Reduced by Clone Refactoring.
Tasuku Nakagawa, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto
2019Inferring Faults in Business Specifications Extracted from Source Code.
Kazuya Yasuda, Shinji Itoh, Ryota Mibe, Yoshinori Jodai, Fumie Nakaya
2019Influence, Information and Team Outcomes in Large Scale Software Development.
Subhajit Datta
2019Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
2019Investigating Cross-Repository Socially Connected Teams on GitHub.
Duo Wang, Jian Cao, Shiyou Qian, Qing Qi
2019Jact: A Playground Tool for Comparison of JavaScript Frameworks.
Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto
2019MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm.
Muhammad Abbas, Irum Inayat, Naila Jan, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark
2019Mercem: Method Name Recommendation Based on Call Graph Embedding.
Hiroshi Yonai, Yasuhiro Hayase, Hiroyuki Kitagawa
2019Model-Driven Engineering for Delta-Oriented Software Product Lines.
Maya R. A. Setyautami, Rafiano R. Rubiantoro, Ade Azurat
2019More Secure Collaborative APIs Resistant to Flush+Reload and Flush+Flush Attacks on ARMv8-A.
Jingquan Ge, Neng Gao, Chenyang Tu, Ji Xiang, Zeyi Liu
2019Multi-Objective Configuration Sampling for Performance Ranking in Configurable Systems.
Yongfeng Gu, Yuntianyi Chen, Xiangyang Jia, Jifeng Xuan
2019Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.
Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
2019Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.
YueXing Wang, Min Zhou, Ming Gu, Jiaguang Sun
2019Neural Comment Generation for Source Code with Auxiliary Code Classification Task.
Minghao Chen, Xiaojun Wan
2019Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba.
Chen Zhi, Shuiguang Deng, Jianwei Yin, Min Fu, Hai Zhu, Yuanping Li, Tao Xie
2019RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.
Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang
2019Reinforcement Learning of Code Search Sessions.
Wei Li, Shuhan Yan, Beijun Shen, Yuting Chen
2019Run-Time Safety Monitoring Framework for AI-Based Systems: Automated Driving Cases.
Mohd Hafeez Osman, Stefan Kugele, Sina Shafaei
2019SGXPy: Protecting Integrity of Python Applications with Intel SGX.
Denghui Zhang, Guisai Wang, Wei Xu, Kevin Gao
2019SHML: Stochastic Hybrid Modeling Language for CPS Behavior.
Dehui Du, Tong Guo, Yao Wang
2019SIF: A Framework for Solidity Contract Instrumentation and Analysis.
Chao Peng, Sefa Akca, Ajitha Rajan
2019Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing.
Konrad Fögen, Horst Lichter
2019SoReady: An Extension of the Test and Defect Coverage-Based Analytics Model for Pull-Based Software Development.
Sharifah Mashita Syed-Mohamad, Nur Shazwani Md. Akhir
2019SolAnalyser: A Framework for Analysing and Testing Smart Contracts.
Sefa Akca, Ajitha Rajan, Chao Peng
2019Statistical Verification Framework for Platooning System of Systems with Uncertainty.
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae
2019Teaching Software Process Models to Software Engineering Students: An Exploratory Study.
Saurabh Tiwari, Santosh Singh Rathore
2019Towards Non-Invasive Recognition of Developers' Flow States with Computer Interaction Traces.
Zhiwen Zheng, Liang Wang, Yue Cao, Yuqian Zhuang, XianPing Tao
2019Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu
2019Towards the Mechanized Semantics and Refinement of UML Class Diagrams.
Feng Sheng, Huibiao Zhu, Zongyuan Yang
2019Understanding Source Code Variability in Cloned Android Families: An Empirical Study on 75 Families.
Anas Shatnawi, Tewfik Ziadi, Mohamed Yassin Mohamadi
2019Understanding the Effect of Developer Sentiment on Fix-Inducing Changes: An Exploratory Study on GitHub Pull Requests.
Syed Fatiul Huq, Ali Zafar Sadiq, Kazi Sakib
2019Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems.
Jamal El Hachem, Ali Sedaghatbaf, Elena Lisova, Aida Causevic
2019VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.
Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
2019Verification of CTL_BDI Properties by Symbolic Model Checking.
Ran Chen, Wenhui Zhang
2019Version-Based Microservice Analysis, Monitoring, and Visualization.
Shang-Pin Ma, I-Hsiu Liu, Chun-Yu Chen, Jiun-Ting Lin, Nien-Lin Hsueh
2019Witness: Detecting Vulnerabilities in Android Apps Extensively and Verifiably.
Hongliang Liang, Tianqi Yang, Lin Jiang, Yixiu Chen, Zhuosi Xie