Search Results - "Proceedings / International Conference on Software Engineering" :: K.UTB vyhledávací portál

Loading…

A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory

by Zhang, Shiyu, Song, Haoyang, Wang, Qixin, Shen, Henghua, Pei, Yu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption

by Roque, Enrique Barba, Cruz, Luis, Durieux, Thomas
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Feature-Driven End-to-End Test Generation

by Alian, Parsa, Nashid, Noor, Shahbandeh, Mobina, Shabani, Taha, Mesbah, Ali
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models

by Peng, Yiteng, Wu, Daoyuan, Liu, Zhibo, Xiao, Dongwei, Ji, Zhenlan, Rahmel, Juergen, Wang, Shuai
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

An Empirical Study on Package-Level Deprecation in Python Ecosystem

by Zhong, Zhiqing, He, Shilin, Wang, Haoxuan, Yu, Boxi, Yang, Haowen, He, Pinjia
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

A Large-Scale Study of Model Integration in ML-Enabled Software Systems

by Sens, Yorick, Knopp, Henriette, Peldszus, Sven, Berger, Thorsten
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale

by Zhang, Mengya, Shukla, Preksha, Zhang, Wuqi, Zhang, Zhuo, Agrawal, Pranav, Lin, Zhiqiang, Zhang, Xiangyu, Zhang, Xiaokuan
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

by Rong, Yuyang, Yu, Zhanghan, Weng, Zhenkai, Neuendorffer, Stephen, Chen, Hao
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks

by Kim, Brian Hyeongseok, Wang, Jingbo, Wang, Chao
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes

by Zhou, Shiyao, Wang, Jincheng, Ye, He, Zhou, Hao, Goues, Claire Le, Luo, Xiapu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Licoeval: Evaluating LLMs on License Compliance in Code Generation

by Xu, Weiwei, Gao, Kai, He, Hao, Zhou, Minghui
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

A Tale of Two DL Cities: When Library Tests Meet Compiler

by Shen, Qingchao, Tian, Yongqiang, Ma, Haoyang, Chen, Junjie, Huang, Lili, Fu, Ruifeng, Cheung, Shing-Chi, Wang, Zan
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Automated, Unsupervised, and Auto-Parameterized Inference of Data Patterns and Anomaly Detection

by Qin, Qiaolin, Li, Heng, Merlo, Ettore, Lamothe, Maxime
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries

by McCormack, Ian, Sunshine, Joshua, Aldrich, Jonathan
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums

by Zappin, Jake, Stalnaker, Trevor, Chaparro, Oscar, Poshyvanyk, Denys
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models

by Zhang, Kunpeng, Wang, Shuai, Han, Jitao, Zhu, Xiaogang, Li, Xian, Wang, Shaohua, Wen, Sheng
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency

by Zhou, Chijin, Zhang, Quan, Qian, Bingzhou, Jiang, Yu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests

by Deljouyi, Amirhossein, Koohestani, Roham, Izadi, Maliheh, Zaidman, Andy
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study

by You, Hanmo, Wang, Zan, Lin, Bin, Chen, Junjie
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Loading…

PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction

by Wu, Zhiyong, Liang, Jie, Fu, Jingzhou, Wang, Mingzhe, Jiang, Yu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)

Get full text

Conference Proceeding

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database