Zhejiang University Hangzhou China

  1. Home
  2. search page
  3. affiliation

Zhejiang University Hangzhou China

국가: China
주요 연구 분야: Verification
주요 키워드: #security #software #research
주요 저자:
#Xing Hu #Zhipeng Xue #Zhipeng Gao #Shanping Li #Qinhao Qu

📄 기관 상세정보

출판수25
총 인용수187
평균 인용수7.48
저자 수158
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (25건)

An Empirical Study on Vulnerability Disclosure Management of Open Source Software Systems
저자: Shuhan Liu , Jiayuan Zhou , Xing Hu , Filipe Roseiro Cogo , Xin Xia , Xiaohu Yang
키워드: #vulnerabilities #security #software #threats #vulnerability
파트: Strategies | 연도: 2025
TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement Learning
저자: Xiaoxuan Tang , Xinfang Chen , Dajun Chen , Sheng Zhou , Wei Jiang , Yong Li
키워드: #optimize #training #improvements #greedy #testflow
파트: Verification | 연도: 2025
PostMan: A Productive System for Spatio-temporal Data Management and Analysis
저자: Jiaqi Jin , Ziquan Fang , Lu Chen , Yunjun Gao
키워드: #algorithms #optimization #challenge #increasing #struggle
파트: Databases | 연도: 2025
MCRanker: Generating Diverse Criteria On-the-Fly to Improve Pointwise LLM Rankers
저자: Fang Guo , Wenyu Li , Honglei Zhuang , Yun Luo , Yafu Li , Le Yan , Qi Zhu , Yue Zhang
키워드: #struggle #drawbacks #complicated #shortcomings #recruits
파트: Verification | 연도: 2025
On Benchmarking Code LLMs for Android Malware Analysis
저자: Lorenzo Cavallaro , Yiling He , Hongyu She , Xingzhi Qian , Xinran Zheng , Zhuo Chen , Zhan Qin
키워드: #intelligence #android #malware #malicious #underexplored
파트: Safety | 연도: 2025
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation
저자: Song Li , Kui Ren , Yuan Li , Peisen Yao , Kan Yu , Chengpeng Wang , Yaoyang Ye , Meng Luo , Yepang Liu
키워드: #research #industrial #interviews #industry #academia
파트: Verification | 연도: 2025
DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification
저자: Xing Hu , Zicheng Zhang , Jiakun Liu , Ferdian Thung , Wei Minn , Yan Naing Tun , Lwin Khin Shar , David Lo , Debin Gao
키워드: #apps #android #tamper #tampering #debloating
파트: Cryptography | 연도: 2025
Hassert: Hardware Assertion-Based Verification Framework with FPGA Acceleration
저자: Ziqing Zhang , Weijie Weng , Yaning Li , Lijia Cai , Haoyu Wang , David P Boland , Yungang Bao , Kan Shi
키워드: #software #debugging #simulators #bottleneck #reconfiguring
파트: Verification | 연도: 2025
Scientific Large Language Models: A Survey on Biological & Chemical Domains
저자: Qiang Zhang , Keyan Ding , Tianwen Lv , Xinda Wang , Qingyu Yin , Yiwen Zhang , Jing Yu , Yuhao Wang , Xiaotong Li , Zhuoyi Xiang , Xiang Zhuang , Zeyuan Wang , Ming Qin , Mengyao Zhang , Jinlu Zhang , Jiyu Cui , Renjun Xu , Hongyang Chen , Xiaohui Fan , Huabin Xing , Huajun Chen
키워드: #research #transformative #researchers #science #scientific
파트: Artificial Intelligence | 연도: 2025
Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution
저자: Zhaoxuan Li , Ziming Zhao , Wenhao Li , Rui Zhang , Rui Xue , Siqi Lu , Fan Zhang
키워드: #security #intensive #problems #need #misreports
파트: Analysis | 연도: 2024