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

Format:

• Book

Language:

English

Subjects (All):

• Software engineering--Congresses.

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