QRS Companion

Publications

2023

Yuqi Hang, Chen Liu, Lifa Hu, Xinyi Gao
Requirements-Driven Logic Testing for Deep Neural Networks. QRS Companion (2023)
Yijing Zhou, Mengdan Wu, Qi Yao, Zhiyu Duan, Shunkun Yang
Voltage Prediction and Fault Detection by using Model Fusion Strategy for Lithium-ion Batteries. QRS Companion (2023)
Dongwen Zhang, Tongtong Wang, Yang Zhang
Performance Prediction for Lock-based Programs. QRS Companion (2023)
Xiaodong Gou, Peng Zhou, Haitao Yang, Zhaomingyue Zheng, Ao Zhang
Identifying Influential Nodes in Complex System from Multiscale Complex Network Perspective. QRS Companion (2023)
Haoli Chen, Xiaocheng Chen, Xiaolei Sun, Qirui Zheng, Xiuting Ge
Reducing Label Errors for Actionable Warning Identification. QRS Companion (2023)
Shuji Yamaguchi, Hidehito Gomi, Tetsutaro Uehara
Enhancing Account Recovery with Location-based Dynamic Questions. QRS Companion (2023)
Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He
Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. QRS Companion (2023)
Gaolei Yi, Zizhao Chen, Zhenyu Chen, W. Eric Wong, Nicholas Chau
Exploring the Capability of ChatGPT in Test Generation. QRS Companion (2023)
Pavel Dovgalyuk, Maria Klimushenkova, Natalia Fursova, Ivan Vasiliev, Vladislav Stepanov
Natch: Detecting Attack Surface for Multi-Service Systems with Hybrid Introspection. QRS Companion (2023)
Tomoaki Ohkawa, Hiroshi Yoshiura, Takayasu Yamaguchi
Explainable Multimodal Fake Posts Detection Using Feature Extraction with Attention Mechanisms. QRS Companion (2023)
Mingfu Tuo, Xiaoqiang Zhao, Wenliang Wu, Bo Shen
Safety Verification Technology of CPS Based on Theorem Proving. QRS Companion (2023)
Dongyuan Zhang, Chuanjiang Yu, ShiJun Xu, Xinyi Gao
Enhancement of Robustness for Graph Neural Networks in AI Systems. QRS Companion (2023)
Ziyang Weng, Shuhao Wang, Jingwei Zhang
The Hidden Order Framework: From Evidence-Based Prediction in Scenario Spaces to Prompt Learning in Image Production Processes. QRS Companion (2023)
Yue Zhao, Wenliang Wu, Xingshe Zhou
Effectiveness Evaluation of UAVs Search in Urban Environments. QRS Companion (2023)
Jiahao Li, Chengru Yang, Yichen Wang
Genetic Algorithm Based EFSM Regression Test Sequence Generation. QRS Companion (2023)
Perakorn Nimitkul, Akihiro Takai, Nariyoshi Yamai, Rei Nakagawa, Songpon Teerakanok
The Study on the Blocking Time Reduction of the IDS/SON Cooperative Firewall System. QRS Companion (2023)
Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Abid Rizwan, Jie Zhao
AI Ethics in Healthcare - A Survey. QRS Companion (2023)
Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang
A Smart Contract Development Framework for Maritime Transportation Systems. QRS Companion (2023)
Vo Dai Trinh, Yuri Nishimura, Haibo Yu
Development of a Web System for Detecting Bugs in Probabilistic Programs. QRS Companion (2023)
Zhiyuan Zou, Zhipeng Wang, Longfei Liu, Changxi Feng, Bangchao Wang
Cognitive Graph Empowered Textile and Clothing Intelligent Service Platform. QRS Companion (2023)
Yang Cao, Yunwei Dong
Modeling and Discovering Data Race with Concurrent Code Property Graphs. QRS Companion (2023)
Han-Sheng Lu, Tse-Chuan Hsu
An Enhanced Software Architecture to Improve the MQTT Communications Encrypted Model. QRS Companion (2023)
Xinhai Chen, Wei Liu, Chang Rao, Yu Zhang, Wanling Du
Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata. QRS Companion (2023)
Yulia Kumar, Wenxiao Li, Kuan Huang, Michael Thompson, Brendan Hannon
Natural Language Coding (NLC) for Autonomous Stock Trading: A New Dimension in No-Code/Low-Code (NCLC) AI. QRS Companion (2023)
Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin
OpenMP Program Verification Based on Bounded Model Checking. QRS Companion (2023)
Tong Wan, Lu Lu, Hao Xu, Quanyi Zou
Software Vulnerability Detection via Doc2vec with path representations. QRS Companion (2023)
Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption. QRS Companion (2023)
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion (2023)
Nishan Xie, Rui Li, Yuxi Ma, Qian Dong, Lingzhong Meng
VPIA-FMEA: A Method for Visual Perception Intelligent Algorithm FMEA. QRS Companion (2023)
Jiyun Shen, Yue Wang, Qingheng Wu, Yuan Zhao
Privacy Policy Compliance Inspection of Financial Apps. QRS Companion (2023)
Waris Damkham, Shingo Kunihiro, Songpon Teerakanok, Tetsutaro Uehara
Detecting Vulnerable OAuth 2.0 Implementations in Android Applications. QRS Companion (2023)
Wenjing Zhang, Yong Li, Ming Wen, Ruiqi He
Comparative Study of Ensemble Learning Methods in Just-in-time Software Defect Prediction. QRS Companion (2023)
Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. QRS Companion (2023)
Ravi Varma Kumar Bevara, Ting Xiao, Farahnaz Hosseini, Junhua Ding
Bias Analysis in Language Models using An Association Test and Prompt Engineering. QRS Companion (2023)
Letao Li, Likai Qiu, Shuang Li, Jiaqi Wang, Hualiang Zhu
SmartPerf: Automated Speed Performance Test from Visual Perspective. QRS Companion (2023)
Fehmi Jaafar, Darine Ameyed, Lavin Titare, Md Nematullah
IoT Phishing Detection Using Hybrid NLP and Machine Learning Models Enhanced with Contextual Embedding. QRS Companion (2023)
Ruiqi Luo, Zhenglong Li, Yinhua Xiang, Zhaojing Wang, Luyao Ye
Outfit Compatibility Model with Multi-Modal Semantic Interaction Learning. QRS Companion (2023)
Bin Zhang, Ayumu Mori, Hun-Ok Lim
Research on Object Categorization and Grabbing for a Cleaning Robot. QRS Companion (2023)
Peng Ye, Xinyi Lan, Yufan Chen, Zhipeng Wang, Wei Ye
Research on the Construction of a Multimodal Cognitive Graph of Textile and Clothing. QRS Companion (2023)
Ruiqi Luo, Wenjie Zhang, Xiaoxiao Li, Zhaojing Wang, Luyao Ye
Research on Active Detection Methods for Video Anomaly Events Based on Concept Semantics. QRS Companion (2023)
ChenXin Pang, Ya Pan, Hanli Bai
Metamorphic Testing for the Deepfake Detection Model. QRS Companion (2023)
Yuanyuan Long, Yong Fan, Ya Pan
Metamorphic Testing for Traffic Sign Detection and Recognition. QRS Companion (2023)
Ryuga Kaneko, Taiichi Saito
DNS Rebinding Attacks Against Browsers on Azure Virtual Machines. QRS Companion (2023)
Wanjie Ren, Guojun Wang, Qi Liu, Xia Li, Rui Tuo
Fitting and Peak Searching of Spectrum for Fourier Transform Infrared Spectrometer. QRS Companion (2023)
Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. QRS Companion (2023)
José Donato, Naghmeh Ivaki, Nuno Antunes
Savery: A Framework for the Assessment and Comparison of Mobile Development Tools. QRS Companion (2023)
Yue Wang, Yong Li, Yuanyuan Ren, Junjie Yu
Enhancing Cross-Project Just-In-Time Defect Prediction with Active Deep Learning. QRS Companion (2023)
Zeyu Wang, Fuping Zeng
Fault Localization of Software: A Literature Review. QRS Companion (2023)
Wenlong Zheng, Baojian Hua, Zhuochen Jiang
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. QRS Companion (2023)
Bingchen Dong, Zhenglin Liang
Modeling Stochastic Deterioration by Chloride Ion Erosion Through Sparse Identification of Nonlinear Dynamics. QRS Companion (2023)