Details

Autor(en) / Beteiligte

• IEEE Computer Society,

Titel

2023 30th Asia-Pacific Software Engineering Conference (APSEC)

Ort / Verlag

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

Erscheinungsjahr

2023

Link zum Volltext

• IEEE Electronic Library (IEL)

Beschreibungen/Notizen

• 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.
• Description based on publisher supplied metadata and other sources.