default search action
SEIP@ICSE 2024: Lisbon, Portugal
- Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2024, Lisbon, Portugal, April 14-20, 2024. ACM 2024
Testing 1
- Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Michal Królikowski, Rubmary Rojas, Dragos Martac, Simon Schellaert, Kate Ustiuzhanina, Inna Harper, Yue Jia, Will Lewis:
Enhancing Testing at Meta with Rich-State Simulated Populations. 1-12 - Marcos Medeiros, Uirá Kulesza, Roberta Coelho, Rodrigo Bonifácio, Christoph Treude, Eiji Adachi Barbosa:
The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective. 13-24
Analytics 1
- Pavel Parízek, Lukás Hermann:
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners. 25-35
Dependability and Formal Methods 1
- Eileen Kapel, Luis Cruz, Diomidis Spinellis, Arie van Deursen:
On the Difficulty of Identifying Incident-Inducing Changes. 36-46 - Adha Hrusto, Per Runeson, Magnus C. Ohlsson:
Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations. 47-57
Testing 2
- Marko Ivankovic, Goran Petrovic, Yana Kulizhskaya, Mateusz Lewko, Luka Kalinovcic, René Just, Gordon Fraser:
Productive Coverage: Improving the Actionability of Code Coverage. 58-68 - Alexander Berndt, Sebastian Baltes, Thomas Bach:
Taming Timeout Flakiness: An Empirical Study of SAP HANA. 69-80
Program Repair 2
- David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro:
User-Centric Deployment of Automated Program Repair at Bloomberg. 81-91
LLM, NN and Other AI Technologies 2
- Nicole Davila, Igor Wiese, Igor Steinmacher, Lucas Lucio da Silva, Andre Kawamoto, Gilson Jose Peres Favaro, Ingrid Nunes:
An Industry Case Study on Adoption of AI-based Programming Assistants. 92-102 - Shannon K. Gallagher, Jasmine Ratchford, Tyler Brooks, Bryan P. Brown, Eric Heim, William R. Nichols, Scott Mcmillan, Swati Rallapalli, Carol J. Smith, Nathan M. VanHoudnos, Nick Winski, Andrew O. Mellinger:
Assessing LLMs for High Stakes Applications. 103-105
Security 2
- Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne:
PrivacyCAT: Privacy-Aware Code Analysis at Scale. 106-117 - Yannick Landeck, Dian Balta, Martin Wimmer, Christian Knierim:
Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms. 118-121
Program Binaries - Evolvability
- Gengyi Sun, Mehran Meidani, Sarra Habchi, Mathieu Nayrolles, Shane McIntosh:
Code Impact Beyond Disciplinary Boundaries: Constructing a Multidisciplinary Dependency Graph and Analyzing Cross-Boundary Impact. 122-133 - Gunnar Kudrjavets, Aditya Kumar, Jeff Thomas, Ayushi Rastogi:
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata. 134-136
Testing: Various Bug Types 1
- Yongxiang Hu, Hailiang Jin, Xuan Wang, Jiazhen Gu, Shiyu Guo, Chaoyi Chen, Xin Wang, Yangfan Zhou:
AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps. 137-146
Testing 3
- Dan Zheng, Koushik Sen:
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. 147-156
Fuzzing 1
- Carolin E. Brandt, Marco Castelluccio, Christian Holler, Jason Kratzer, Andy Zaidman, Alberto Bacchelli:
Mind the Gap: What Working With Developers on Fuzz Tests Taught Us About Coverage Gaps. 157-167
Dependability and Formal Methods 2
- Kostya Serebryany, Chris Kennelly, Mitch Phillips, Matt Denton, Marco Elver, Alexander Potapenko, Matt Morehouse, Vlad Tsyrklevich, Christian Holler, Julian Lettner, David Kilzer, Lander Brandt:
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production. 168-177 - Karan Bhukar, Harshit Kumar, Ruchi Mahindru, Rohan Arora, Seema Nagar, Pooja Aggarwal, Amit M. Paradkar:
Dynamic Alert Suppression Policy for Noise Reduction in AIOps. 178-188 - Ran Zmigrod, Salwa Alamir, Xiaomo Liu:
Translating between SQL Dialects for Cloud Migration. 189-191
LLM, NN and Other AI Technologies 3
- Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque:
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems. 192-203 - Alexander Frömmgen, Jacob Austin, Peter Choy, Nimesh Ghelani, Lera Kharatyan, Gabriela Surita, Elena Khrapko, Pascal Lamblin, Pierre-Antoine Manzagol, Marcus Revaj, Maxim Tabachnyk, Daniel Tarlow, Kevin Villela, Daniel Zheng, Satish Chandra, Petros Maniatis:
Resolving Code Review Comments with Machine Learning. 204-215
Fuzzing 2
- Peng Di, Bingchang Liu, Yiyi Gao:
MicroFuzz: An Efficient Fuzzing Framework for Microservices. 216-227
Security 3
- Yuanhang Zhou, Jingxuan Sun, Fuchen Ma, Yuanliang Chen, Zhen Yan, Yu Jiang:
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. 228-239
Evolution 4
- Tom Groot, Lina Ochoa-Venegas, Bogdan Lazar, Jacob Krüger:
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML. 240-251
LLM, NN and Other AI Technologies 5
- Yewei Song, Saad Ezzini, Xunzhu Tang, Cedric Lothritz, Jacques Klein, Tegawendé F. Bissyandé, Andrey Boytsov, Ulrick Ble, Anne Goujon:
Enhancing Text-to-SQL Translation for Financial System Design. 252-262 - Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See:
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. 263-274
Analytics 4
- Doriane Olewicki, Sarra Habchi, Mathieu Nayrolles, Mojtaba Faramarzi, Sarath Chandar, Bram Adams:
On the Costs and Benefits of Adopting Lifelong Learning for Software Analytics - Empirical Study on Brown Build and Risk Prediction. 275-286 - Zikuan Wang, Bohan Liu, Zeye Zhan, He Zhang, Gongyuan Li:
An Ethnographic Study on the CI of A Large Scale Project. 287-297
Testing: Various Bug Types 2
- Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang:
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning. 298-308
Security 4
- Fabiola Moyón, Florian Angermeir, Daniel Méndez:
Industrial Challenges in Secure Continuous Development. 309-311 - Markus Voggenreiter, Florian Angermeir, Fabiola Moyon, Ulrich Schöpp, Pierre Bonvin:
Automated Security Findings Management: A Case Study in Industrial DevOps. 312-322
LLM, NN and Other AI Technologies 6
- Jijoong Moon, Hyeonseok Lee, Jiho Chu, Donghak Park, Seungbaek Hong, Hyungjun Seo, Donghyeon Jeong, Sungsik Kong, MyungJoo Ham:
A New Frontier of AI: On-Device AI Training and Personalization. 323-333
Human and Social 7
- Pavlína Wurzel Gonçalves, Joao S. V. Goncalves, Alberto Bacchelli:
Constructive Code Review: Managing the Impact of Interpersonal Conflicts in Practice. 334-345 - Shengyu Zhao, Xiaoya Xia, Brian Fitzgerald, Xiaozhou Li, Valentina Lenarduzzi, Davide Taibi, Rong Wang, Wei Wang, Chunqi Tian:
OpenRank Leaderboard: Motivating Open Source Collaborations Through Social Network Evaluation in Alibaba. 346-357 - Jenna L. Butler, Thomas Zimmermann, Christian Bird:
Objectives and Key Results in Software Teams: Challenges, Opportunities and Impact on Development. 358-368
Dependability and Formal Methods 3
- Jinxi Kuang, Jinyang Liu, Junjie Huang, Renyi Zhong, Jiazhen Gu, Lan Yu, Rui Tan, Zengyin Yang, Michael R. Lyu:
Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybrid Approach. 369-380 - Pooja Srinivas, Fiza Husain, Anjaly Parayil, Ayush Choure, Chetan Bansal, Saravan Rajmohan:
Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach. 381-391 - Junjie Huang, Jinyang Liu, Zhuangbin Chen, Zhihan Jiang, Yichen Li, Jiazhen Gu, Cong Feng, Zengyin Yang, Yongqiang Yang, Michael R. Lyu:
FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large-scale Cloud Systems. 392-404 - Gunnar Kudrjavets, Aditya Kumar, Jeff Thomas, Ayushi Rastogi:
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity. 405-407
LLM, NN and Other AI Technologies 7
- Gustavo Pinto, Cleidson R. B. de Souza, João Batista Neto, Alberto de Souza, Tarcísio Gotto, Edward Monteiro:
Lessons from Building StackSpot AI: A Contextualized AI Coding Assistant. 408-417 - Peng Di, Jianguo Li, Hang Yu, Wei Jiang, Wenting Cai, Yang Cao, Chaoyu Chen, Dajun Chen, Hongwei Chen, Liang Chen, Gang Fan, Jie Gong, Zi Gong, Wen Hu, Tingting Guo, Zhichao Lei, Ting Li, Zheng Li, Ming Liang, Cong Liao, Bingchang Liu, Jiachen Liu, Zhiwei Liu, Shaojun Lu, Min Shen, Guangpei Wang, Huan Wang, Zhi Wang, Zhaogui Xu, Jiawei Yang, Qing Ye, Gehao Zhang, Yu Zhang, Zelin Zhao, Xunjin Zheng, Hailian Zhou, Lifu Zhu, Xianying Zhu:
CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model. 418-429
Requirements 2
- Mak Ahmad, J. J. Geewax, Andrew Macvean, David R. Karger, Kwan-Liu Ma:
API Governance at Scale. 430-440
Static Detection Techniques
- Ying Zhang, Peng Li, Yu Ding, Lingxiang Wang, Dan Williams, Na Meng:
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust. 441-451 - Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp:
Inference for Ever-Changing Policy of Taint Analysis. 452-462
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.