×

Poster Presentations

Robustification of Behavioral Designs against Environmental Deviations
Robustification of Behavioral Designs against Environmental Deviations
Eunsuk Kang
AI-based Question Answering Assistance for Analyzing Natural-language Requirements
AI-based Question Answering Assistance for Analyzing Natural-language Requirements
Saad EZZINI
PyEvolve: Automating Frequent Code Changes in Python ML Systems
PyEvolve: Automating Frequent Code Changes in Python ML Systems
Malinda Malwala Arachchige
Incident-aware Duplicate Ticket Aggregation for Cloud Systems
Incident-aware Duplicate Ticket Aggregation for Cloud Systems
Jinyang Liu
A Qualitative Study on the Implementation Design Decisions of Developers
A Qualitative Study on the Implementation Design Decisions of Developers
Jenny Liang
Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction
Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction
Juyeon Yoon
Practical and Efficient Model Extraction of Sentiment Analysis APIs
Practical and Efficient Model Extraction of Sentiment Analysis APIs
Weibin Wu
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li
Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set
Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set
Jiwei Yan
LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly
LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly
Guangba Yu
Template-based Neural Program Repair
Template-based Neural Program Repair
Xiangxin Meng
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis
Austin Mordahl
Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation
Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation
zhiyuan chang
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong
TaintMini: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
TaintMini: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Zhiqiang Lin
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
Zhe Liu
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network
Zhe Liu
STILL AROUND”: Experiences and Survival Strategies of Veteran Women Software Developers
STILL AROUND”: Experiences and Survival Strategies of Veteran Women Software Developers
Alexander Serebrenik
Safe Low-Level Code Without Overhead is Practical
Safe Low-Level Code Without Overhead is Practical
Solal Pirelli
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
Davide Corradini
Testability Refactoring in Pull Requests: Patterns and Trends
Testability Refactoring in Pull Requests: Patterns and Trends
Pavel Reich
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis
Sahar Badihi
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot
Antonio Mastropaolo
Demystifying Exploitable Bugs in Smart Contracts
Demystifying Exploitable Bugs in Smart Contracts
Brian Zhang
Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data
Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data
Cheryl Lee
Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention
Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention
Cheryl Lee
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Sicong Cao
Sibyl: Improving Software Engineering Tools with SMT Selection
Sibyl: Improving Software Engineering Tools with SMT Selection
Will Leeson
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces
SM Hasan Mansur
Better Automatic Program Repair by Using Bug Reports and Tests Together
Better Automatic Program Repair by Using Bug Reports and Tests Together
Manish Motwani, Yuriy Brun
Flexible and Optimal Dependency Management via Max-SMT
Flexible and Optimal Dependency Management via Max-SMT
Donald Pinckney
Testing Database Engines via Query Plan Guidance
Testing Database Engines via Query Plan Guidance
Jinsheng Ba
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
Matteo Paltenghi
Fuzzing Automatic Differentiation in Deep-Learning Libraries
Fuzzing Automatic Differentiation in Deep-Learning Libraries
Chenyuan Yang
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems
Trey Woodlief
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
Sunzhou Huang
Developer-Intent Driven Code Comment Generation
Developer-Intent Driven Code Comment Generation
Fangwen Mu
Automating Code-Related Tasks Through Transformers: The Impact of Pre-training
Automating Code-Related Tasks Through Transformers: The Impact of Pre-training
Rosalia Tufano
When to Say What: Learning to Find Condition-Message
When to Say What: Learning to Find Condition-Message
ISLEM BOUZENIA
CoCoSoDa: Effective Contrastive Learning for Code Search
CoCoSoDa: Effective Contrastive Learning for Code Search
Ensheng Shi
Learning to Boost Disjunctive Static Bug-Finders
Learning to Boost Disjunctive Static Bug-Finders
Yoonseok Ko
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
Masudul Hasan Masud Bhuiyan
Data Quality for Software Vulnerability Datasets
Data Quality for Software Vulnerability Datasets
Roland Croft
An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead
An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead
Boming Xia
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
Madeline Endres
(Partial) Program Dependence Learning
(Partial) Program Dependence Learning
Aashish Yadavally
CC: Causality-Aware Coverage Criterion for Deep Neural Networks
CC: Causality-Aware Coverage Criterion for Deep Neural Networks
Zhenlan Ji
Source Code Recommender Systems: The Practitioners' Perspective
Source Code Recommender Systems: The Practitioners' Perspective
Matteo Ciniselli
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Shahar Maoz
Triggers for Reactive Synthesis Specifications
Triggers for Reactive Synthesis Specifications
Shahar Maoz
Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues
Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues
Xin Tan
ViolationTracker: Building Precise Histories for Static Analysis Violations
ViolationTracker: Building Precise Histories for Static Analysis Violations
Yijian Wu
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering
Bimpe Ayoola
Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods
Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods
Daye Nam
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests
Chunqiu Xia
Automated Program Repair in the Era of Large Pre-trained Language Models
Automated Program Repair in the Era of Large Pre-trained Language Models
Chunqiu Xia
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search
RONGQI PAN
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Neng Zhang, Jianzhong Su
Syntax and Domain Aware Model for Unsupervised Program Translation
Syntax and Domain Aware Model for Unsupervised Program Translation
Fang Liu
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
Jongwook Kim
Log Parsing with Prompt-based Few-shot Learning
Log Parsing with Prompt-based Few-shot Learning
Van-Hoang Le
Measuring and Mitigating Gaps in Structural Testing
Measuring and Mitigating Gaps in Structural Testing
Soneya Hossain
Impact of Code Language Models on Automated Program Repair
Impact of Code Language Models on Automated Program Repair
Nan Jiang
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
Nan Jiang
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
Myungho Lee
Reusing Deep Neural Network Models through Model Re-engineering
Reusing Deep Neural Network Models through Model Re-engineering
Binhang Qi
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
Hao Guan
Context-aware Bug Reproduction for Mobile Apps
Context-aware Bug Reproduction for Mobile Apps
Yuchao Huang
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
Xinyuan MIAO
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
Suyue Guo
BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts
BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts
Peilin Zheng
Semi-Automatic, Inline and Collaborative Web Page Code Curations
Semi-Automatic, Inline and Collaborative Web Page Code Curations
Roy Rutishauser
GameRTS: A Regression Testing Framework for Video Games
GameRTS: A Regression Testing Framework for Video Games
Jiongchi Yu
An Empirical Study of Deep Learning Models for Vulnerability Detection
An Empirical Study of Deep Learning Models for Vulnerability Detection
Benjamin Steenhoek
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
Vincenzo Riccio
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
Asem Ghaleb
Usability-Oriented Design of Liquid Types for Java
Usability-Oriented Design of Liquid Types for Java
Catarina Gamboa
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront
Alina Mailach
Automated Repair of Programs from Large Language Models
Automated Repair of Programs from Large Language Models
Zhiyu Fan
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems
Yicheng Ouyang
Chronos: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports
Chronos: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports
Thanh Le-Cong
Debugging Flaky Tests using Spectrum-based Fault Localization
Debugging Flaky Tests using Spectrum-based Fault Localization
Martin Gruber
Towards a Review on Simulated ADAS/AD Testing
Towards a Review on Simulated ADAS/AD Testing
Yavuz Koroglu
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
Renzo Degiovanni
Cross-coverage testing of functionally equivalent programs
Cross-coverage testing of functionally equivalent programs
Antonia Bertolino
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning
Amal AKLI
Extensible Modeling Framework for Reliable Machine Learning System Analysis
Extensible Modeling Framework for Reliable Machine Learning System Analysis
Jati Husen
Towards Understanding Machine Learning Testing in Practise
Towards Understanding Machine Learning Testing in Practise
Arumoy shome
Algorithm Debt: Challenges and Future Paths
Algorithm Debt: Challenges and Future Paths
Emmanuel Iko-Ojo Simon
Dynamic Runtime Integration of New Models in Digital Twins
Dynamic Runtime Integration of New Models in Digital Twins
Mirgita Frasheri
Adapting Specifications for Reactive Controllers
Adapting Specifications for Reactive Controllers
Titus Buckworth
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Simon Chu
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Marc Carwehl
PlanIoT: A Framework for Adaptive Data Flow Management in IoT-enhanced Spaces
PlanIoT: A Framework for Adaptive Data Flow Management in IoT-enhanced Spaces
Houssam Hajj Hassan
Architecture-based Uncertainty Impact Analysis to ensure Confidentiality
Architecture-based Uncertainty Impact Analysis to ensure Confidentiality
Sebastian Hahner
Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators
Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators
Farid Edrisi
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Gustavo Rezende Silva
Draw a Software Engineer Test - An Investigation into Children's Perceptions of Software Engineering Profession
Draw a Software Engineer Test - An Investigation into Children's Perceptions of Software Engineering Profession
Claudia Maria Cutrupi
Workplace Discrimination in Software Engineering: Where We Stand Today
Workplace Discrimination in Software Engineering: Where We Stand Today
Riley Young
Security Thinking in Online Freelance Software Development
Security Thinking in Online Freelance Software Development
Irum Rauf
Values@Runtime: An Adaptive Framework for Operationalising Values
Values@Runtime: An Adaptive Framework for Operationalising Values
Amel Bennaceur
Software Engineering for Smart Things in Public Spaces: Initial Insights and Challenges
Software Engineering for Smart Things in Public Spaces: Initial Insights and Challenges
Amna Amna
A Novel Approach to Improving the Digital Literacy of Older Adults
A Novel Approach to Improving the Digital Literacy of Older Adults
Mehr Vaswani
Along the Margins: Marginalized Communities Ethical Concerns about Social Platforms
Along the Margins: Marginalized Communities Ethical Concerns about Social Platforms
Lauren Olson
Gender Representation Among Contributors to Open-Source Infrastructure - An Analysis of 20 Package Manager Ecosystems
Gender Representation Among Contributors to Open-Source Infrastructure - An Analysis of 20 Package Manager Ecosystems
Zihe Zhao
A GNN-based Recommender System to Assist the Specification of Metamodels and Models
A GNN-based Recommender System to Assist the Specification of Metamodels and Models
Juri Di Rocco
Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study
Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study
Sallam Abualhaija
Generic Partition Refinement and Weighted Tree Automata
Generic Partition Refinement and Weighted Tree Automata
Thorsten Wissmann
Bug Localization in Game Software Engineering: Evolving Simulations to Locate Bugs in Software Models of Video Games
Bug Localization in Game Software Engineering: Evolving Simulations to Locate Bugs in Software Models of Video Games
Rodrigo Casamayor
Pegasus: A Framework for Sound Continuous Invariant Generation
Pegasus: A Framework for Sound Continuous Invariant Generation
Yong Kiam Tan
Path Complexity of Recursive Functions
Path Complexity of Recursive Functions
Eli Pregerson
Test Scenario Generation for Autonomous Driving Systems with Reinforcement Learning
Test Scenario Generation for Autonomous Driving Systems with Reinforcement Learning
Chengjie Lu
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers
Wenjing Deng
Theory as a Source of Software Requirements
Theory as a Source of Software Requirements
Ruzanna Chitchyan
GLAD: Neural Predicate Synthesis to Repair Omission Faults
GLAD: Neural Predicate Synthesis to Repair Omission Faults
Sungmin Kang
Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems
Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems
Zhensu Sun
SemParser: A Semantic Parser for Log Analysis
SemParser: A Semantic Parser for Log Analysis
Yintong HUO


No presentations found for today.