APSEC

Publications

2023

Meng Wang, Weiliang Fei, Miao Wang, Jin Cui
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. APSEC (2023)
Georgia M. Kapitsaki, Maria Papoutsoglou
Funding sources in top Software Engineering conference publications. APSEC (2023)
Wantana Areeprayolkij, Mengzhen Li
A Decision Tree of Bioengineering Study and Career Path for Educational Guidance. APSEC (2023)
Gonzalo Aguirre Dominguez, Keigo Kawaai, Hiroshi Maruyama
Quality Assurance for ML Devices A Risk-Based Approach. APSEC (2023)
Laurens Studtmann, Selin Aydin, Horst Lichter
Histree: A Tree-Based Experiment History Tracking Tool for Jupyter Notebooks. APSEC (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Yi Yang, Xinjun Mao
Understanding Developers' Contribution Motivation in Stack Overflow: A Systematic Review. APSEC (2023)
Meenu Mary John, Helena Holmström Olsson, Jan Bosch, Daniel Gillblad
Exploring Trade-Offs in MLOps Adoption. APSEC (2023)
Nils Wild, Horst Lichter
Unit Test Based Component Integration Testing. APSEC (2023)
Rulin Xu, Xiaoguang Mao, Luohui Chen
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis. APSEC (2023)
Farnoushsadat Nilizadeh, Hamid Dashtbani, Maryam Mouzarani
Parameterized Search Heuristic Prediction for Concolic Execution. APSEC (2023)
Zheheng Liang, Guoquan Wu, Lei Cui, Zhenyue Long
Performance Diagnosis for Microservice-Based Systems via Intra-/Inter-Trace Analysis. APSEC (2023)
Yishu Li, Jacky Keung, Kwabena Ebo Bennin, Xiaoxue Ma, Yangyang Huang, Jingyu Zhang
Towards Requirements Engineering Activities for Machine Learning-Enabled FinTech Applications. APSEC (2023)
Eun-Young Kang, Thiago Rocha Silva
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata. APSEC (2023)
Nao Souma, Waka Ito, Momoka Obara, Takako Kawaguchi, Yuka Akinobu, Toshiyuki Kurabayashi, Haruto Tanno, Kimio Kuramitsu
Can ChatGPT Correct Code Based on Logical Steps? APSEC (2023)
Tinghui Ouyang, Hoang-Quoc Nguyen-Son, Huy H. Nguyen, Isao Echizen, Yoshiki Seo
Quality Assurance of A GPT-Based Sentiment Analysis System: Adversarial Review Data Generation and Detection. APSEC (2023)
Yoshitake Hirabayashi, Shinji Ohota, Suzuka Fujii, Motoshi Saeki
Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar. APSEC (2023)
Jiawei Lu, Zhijie Tang, Zhongxin Liu
Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble Learning. APSEC (2023)
Amirali Amiri, Evangelos Ntentos, Uwe Zdun
Architectural Design Decisions for Data Communication of Cyber-Physical Systems. APSEC (2023)
M. Aiswarya Raj, Jan Bosch, Helena Holmström Olsson
Maturity Assessment Model for Industrial Data Pipelines. APSEC (2023)
Hyeonachang Jeon, Seoyeon Kang, Seoksu Lee, Eun-Sun Cho
Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator. APSEC (2023)
Khairul Alam, Banani Roy, Alexander Serebrenik
Reusability Challenges of Scientific Workflows: A Case Study for Galaxy. APSEC (2023)
Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. APSEC (2023)
Guilong Lu, Xiaolin Ju, Xiang Chen, Shaoyu Yang, Liang Chen, Hao Shen
Assessing the Effectiveness of Vulnerability Detection via Prompt Tuning: An Empirical Study. APSEC (2023)
Siqi Zhou, Xian Zhan, Linlin Li, Yepang Liu
Effective Anomaly Detection for Microservice Systems with Real-Time Feature Selection. APSEC (2023)
Jeongwhan Choi, Duksan Ryu
QoS-Aware Graph Contrastive Learning for Web Service Recommendation. APSEC (2023)
Jiho Shin, Reem Aleithan, Jaechang Nam, Junjie Wang, Nima Shiri Harzevili, Song Wang
An Empirical Study on the Stability of Explainable Software Defect Prediction. APSEC (2023)
Shihan Wang, Yuxin Re, Rongrong Shi, Chiyuan Jing, Ying Liu, Haonan Tong
An Empirical Study on Regression Techniques for Software Defect Number Prediction. APSEC (2023)
Hoyoung Choi, Hyunjae Park, Young-June Choi, Kyungsik Han
Consistency of Code: A Prompt Based Approach to Comprehend Functionality. APSEC (2023)
Yasin Sazid, Mridha Md. Nafis Fuad, Kazi Sakib
Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3. APSEC (2023)
Sayeedi Mottakin, Maliha Bintay Zaman, Manishankar Mondal, Atanu Shome
Context-Adaptation Bugs in Micro-Clones. APSEC (2023)
Zheng Li, Sridhar Sai Gorrepati, Desmond Greer
On Code Example-Aided Just-In-Time Learning for Programming Education. APSEC (2023)
Hyung Ho Kim
Scalable Fault Tree Analysis for Functional Safety Software. APSEC (2023)
Atsushi Shirafuji, Yusuke Oda, Jun Suzuki, Makoto Morishita, Yutaka Watanobe
Refactoring Programs Using Large Language Models with Few-Shot Examples. APSEC (2023)
Masateru Tsunoda, Hidetsugu Suto, Takeshi Yamada
Toward Enhancing Software Developers' Persuasion and Engagement in Gamification. APSEC (2023)
Huan Xie, Maojin Li, Yan Lei, Jian Hu, Shanshan Li, Xiaoguang Mao, Yue Yu
On the Reliability of Coverage Data for Fault Localization. APSEC (2023)
Xiaonan Shi, Rui Li, Qingfeng Du, Cheng He, Fulong Tian
LogFold: Enhancing Log Anomaly Detection Through Sequence Folding and Reconstruction. APSEC (2023)
Hongyan Wan, Zhiquan An, Bangchao Wang, Teng Xiong
Sentiment Analysis for Requirements Elicitation from App Reviews: A Systematic Mapping Study. APSEC (2023)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC (2023)
Morayo Adedjouma, Fabien Gaudin, Philippe Fiani
Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation. APSEC (2023)
Huaian Zhou, Tao Wang, Yang Zhang, Yang Shen
TLDBERT: Leveraging Further Pre-Trained Model for Issue Typed Links Detection. APSEC (2023)
Rui Xu, Yuliang Shi, Zhiyuan Su, Xinjun Wang, Zhongmin Yan, Fanyu Kong
Test Case Level Predictive Mutation Testing Combining PIE and Natural Language Features. APSEC (2023)
Xun An, Qihang Zhou, Haichao Du, Zhenyu Song, Xiaoqi Jia
Refining Use-After-Free Defense: Eliminating Dangling Pointers in Registers and Memory. APSEC (2023)
Andrea Rosà, Matteo Basso, Leonardo Bohnhoff, Walter Binder
Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine. APSEC (2023)
Muhammad Waseem Anwar, Alessio Bucaioni, Federico Ciccozzi
Timing-Aware Variability Resolution in EAST-ADL Product Line Architecture. APSEC (2023)
Weitao Pan, Hironori Washizaki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Foutse Khomh, Yann-Gaël Guéhéneuc
A Machine Learning Based Approach to Detect Machine Learning Design Patterns. APSEC (2023)
Shuting Kang, Heng Guo, Zitong Bo, Lijun Zhang, Qian Dong, Yunzhi Xue, Yanjun Wu
SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario. APSEC (2023)
Amirali Amiri, Uwe Zdun, André van Hoorn
Analytical Modeling and Empirical Validation of Performability of Service- and Cloud-Based Dynamic Routing Architecture Patterns. APSEC (2023)
Dhriti Khanna, Subodh Sharma, Rahul Purandare
Verifying Exception-Handling Code in Concurrent Libraries. APSEC (2023)
Chakkrit Tantithamthavorn, Norman Chen
Unit Testing Challenges with Automated Marking. APSEC (2023)