2023 30th Asia-Pacific Software Engineering Conference (APSEC) / IEEE Computer Society.

Format:

Book

Author/Creator:

IEEE Computer Society, author, issuing body.

Language:

English

Subjects (All):

Software engineering--Congresses.

Software engineering.

Physical Description:

1 online resource

Place of Publication:

[Place of publication not identified] : IEEE Computer Society, 2023.

Contents:

Message from the General Chair and Program Chairs

APSEC 2023 Conference Organizers

APSEC 2023 Program Committee

APSEC 2023 Keynotes

APSEC 2023 Tutorials

Unit Test Based Component Integration Testing

On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-Box Fuzzers

Test Case Level Predictive Mutation Testing Combining PIE and Natural Language Features

Taxonomy of Architecture Maintainability Smells

Analytical Modeling and Empirical Validation of Performability of Service- and Cloud-Based Dynamic Routing Architecture Patterns

Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report

On the Reliability of Coverage Data for Fault Localization

Do App Developers Follow the Android Official Data Security Guidelines? An Empirical Measurement on App Data Security

FSFP: A Fine-Grained Online Service System Performance Fault Prediction Method Based on Cross-attention

Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts

Effective Anomaly Detection for Microservice Systems with Real-Time Feature Selection

Architectural Design Decisions for Data Communication of Cyber-Physical Systems

Towards Requirements Engineering Activities for Machine Learning-Enabled FinTech Applications

On the Impact of Development Frameworks on Mobile Apps

An Empirical Study on the Stability of Explainable Software Defect Prediction

Refactoring Programs Using Large Language Models with Few-Shot Examples

Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble Learning

QoS-Aware Graph Contrastive Learning for Web Service Recommendation

LogFold: Enhancing Log Anomaly Detection Through Sequence Folding and Reconstruction

Natural Language Processing-Based Requirements Modeling: A Case Study on Problem Frames

Sentiment Analysis for Requirements Elicitation from App Reviews: A Systematic Mapping Study

SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario

CP Decomposition and Set Theory based Root Cause Analysis in Online Service Systems

Interpreting CodeBERT for Semantic Code Clone Detection

Context-Adaptation Bugs in Micro-Clones

P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis

Improving Vulnerability Detection with Hybrid Code Graph Representation

MUSE: A Multi-Feature Semantic Fusion Method for ROS Node Search Based on Knowledge Graph

WMWatcher: Preventing Workload-Related Misconfigurations in Production Environment

Reusability Challenges of Scientific Workflows: A Case Study for Galaxy

Histree: A Tree-Based Experiment History Tracking Tool for Jupyter Notebooks

Formal Verification of Interrupt Isolation for the TrustZone-based TEE

A Single-sample Pruning and Clustering Method for Neural Network Verification

AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain

Developer's Cognitive Effort Maintaining Monoliths vs. Microservices - An Eye-Tracking Study

Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar

Understanding Developers' Contribution Motivation in Stack Overflow: A Systematic Review

Exploring Trade-Offs in MLOps Adoption

Family-based Model Checking using Probabilistic Model Checker PRISM

Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System

Parameterized Search Heuristic Prediction for Concolic Execution

Verifying Exception-Handling Code in Concurrent Libraries

Assessing the Effectiveness of Vulnerability Detection via Prompt Tuning: An Empirical Study

Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System

Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin

Cost-Benefit Analysis for Modernizing a Large-Scale Industrial System

Quality Assurance of A GPT-Based Sentiment Analysis System: Adversarial Review Data Generation and Detection

A Novel Statistical Measure for Out-of-Distribution Detection in Data Quality Assurance

A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN

Timing-Aware Variability Resolution in EAST-ADL Product Line Architecture

Migrating Individual Applications into Software Product Lines Using the Mobioos Forge Platform

Refining Use-After-Free Defense: Eliminating Dangling Pointers in Registers and Memory

Maturity Assessment Model for Industrial Data Pipelines

Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation

Quality Assurance for ML Devices A Risk-Based Approach

Scalable Fault Tree Analysis for Functional Safety Software

A Decision Tree of Bioengineering Study and Career Path for Educational Guidance

Unit Testing Challenges with Automated Marking

Bridging the Gap Between Academic Curricula and Industrial Practice with DevOps Education

A Meta-Model for Outcome-Based Education: Streamlining Evaluation Processes

Exploiting Paired Concepts to Facilitate Software Engineering Education

Toward Enhancing Software Developers' Persuasion and Engagement in Gamification

Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3

A Machine Learning Based Approach to Detect Machine Learning Design Patterns

On Mutation Testing of Graph Database Queries in the Cypher Language

A Pilot Study of Testing Infrastructure as Code for Cloud Systems

Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow

TLDBERT: Leveraging Further Pre-Trained Model for Issue Typed Links Detection

A methodology for resilient safety-critical infrastructures using statistical model checking

Performance Diagnosis for Microservice-Based Systems via Intra-/Inter-Trace Analysis

Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine

Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata

Towards Safety Assessment of Robot Behaviors in SMACH

On Code Example-Aided Just-In-Time Learning for Programming Education

TABot: A Teaching Assistant Chatbot for Software Engineering Courses

ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?

An Empirical Study on Regression Techniques for Software Defect Number Prediction

Detecting Bot on GitHub Leveraging Transformer-based Models: A Preliminary Study

Detecting Common Weakness Enumeration Through Training the Core Building Blocks of Similar Languages Based on the CodeBERT Model

Enhancing Logic Error Detection Through Program Pseudocodes

Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain

Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door

Funding sources in top Software Engineering conference publications

Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator

Can ChatGPT Correct Code Based on Logical Steps?

Consistency of Code: A Prompt Based Approach to Comprehend Functionality

Symbolic Execution of MPI Programs with One-Sided Communications

Test Case Generation for Cross-Blockchain Smart Contract

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution

Visualizing Program Behavior with a Ball and Pipes for Computer Science Unplugged.

Notes:

Description based on publisher supplied metadata and other sources.

ISBN:

9798350344172