ICSE

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

ICSE 公式サイト ↗

Software Engineering

2023 · 207 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2023 · ICSE
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Identifying Key Classes for Initial Software Comprehension: Can We Do It Better?
Weifeng Pan, Xin Du, Hua Ming, Dae-Kyoo Kim, Zijiang Yang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Impact of Code Language Models on Automated Program Repair
Nan Jiang, Kevin Liu, Thibaud Lutellier, Lin Tan
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods
Daye Nam, Brad Myers, Bogdan Vasilescu, Vincent Hellendoorn
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Sicong Cao, Xiaobing Sun, Xiaoxue Wu, Lili Bo, Bin Li, Rongxin Wu, Wei Liu, Biao He, Yu Ouyang, Jiajia Li
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Incident-aware Duplicate Ticket Aggregation for Cloud Systems
Jinyang Liu, Shilin He, Zhuangbin Chen, Liqun Li, Yu Kang, Xu Zhang, Pinjia He, Hongyu Zhang, Qingwei Lin, Zhangwei Xu, Saravan Rajmohan, Dongmei Zhang, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues
Xin Tan, Yiran Chen, Haohua Wu, Minghui Zhou, Li Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models
Shuzheng Gao, Hongyu Zhang, Cuiyun Gao, Chaozheng Wang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Keyword Extraction From Specification Documents for Planning Security Mechanisms
Jeffy Jahfar Poozhithara, Hazeline U. Asuncion, Brent Lagesse
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction
Sungmin Kang, Juyeon Yoon, Shin Yoo
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Learning Deep Semantics for Test Completion
Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Learning Graph-based Code Representations for Source-level Functional Similarity Detection
Jiahao Liu, Jun Zeng, Xiang Wang, Zhenkai Liang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
Myungho Lee, Sooyoung Cha, Hakjoo Oh
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Learning to Boost Disjunctive Static Bug-Finders
Yoonseok Ko, Hakjoo Oh
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li, Zihan Wang, Pengbo Nie, Yuting Chen, Beijun Shen, He Jiang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models
Jiri Gesi, Xinyun Shen, Yunfan Geng, Qihong Chen, Iftekhar Ahmed
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lü
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set
Jiwei Yan, Miaomiao Wang, Yepang Liu, Jun Yan, Long Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Log Parsing with Prompt-based Few-shot Learning
Van-Hoang Le, Hongyu Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly
Guangba Yu, Pengfei Chen, Pairui Li, Tianjun Weng, Haibing Zheng, Yuetang Deng, Zibin Zheng
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
MTTM: Metamorphic Testing for Textual Content Moderation Software
Wenxuan Wang, Jen-tse Huang, Weibin Wu, Jianping Zhang, Yizhan Huang, Shuqing Li, Pinjia He, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Measuring Secure Coding Practice and Culture: A Finger Pointing at the Moon is not the Moon
Ita Ryan, Utz Roedig, Klaas-Jan Stol
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Measuring and Mitigating Gaps in Structural Testing
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian Elbaum, Anh Nguyen-Tuong
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Metamorphic Shader Fusion for Testing Graphics Shader Compilers
Dongwei Xiao, Zhibo Liu, Shuai Wang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems
Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Mingze Xu, Yuqun Zhang, Lingming Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
Matteo Paltenghi, Michael Pradel
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Moving on from the Software Engineers' Gambit: An Approach to Support the Defense of Software Effort Estimates
Patricia G.F. Matsubara, Igor Steinmacher, Bruno Gadelha, Tayana Conte
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions
Jiahui Wu, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu, Chengyue Liu, Kairan Sun, Lida Zhao, Yang Liu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On Privacy Weaknesses and Vulnerabilities in Software Systems
Pattaraporn Sangaroonsilp, Hoa Khanh Dam, Aditya Ghose
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On the Applicability of Language Models to Block-Based Programs
Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On the Reproducibility of Software Defect Datasets
Hao-Nan Zhu, Cindy Rubio-González
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot
Antonio Mastropaolo, Luca Pascarella, Emanuela Guglielmi, Matteo Ciniselli, Simone Scalabrino, Rocco Oliveto, Gabriele Bavota
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study
Likang Yin, Xiyu Zhang, Vladimir Filkov
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On the Temporal Relations between Logging and Code
Zishuo Ding, Yiming Tang, Yang Li, Heng Li, Weiyi Shang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks
Viktoria Koscinski, Sara Hashemi, Mehdi Mirakhorli
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization
Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang, Jian Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
Sunzhou Huang, Xiaoyin Wang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
PILAR: Studying and Mitigating the Influence of Configurations on Log Parsing
Hetong Dai, Yiming Tang, Heng Li, Weiyi Shang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps
Zeya Tan, Wei Song
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
PYEVOLVE: Automating Frequent Code Changes in Python ML Systems
Malinda Dilhara, Danny Dig, Ameya Ketkar
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Practical and Efficient Model Extraction of Sentiment Analysis APIs
Weibin Wu, Jianping Zhang, Victor Junqiu Wei, Xixian Chen, Zibin Zheng, Irwin King, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Predicting Bugs by Monitoring Developers During Task Execution
Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
RAT: A Refactoring-Aware Traceability Model for Bug Localization
Feifei Niu, Wesley K. G. Assunção, LiGuo Huang, Christoph Mayr-Dorn, Jidong Ge, Bin Luo, Alexander Egyed
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Reachable Coverage: Estimating Saturation in Fuzzing
Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Read It, Don't Watch It: Captioning Bug Recordings Automatically
Sidong Feng, Mulong Xie, Yinxing Xue, Chunyang Chen
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Models
Toufique Ahmed, Supriyo Ghosh, Chetan Bansal, Thomas Zimmermann, Xuchao Zhang, Saravan Rajmohan
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Regression Fuzzing for Deep Learning Systems
Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
RepresentThemAll: A Universal Learning Representation of Bug Reports
Sen Fang, Tao Zhang, Youshuai Tan, He Jiang, Xin Xia, Xiaobing Sun
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis
Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Rete: Learning Namespace Representation for Program Repair
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning
Noor Nashid, Mifta Sintaha, Ali Mesbah
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Reusing Deep Neural Network Models through Model Re-engineering
Binhang Qi, Hailong Sun, Xiang Gao, Hongyu Zhang, Zhaotian Li, Xudong Liu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Revisiting Learning-based Commit Message Generation
Jinhao Dong, Yiling Lou, Dan Hao, Lin Tan
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
Yuanyuan Yuan, Qi Pang, Shuai Wang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Robustification of Behavioral Designs against Environmental Deviations
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan, Eunsuk Kang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Rules of Engagement: Why and How Companies Participate in OSS
Mariam Guizani, Aileen Abril Castro-Guzman, Anita Sarma, Igor Steinmacher
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Safe Low-Level Code Without Overhead is Practical
Solal Pirelli, George Candea
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics
Dehai Zhao, Zhenchang Xing, Xin Xia, Deheng Ye, Xiwei Xu, Liming Zhu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
SemParser: A Semantic Parser for Log Analytics
Yintong Huo, Yuxin Su, Cheryl Lee, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Semi-Automatic, Inline and Collaborative Web Page Code Curations
Roy Rutishauser, André A. Meyer, Reid Holmes, Thomas Fritz
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Sibyl: Improving Software Engineering Tools with SMT Selection
Will Leeson, Matthew B Dwyer, Antonio Filieri
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation
Jiamou Sun, Zhenchang Xing, Qinghua Lu, Xiwei Xu, Liming Zhu, Thong Hoang, Dehai Zhao
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
SkCoder: A Sketch-based Approach for Automatic Code Generation
Jia Li, Yongmin Li, Ge Li, Zhi Jin, Yiyang Hao, Xing Hu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk
Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, Jeff Huang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Smartmark: Software Watermarking Scheme for Smart Contracts
Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, Hyoungshick Kim
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront
Alina Mailach, Norbert Siegmund
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Source Code Recommender Systems: The Practitioners' Perspective
Matteo Ciniselli, Luca Pascarella, Emad Aghajani, Simone Scalabrino, Rocco Oliveto, Gabriele Bavota
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
Alessio Ferrari, Paola Spoletini
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering
Sean McGuire, Erin Schultz, Bimpe Ayoola, Paul Ralph
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Syntax and Domain Aware Model for Unsupervised Program Translation
Fang Liu, Jia Li, Li Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Taintmini: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Chao Wang, Ronny Ko, Yue Zhang, Yuqing Yang, Zhiqiang Lin
Software Engineering
日本大学: 大阪大学
2023 · ICSE
Tare: Type-Aware Neural Program Repair
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Template-based Neural Program Repair
Xiangxin Meng, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Test Selection for Unified Regression Testing
Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Testability Refactoring in Pull Requests: Patterns and Trends
Pavel Reich, Walid Maalei
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Testing Database Engines via Query Plan Guidance
Jinsheng Ba, Manuel Rigger
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Testing Database Systems via Differential Query Execution
Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
Qihong Chen, Rúben Câmara, José Campos, André Souto, Iftekhar Ahmed
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
The untold story of code refactoring customizations in practice
Daniel Oliveira, Wesley K. G. Assunção, Alessandro Garcia, Ana Carla Bibiano, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Tolerate Control-Flow Changes for Sound Data Race Prediction
Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Towards Understanding Fairness and its Composition in Ensemble Machine Learning
Usman Gohar, Sumon Biswas, Hridesh Rajan
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Triggers for Reactive Synthesis Specifications
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Twins or False Friends? A Study on Energy Consumption and Performance of Configurable Software
Max Weber, Christian Kaltenecker, Florian Sattler, Sven Apel, Norbert Siegmund
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension
Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
UPCY: Safely Updating Outdated Dependencies
Andreas Dann, Ben Hermann, Eric Bodden
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Understanding and Detecting On-The-Fly Configuration Bugs
Teng Wang, Zhouyang Jia, Shanshan Li, Si Zheng, Yue Yu, Erci Xu, Shaoliang Peng, Xiangke Liao
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
Yulun Wu, Zeliang Yu, Ming Wen, Qiang Li, Deqing Zou, Hai Jin
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Usability-Oriented Design of Liquid Types for Java
Catarina Gamboa, Paulo Canelas, Christopher Timperley, Alcides Fonseca
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Dor Ma'ayan, Shahar Maoz
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs
Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou, Hai Jin
Software Engineering
日本大学: 関与なし（対象大学）
2023 · ICSE
Verifying Data Constraint Equivalence in FinTech Systems
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
Software Engineering
日本大学: 関与なし（対象大学）