yusuke1997/dblp-id-title huggingface dataset:
SceneCommitter: a screen scenario review system using the GitHub and Figma WebAPI in the waterfall based software development
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata
Experiences Adopting Software Product Line Development without a Product Line Architecture
Understanding Metrics Team-Stakeholder Communication in Agile Metrics Service Delivery
28th Asia-Pacific Software Engineering Conference Workshops, APSEC Workshops 2021, Taipei, Taiwan, December 6-9, 2021
Leveraging Generative AI for Accelerating Enterprise Application Development: Insights from ChatGPT
Education Workshop: Bridging the University/Industry Gap
Software Environment Support for Integrated Formal Program Specification and Development
Propagating Requirement Change into Software High Level Designs towards Resilient Software Evolution
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
An Experimentation Platform for the Automatic Parallelization of R Programs
Topic Detection from Microblogs Using T-LDA and Perplexity
Testing Android Apps via Guided Gesture Event Generation
An Empirical Study to Revisit Productivity across Different Programming Languages
Automated Generation of Bug Samples Based on Source Code Analysis
Malicious JavaScript Code Detection Based on Hybrid Analysis
Impact of the Distribution Parameter of Data Sampling Approaches on Software Defect Prediction Models
How Compact Will My System Be? A Fully-Automated Way to Calculate LoC Reduced by Clone Refactoring
A Software Framework for Component-Based Embedded Applications
A Process Model Design and Tool Development for Supplier Agreement Management of CMMI: Capability Level 2
Incremental Relational Topic Model for Duplicate Bug Report Detection
Software documents, their relationships and properties
Predicting Which Pull Requests Will Get Reopened in GitHub
The Cogito methodology and system
A Dynamic Model Selection Approach to Mitigate the Change of Balance Problem in Cross-Version Bug Prediction
A Quality Model and Its Quantitative Evaluation Method for Web APIs
An Approach to Software Process Management Based on Formal Process Modeling and Analysis
Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement
A Reference Architecture for Blockchain-based Traceability Systems Using Domain-Driven Design and Microservices
Formalization and Verification of the PSTM Architecture
Distributed Collaborative Modeling Support System for UML diagrams
Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings
Steiner Tree Based Recommendation System for Combination of APIs and IoT Devices
Accessing software component documentation during design: an observational study
A Formal Model of Concurrency for Distributed Object-Oriented Systems
Specification and Verification of Invariant Properties of Transition Systems
Quantitative Analysis of Best Practices Models in the Software Domain
What Do We Know about Software Security Evaluation? A Preliminary Study
A Formal Framework to Build Software Agents
Efficient Floating-Point Error Detection for Numerical Programs via Error-Free Transformations
Quality Evaluation and Testing Method of Industrial Application Based on ISO/IEC 25000 SQuaRE Standard
Maturity Assessment Model for Industrial Data Pipelines
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks
An Empirical Study of Unused Design Decisions in Open Source Java Software
Criticality Models using SDL Metrics Set
A Repository Framework for Self-Growing Robot Software
Ranking Warnings of Static Analysis Tools Using Representation Learning
An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded Systems
Who is Accountable for Asynchronous Exceptions?
ABC: Accelerated Building of C/C++ Projects
Symbolic Execution of Floating-point Programs: How far are we?
Emergent Properties in Reactive Systems
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity
Automated Functional Scenarios-Based Formal Specification Animation
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML
A Reusable Distributed Software Architecture Driven by Metadata
AWaRE2-MM: A Meta-Model for Goal-Driven, Contract-Mediated, Team-Centric Autonomous Middleware Frameworks for Antifragility
Sia-RAE: A Siamese Network based on Recursive AutoEncoder for Effective Clone Detection
Reusable Formal Specification for Embedded Systems
A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry
A Verification Method of Elicited Software Requirements Using Requirements Ontology
Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs
A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees
Facilitating Scenario-Based Program Comprehension with Topic Models
Behavioural Analysis of Component Framework with Multi-Valued Transition System
A Case Study in Specification and Implementation Testing
A Goal-Driven Framework in Support of Knowledge Management
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods
Software Engineering Methods for Neural Networks
Investigating Vector-Based Detection of Code Clones Using BigCloneBench
Integration of Software Analysis and Design Methods with Formal Description Techniques
An Empirical Study on Real Bugs for Machine Learning Programs
A survey of domain engineering
An Embedded Software Approach for the Development of SIP-Based VoIP Server
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II
Exploring Metadata in Bug Reports for Bug Localization
If Software Reuse Can Lead IT, How?
A Visualization System of the Contribution of Learners in Software Development PBL Using GitHub
A Novel Approach to Automated Test Script Generation using Large Language Models for Domain-Specific Languages
Why Is It So Hard to Define Software Architecture?
Virtual worlds for Web site visualisation
A Maintenance Support System based on High-Level Control-Flow and Data Dependency
Developing Object Oriented Designs from Component and Connector Architectures
Parametric Transformations for Flexible Analysis
Incubating Services in Legacy Systems for Architectural Migration
Identification of Misleading Location Information in Compiler Diagnoses
Improving Vulnerability Detection with Hybrid Code Graph Representation
How Do Python Programs Use Inheritance? A Replication Study
CHIS: A Novel Hybrid Granularity Identifier Splitting Approach
Visualization of Defect Inflow and Resolution Cycles: Before, During and After Transfer
Hierarchical Understandability Assessment Model for Large-Scale OO System
JAOUT: Automated Generation of Aspect-Oriented Unit Test
An Interaction-Pattern-Based Approach to Prevent Performance Degradation of Fault Detection in Service Robot Software
XML Web Services Automation: A Software Engineering Approach
Using Extended Event Traces to Describe Communication in Software Architectures
A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing
Visualization of Formal Specifications
Metrics for Measuring the Quality of Modularization of Scala Systems
Importance Sampling of Runtime Interference
Intelligent Search Agent for Software Components
Systematic Analysis of Defect-Specific Code Abstraction for Neural Program Repair
Inter-Model Consistency in UML Based on CPN Formalism
Schedulability Analysis with CCSL Specifications
A Technique to Check the Implementability of Behavioral Specifications with Frameworks
Does the Role Matter? An Investigation of the Code Quality of Casual Contributors in GitHub
An Empirical Study of Class Sizes for Large Java Systems
CCSharp: An Efficient Three-Phase Code Clone Detector Using Modified PDGs
The concept of path-closed subsets and its use in software functional design
Understanding the Occurrences of Test Smells in Open Source and Industrial Software Systems: An Empirical Study on Python Projects
Using Faults-Slip-Through Metric as a Predictor of Fault-Proneness
A Framework for Application Server Based Web Services Management
Experimental Study of Quantitative Analysis of Maintenance Effort Using Program Slicing-Based Metrics
Software Requirements Definition for Specification Database
Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams
Learning Summaries of Recursive Functions
Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection
Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking
Prioritization of EA Debts Facilitating Portfolio Theory
MRTCNN: A Lightweight Approach for Predicting Metamorphic Relations
First International Interdisciplinary Workshop on Requirements Engineering for Sociotechnical Systems (RESOSY) co-located 28th Asia Pacific Software Engineering Conference (APSEC 2021), Virtual event, Taipei, Taiwan, 12 8-9, 2021
A Difference-Based Version Model for OODBMS
Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small
Discovering Early Aspects through Goals Interactions
Regression Testing for Component-based Software Systems by Enhancing Change Information
Samekana: A Browser Extension for Including Relevant Web Links in Issue Tracking System Discussion Forum
Case study: Reconnaissance techniques to support feature location using RECON2
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs
First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994
An Approach for Test Suite Selection to Validate Applications on Deployment of COTS Upgrades
Tool Support for Component-Based Software Architectures
Property-Oriented Testing of Real-Time Systems
Citizen's Charter Driven Service Area Improvement
When, Why and for Whom do Practitioners Detect Technical Debt? An Experience Report
Issues on Adopting Software Product Line
Detection of Diverse Design Pattern Variants
Communication, Collaboration, and Cooperation in Software Development-How Should We Support Group Work in Software Development?
A Cloud-Based Trust Evaluation Scheme Using a Vehicular Social Network Environment
Feature Logics and Refinement
A Network Oriented Simple Device and its Application in a Service Mobility Environment
Comparison of Developer's Work Efficiency between Different Editors
Quality-Aware Academic Research Tool Development
A Dual-Loop Control Model and Software Framework for Autonomous Robot Software
Is There a Happy Marriage between Software Engineering and Knowledge Engineering?
Exploiting Annotations to Test Break-off Branches
A Probabilistic Neural Network-Based Approach for Related Software Changes Detection
Identifying Stagnation Periods in Software Evolution by Replaying Editing Operations
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
Software Architecture Matching by Meta-model Extension and Refinement
SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost Estimation
Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts
PyTraceBugs: A Large Python Code Dataset for Supervised Machine Learning in Software Defect Prediction
Computing Optimal Scheduling Policies for Software Projects
Systematic Operational Profile Development for Software Components
A Language-Based Multi-View Approach for Combining Functional and Security Models
An Automatic Approach to Validating Log Levels in Java
A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner
Web Services Composition by I/O Data Structure Correspondences
Multilingual Detection of Code Clones Using ANTLR Grammar Definitions
Specifying Constraints with Message Sequence Specifications
Applying Multi-Objective Genetic Algorithm for Efficient Selection on Program Generation
Animation of Data Refinements
Distributed Online Test Generation for Model-Based Testing
Towards Automation of Module Lazy Loading in Single-Page Web Applications
Design Patterns-Essentials, Experience, Java Case Study
Variable Strength Interaction Testing with an Ant Colony System Approach
An Empirical Study of Software Architects' Concerns
Optimizing LLMs for Code Generation: Which Hyperparameter Settings Yield the Best Results?
Compositional Symbolic Execution: Incremental Solving Revisited
Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns
Semi-static Detection of Runtime Type Errors in Component-Based Java Programs
An Exploratory Study of API Usage Examples on the Web
Managing Availability of web services in service oriented systems
Assessing the Quality of Software Requirements Specifications for Automotive Software Systems
An Empirical Study on Downstream Workarounds for Cross-Project Bugs
How Much Do Code Repositories Include Peripheral Modifications?
System Product Line Engineering for Small Appliances with Driver Derivation
SaaS Application Framework Using Information Gateway Enabling Cloud Service with Data Confidentiality
Smells of Misunderstanding in File Path Patterns within Dockerignore
Adversarial Deep Reinforcement Learning for Improving the Robustness of Multi-agent Autonomous Driving Policies
Developing Relational Navigation to Effectively Understand Software
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2
MUDABlue: An Automatic Categorization System for Open Source Repositories
MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-Based Domain Specific Business Rules
Using Process Simulation to Compare Scheduling Strategies for Software Projects
Implementation and Evaluation of Teaching an Introductory Software Engineering Course Framed in Cognitive Apprenticeship
Application method for process frame-work
Towards Requirements Change Decision Support
Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators
Supporting user-analyst interaction in functional requirements elicitation
Investigating the Effectiveness of Greedy Algorithm on Open Source Software Systems for Determining Refactoring Sequence
Discovery of Cases for Case-Based Reasoning in Engineering
An Approach of a Technique for Effort Estimation of Iterations in Software Projects
Finding repeated strings in code repositories and its applications to code-clone detection
Formal Verification of Memory Isolation for the TrustZone-based TEE
Using Rule Mining for Automatic Test Oracle Generation
Time Distribution of Software Stage Effort
Model-Based Software Architecture Evolution and Evaluation
Improving the Testing Process by Program Static Analysis
User Guided Automation for Testing Mobile Apps
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Proceedings of the 7th International Workshop on Quantitative Approaches to Software Quality co-located with 26th Asia-Pacific Software Engineering Conference (APSEC 2019), Putrajaya, Malaysia, December 2, 2019
Understanding the Reputation Differences between Women and Men on Stack Overflow
Monitoring Negative Sentiment-Related Events in Open Source Software Projects
Towards Instant Automatic Model Refinement Based on OCL
Proceedings of the 5th International Workshop on Quantitative Approaches to Software Quality co-located with 24th Asia-Pacific Software Engineering Conference (APSEC 2017), Nanjing, Jiangsu, China, December 4, 2017
API Document Quality for Resolving Deprecated APIs
Cognitive Deficiencies in Software Library Design
An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification
An Empirical Study on the Adequacy of Testing in Open Source Projects
Method of User-Customizable GUI Generation and Its Evaluation
Refactoring Programs Using Large Language Models with Few-Shot Examples
A Visualization Technique for Metrics-Based Hierarchical Quality Models
Evolution of Business Processes and a Process Simulation Tool
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
What is the Further Evidence about UML? - A Systematic Literature Review
Research on Quality Model and Measurement for Microservices
An Empirical Study of Cross-Project Pull Request Recommendation in GitHub
Test Case Level Predictive Mutation Testing Combining PIE and Natural Language Features
From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization
A Recommendation System for Software Function Discovery
Behavioural Analysis for Distributed Simulations
Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol
S$w$Fuzz: Structure-Sensitive WebAssembly Fuzzing
A Case Study on Usage of a Software Process Management Tool in China
Accelerating Automated Android GUI Exploration with Widgets Grouping
Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin
An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation
Discovering Authorship of Vulnerabilities in Open Source Software
A distributed component architecture for a large telecommunication application
On the Implementation of Catalysis Frameworks in COM
A Design Quality Model for Service-Oriented Architecture
Computer-Assisted Analysis and Refinement of Informal Software Requirements Documents
kGenProg: A High-Performance, High-Extensibility and High-Portability APR System
Programming Project in an Undergraduate Software Engineering in the New Normal: Challenges and Proposed Solutions
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis
Object-Oriented Essential Modeling
Report of iMLSE-18: the 1 st International Workshop on Machine Learning Systems Engineering
Automatically Identifying Dead Fields in Test Code by Resolving Method Call and Field Dependency
A Methodological Framework for SysML: a Problem Frames-based Approach
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey
A systematic approach to connecting standalone theorem provers to formal development environments
Data Depedency Based Trust Evaluation for BPEL Processes
A Case Study on Specifying Quality Requirements Using a Quality Model
Insights into Domain Knowledge Sharing in Software Development Practice in SMEs
Implementing Exception Handling Policies for Workflow Management System
Research on Quality Model of Industrial Application Software (short paper)
Reviewing Formal Specification for Validation Using Animation and Trace Links
Safe Substitution of Components in Self-Adaptive Web Applications
Cost Analysis of Games, Using Program Logic
Incremental Variability Management in Conceptual Data Models of Software Product Lines
Research on Software Quality Characteristics based on MBSE System
Understanding How the Requirements Are Implemented in Source Code
A Process-Centred Experience Repository for a Small Software Organisation
Analyzing and Monitoring Kubernetes Microservices based on Distributed Tracing and Service Mesh
SQ^(2)E: An Approach to Requirements Validation with Scenario Question
Towards Filtering Out Deficient Pull Requests Collected Through the GitHub API
The Impacts of Supporting Materials on Code Reading: A Controlled Experiment
Detecting Occurrences of Refactoring with Heuristic Search
A Knowledge-based Approach for Safety Analysis Using System Interactions
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph
An Enhanced Zero-One Optimal Path Set Selection Method
An ideal physical activity app for adults - what should it be like? Requirements of adult users
Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design
ModelCS: A Two-Stage Framework for Model Search
G2Way A Backtracking Strategy for Pairwise Test Data Generation
Cost-Effective Regression Testing Using Bloom Filters in Continuous Integration Development Environments
Partial Bindings of Components - Any Harm?
A Exploratory Study of @-Mention in GitHub's Pull-Requests
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing
21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 2: Industry, Short, and QuASoQ Papers
Requirements Identification and Representation in Software Product Line
Evaluating the Impact of Inter Process Communication in Microservice Architectures
The Role of User Reviews in App Updates: A Preliminary Investigation on App Release Notes
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel
A process logic for distributed system synthesis
Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking
Input-Driven Active Testing of Multi-threaded Programs
A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method
Anatomizing Android Malwares
Including Pervasive Web Content in Evidence-Based Software Engineering: A Case Study
An Experience With Design by Contract
PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets
SYNCEYE: An Availability Measurement Tool for Embedded Systems
Retrofitting Quality (short paper)
Visualizing Clone Cohesion and Coupling
Proposal for the Use of Quality Characteristics in Security Design Methodologies
Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator
Improving Recall in Code Search by Indexing Similar Codes under Proper Terms
Large Scale Model-Driven Engineering for a Multi-site Team - Experience Report
Computation of Dynamic Slices for Object-Oriented Concurrent Programs
Testing of Object-Oriented Programs Based on Finite State Machines
A framework of requirements tracing using UML
Scalable and Obfuscation-Resilient Android App Repackaging Detection Based on Behavior Birthmark
Exception Handling: An Architecture Model and Utility Support
CDHF: Coordination Driven Hybrid Fuzzing for EOSIO Smart Contracts
Bloodshot eyes: workload issues in computer science project courses
Tree-based Mining of Fine-grained Code Changes to Detect Unknown Change Patterns
Personal Software Process (PSP) Assistant
Quality Driven Design of Program Frameworks for Intelligent Sensor Applications
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces
Integrating safety analysis and requirements engineering
AS-Fuzzer: An Optimized ADS Fuzzing Method via Scenario Segmentation and Parallel Evolution
Requirements Maturation Analysis by Accessibility and Stability
Dimensions and Forms of Knowledge Collaboration in Software Development
A Transformation Method of Scenarios from Different Viewpoints
Verification of a wireless ATM medium-access protocol
CCFinderSW: Clone Detection Tool with Flexible Multilingual Tokenization
Component composition through architectural patterns for problem frames
Classification of and Experimentation on Tool Interfacing in Software Development Environments
An Empirical Investigation into Code Smell Elimination Sequences for Energy Efficient Software
An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization
Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach
Does Domain Change the Opinion of Individuals on Human Values? A Preliminary Investigation on eHealth Apps End-users
9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia
Trading-Assisting Service Discovery Architecture
Automatic Classifying Self-Admitted Technical Debt Using N-Gram IDF
A Taxonomy of Call Ordering Problems
Exploring the Impact of Code Style in Identifying Good Programmers
Variants of Risk and Opportunity