PPaperPicks
← All conferences
Editions202620252024

ISSRE 2024

A

International Symposium on Software Reliability Engineering

Official site ↗
129
accepted papers
559
authors
October 28-31, 2024
dates
Japan
location

129 / 129 papers

  1. 1
    A Combinatorial Interaction Testing Method for Multi-Label Image Classifier
    Peng Wang
    ,
    Shengyou Hu
    ,
    Huayao Wu
    ,
    Xintao Niu
    ,
    Changhai Nie
    ,
    Lin Chen
  2. 2
    A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems
    Leonardo Paroli
    ,
    Tommaso Botarelli
    ,
    Laura Carnevali
    ,
    Enrico Vicario
  3. 3
    A Comprehensive Study on the Impact of Vulnerable Dependencies on Open-Source Software
    Shree Hari Bittugondanahalli Indra Kumar
    ,
    Lilia Rodrigues Sampaio
    ,
    André Martin
    ,
    Andrey Brito
    ,
    Christof Fetzer
  4. 4
    A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation
    Nianqiu Wang
    ,
    Fumio Machida
  5. 5
    A Digital Assurance Framework
    Mauricio Castillo-Effen
    ,
    Carter E. Veldhuizen
    ,
    Charles D. Lutz
  6. 6
    A Global Operational Readiness Review Process: Improving Cloud Availability
    James J. Cusick
    ,
    Lija Basil
  7. 7
    A Language-guided Acceleration Method for Smoke Testing of Game Quests
    Jie Hu
    ,
    Mingyue Zhang
    ,
    Bo Liu
    ,
    Yuechen Wu
    ,
    Yingfeng Chen
  8. 8
    A Novel Fuzzing Mutation Scheduling Method based on Evolutionary Strategy
    Leyang Xu
    ,
    Xinghao Yang
  9. 9
    A Process Pattern for Cybersecurity Assessment Automation: Experience and Futures
    James J. Cusick
  10. 10
    A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry
    Wenting Dong
    ,
    Huibiao Zhu
    ,
    Sini Chen
    ,
    Ning Ge
  11. 11
    A Study on Prompt Injection Attack Against LLM-Integrated Mobile Robotic Systems
    Wenxiao Zhang
    ,
    Xiangrui Kong
    ,
    Conan Dewitt
    ,
    Thomas Bräunl
    ,
    Jin B. Hong
  12. 12
    A Survey on Physical Event Verification in User-centric Smart Home Systems
    Bing Huang
    ,
    Kwok-Yan Lam
  13. 13
    A Systematic Methodology for Specifying the Operational Design Domain of Automated Vehicles
    Frank Eichenseer
    ,
    Shinjini Sarkar
    ,
    Ali Shakeri
  14. 14
    A Web-based Tool for Predicting Software Development Effort
    Xiao Xiao
    ,
    Tomoya Tanahashi
    ,
    Tadashi Dohi
  15. 15
    AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
    Torin Viger
    ,
    Logan Murphy
    ,
    Simon Diemert
    ,
    Claudio Menghi
    ,
    Jeff Joyce
    ,
    Alessio Di Sandro
    ,
    Marsha Chechik
  16. 16
    An Empirical Investigation on Android App Testing Practices
    Tarek Mahmud
    ,
    Meiru Che
    ,
    Anne H. H. Ngu
    ,
    Guowei Yang
  17. 17
    An Empirical Study on Predicting Software Development Bugs Using Dynamic Bayesian Networks
    Kiyoshi Honda
    ,
    Hironori Washizaki
    ,
    Yoshiaki Fukazawa
    ,
    Masahiro Taga
    ,
    Akira Matsuzaki
    ,
    Kazuyuki Nakagawa
    ,
    Yusuke Sakai
  18. 18
    An Empirical Study on the Distance Metric in Guiding Directed Grey-box Fuzzing
    Tingke Wen
    ,
    Yuwei Li
    ,
    Lu Zhang
    ,
    Huimin Ma
    ,
    Zulie Pan
  19. 19
    An Exploration of Fuzzing for Discovering Use-After-Free Vulnerabilities
    Zeyu Chen
    ,
    Jidong Xiao
    ,
    Angelos Stavrou
    ,
    Haining Wang
  20. 20
    Android's Cat-and-Mouse Game: Understanding Evasion Techniques against Dynamic Analysis
    Shuang Li
    ,
    Rui Li
    ,
    Shishuai Yang
    ,
    Wenrui Diao
  21. 21
    APIBeh: Learning Behavior Inclination of APIs for Malware Classification
    Lei Cui
    ,
    Yiran Zhu
    ,
    Junnan Yin
    ,
    Zhiyu Hao
    ,
    Wei Wang
    ,
    Peng Liu
    ,
    Ziqi Yang
    ,
    Xiaochun Yun
  22. 22
    Applying Concept-Based Models for Enhanced Safety Argumentation
    João Paulo Costa de Araujo
    ,
    Balahari Vignesh Balu
    ,
    Eik Reichmann
    ,
    Jessica Kelly
    ,
    Stefan Kugele
    ,
    Núria Mata
    ,
    Lars Grunske
  23. 23
    Aspis: Lightweight Neural Network Protection Against Soft Errors
    Anna Schmedding
    ,
    Lishan Yang
    ,
    Adwait Jog
    ,
    Evgenia Smirni
  24. 24
    Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot
    Shuang Li
    ,
    Yuntao Cheng
    ,
    Jinfu Chen
    ,
    Jifeng Xuan
    ,
    Sen He
    ,
    Weiyi Shang
  25. 25
    Assuring Data Integrity on Commercial Gamification Software Considering Productivity: an Industrial Case Study
    Masateru Tsunoda
    ,
    Shohei Sinto
    ,
    Takeshi Yamada
    ,
    Hidetsugu Suto
  26. 26
    Auto-PIP: Real-time Identification of Critical Performance Inflection Points in Software Stress Testing
    Shenglin Zhang
    ,
    Xiao Xiong
    ,
    Mengyao Li
    ,
    Yongqian Sun
    ,
    Yongxin Zhao
    ,
    Xia Chen
    ,
    Bowen Deng
    ,
    Dan Pei
  27. 27
    Automated Interpretation of Fleet Incidents to Enable System Level Runtime Assurance
    Rohlinger Tihomir
  28. 28
    Better and safer autonomous driving with predicted object relevance
    Andrea Ceccarelli
    ,
    Leonardo Montecchi
  29. 29
    Beyond the Horizon: Exploring Cross-Market Security Discrepancies in Parallel Android Apps
    Shishuai Yang
    ,
    Guangdong Bai
    ,
    Ruoyan Lin
    ,
    Jialong Guo
    ,
    Wenrui Diao
  30. 30
    Business Compliance Detection of Smart Contracts in Electricity and Carbon Trading Scenarios
    Yin Wu
    ,
    Haijun Wang
    ,
    Yuanhui Zhang
    ,
    Xitao Li
    ,
    Hao Wu
    ,
    Ming Fan
    ,
    Ting Liu
  31. 31
    C Source Code Generation from IR towards Making Bug Samples to Fluctuate for Machine Learning
    Yuto Sugawa
    ,
    Chisato Murakami
    ,
    Mamoru Ohara
  32. 32
    Can We Trust Auto-Mitigation? Improving Cloud Failure Prediction with Uncertain Positive Learning
    Haozhe Li
    ,
    Minghua Ma
    ,
    Yudong Liu
    ,
    Pu Zhao
    ,
    Shuo Li
    ,
    Ze Li
    ,
    Murali Chintalapati
    ,
    Yingnong Dang
    ,
    Chetan Bansal
    ,
    Saravan Rajmohan
    ,
    Qingwei Lin
    ,
    Dongmei Zhang
  33. 33
    CCBPS: A Hardware-based Data Loss Prevention Approach
    Panshi Jin
    ,
    Lei Xing
    ,
    Yufei Yang
    ,
    Zhaojun Hao
  34. 34
    Code Ownership: The Principles, Differences, and Their Associations with Software Quality
    Patanamon Thongtanunam
    ,
    Chakkrit Tantithamthavorn
  35. 35
    Coding Pitfalls: Demystifying the Potential API Compatibility Risk of Variadic Parameters in Python
    Shuai Zhang
    ,
    Gangqiang He
    ,
    Guanping Xiao
  36. 36
    CovSBOM: Enhancing Software Bill of Materials with Integrated Code Coverage Analysis
    Yunze Zhao
    ,
    Yuchen Zhang
    ,
    Dan Chacko
    ,
    Justin Cappos
  37. 37
    CrashChecker: A Fusion Method for Clustering Duplicate Crash Failures in SAP HANA Delivery
    Yang Xu
    ,
    Yong Li
    ,
    Qiaoluan Xie
    ,
    Xiaoxiao Zhang
    ,
    Chao Liu
    ,
    Thomas Bach
    ,
    Sunghun Kim
    ,
    Sanghun Kang
  38. 38
    Data Augmentation for Vulnerability Detection Based on Code Refactoring and Mixup
    Ying Xing
    ,
    Jiaqi Huang
    ,
    Guilong Wang
    ,
    Yehao You
    ,
    Bin Yang
    ,
    Xiaofeng Li
    ,
    Yixing Luo
  39. 39
    Defect-based Testing for Safety-critical ML Components
    Amit Sahu
    ,
    Carmen Cârlan
  40. 40
    Demystifying and Extracting Fault-indicating Information from Logs for Failure Diagnosis
    Junjie Huang
    ,
    Zhihan Jiang
    ,
    Jinyang Liu
    ,
    Yintong Huo
    ,
    Jiazhen Gu
    ,
    Zhuangbin Chen
    ,
    Cong Feng
    ,
    Hui Dong
    ,
    Zengyin Yang
    ,
    Michael R. Lyu
  41. 41
    Dependability Modeling in an Industrial Environment
    Alberto Avritzer
    ,
    James J. Cusick
    ,
    Andrea Janes
    ,
    Matteo Camilli
    ,
    Barbara Russo
    ,
    Catia Trubiani
    ,
    André van Hoorn
  42. 42
    Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler
    Zichao Xia
    ,
    Yuting Chen
    ,
    Pengbo Nie
    ,
    Zihan Wang
  43. 43
    Detection Latencies of Anomaly Detectors - An Overlooked Perspective?
    Tommaso Puccetti
    ,
    Andrea Ceccarelli
  44. 44
    Developing a Dependable Multi-Agent Rover Swarm Using cFS
    Pavlo Vlastos
    ,
    Irfan Sljivo
    ,
    Corey Carter
    ,
    Aaron Woodard
  45. 45
    Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
    Tomas Bueno Momcilovic
    ,
    Dian Balta
    ,
    Beat Buesser
    ,
    Giulio Zizzo
    ,
    Mark Purcell
  46. 46
    DRLFailureMonitor: A Dynamic Failure Monitoring Approach for Deep Reinforcement Learning System
    Yi Cai
    ,
    Xiaohui Wan
    ,
    Zhihao Liu
    ,
    Zheng Zheng
  47. 47
    Dynamic Testing for Mobile Privacy Compliance
    Jingyi Lei
    ,
    Yi Wu
    ,
    Nan Hu
    ,
    Junjie Tao
    ,
    Yin Wang
    ,
    Haijun Wang
    ,
    Ming Fan
  48. 48
    DynTrackr: A Robust Two-Stage Framework with Attribute Enhancement for KPI Anomaly Detection
    Meixian Zhang
    ,
    Xue Shi
    ,
    Jiaxin Huang
    ,
    Lide Su
    ,
    Yanan Zhang
  49. 49
    Early Bird: Ensuring Reliability of Cloud Systems Through Early Failure Prediction
    Yudong Liu
    ,
    Minghua Ma
    ,
    Pu Zhao
    ,
    Tianci Li
    ,
    Bo Qiao
    ,
    Shuo Li
    ,
    Ze Li
    ,
    Murali Chintalapati
    ,
    Yingnong Dang
    ,
    Chetan Bansal
    ,
    Saravan Rajmohan
    ,
    Qingwei Lin
    ,
    Dongmei Zhang
  50. 50
    EMI Testing of Large Language Model (LLM) Compilers
    Xiangzhong Yu
    ,
    Wai Kin Wong
    ,
    Shuai Wang