yusuke1997/dblp-id-title huggingface dataset:
Systematic Review of Success Factors for Scaling Agile Methods in Global Software Development Environment: A Client-Vendor Perspective
Floating Point Accuracy Testing in Deep Neural Network Computations via Hypothesis Testing
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications
Value-Based Dynamic Composition of Web Services
An Improved Approach to Traceability Recovery Based on Word Embeddings
A Formal Operational Semantics for SOFL
Improving Bug Localization with an Enhanced Convolutional Neural Network
Optimal Scheduling of Software Projects Using Reinforcement Learning
Automatic Selection of System Functional Scenarios for Formal Specification Animation
Synchronization Error Detection of MPI Programs by Symbolic Execution
A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model
SCAR: Smart Contract Alarm Ranking
Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach
A Comparative Study of Interface Design Approaches for Service-Oriented Software
Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities
Simulation of Consensus Based Approaches to Mitigate the Challenges in Crowdsourcing
An Extensible Framework for Collaborative Software Engineering
The Canonical Functional Design Based on the Domination-Relationship among Data
An Empirical Study of SDK Credential Misuse in iOS Apps
Early Filtering of Polluting Method Calls for Mining Temporal Specifications
Applying a Systematic Approach to Link Requirements and Testing: A Case Study
An Optimal Opportunistic Scheduling Algorithm for Parallel Tasks in a Cloudlet
Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment
TETRABox - A Generic White-Box Testing Framework for Model Transformations
A Controlled Experiment to Assess the Effectiveness of Eight Use Case Templates
An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework
Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification
Use of Agile Methods and Practices in the Philippines
Conceptual Issues of an Object-Centered Process Model
Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces
Joint Short Paper Proceedings of the 4th International Workshop on Experience with SQuaRE Series and Its Future Direction, and 1st Asia-Pacific Software Engineering and Diversity, Equity, and Inclusion Workshop co-located with 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Tokyo, Dec 6, 2022
Petri nets based proofs of Ada 95 solution for preference control
Unifying theories of healthiness condition
Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble Learning
Continuous Product-Focused Project Monitoring with Trend Patterns and GQM
Automatic Detecting Code Cooperation
Empirical Observations on Object Evolution
Towards a Quality Framework for Enterprise Architecture Models
ISO/IEC 25000 Quality Measures for A.I.: A Geometrical Approach (short paper)
Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study
QoS-Aware Graph Contrastive Learning for Web Service Recommendation
Packaged Software Implementation Requirements Engineering by Small Software Enterprises
Correctness of Semantic Code Smell Detection Tools
Trends in Automation and Control Systems Needing Efficient Software Engineering
Understanding the Nature of Collaboration in Open-Source Software Development
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture
Debug Concurrent Programs with Visualization and Inference of Event Structure
Identifying Security Requirements Based on Linguistic Analysis and Machine Learning
Coordination-Policy Based Composed System Behavior Derivation
Adaptive Random Testing by Localization
Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions
A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles
SMARTS: A Smart CORBA Trader Service
Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL
On the Reliability of Coverage Data for Fault Localization
A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs
Transfer Learning for Cross-Platform Software Crowdsourcing Recommendation
Traceability-Driven System Development and its Application to Automotive System Development
Ordered sequence testing criteria for concurrent programs and the support tool
Concolic Testing Framework for Industrial Embedded Software
A Systematic Study of UML Class Diagram Constituents for their Abstract and Precise Recovery
Service Brick Composition Framework for Smartphones
A User Evaluation of Synchronous Collaborative Software Engineering Tools
Model Checking Process with Goal Oriented Requirements Analysis
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study
Understanding Build Errors in Agile Software Development Project-Based Learning
Defending against code injection attacks using Secure Design Pattern
LibSift: Automated Detection of Third-Party Libraries in Android Applications
Detecting and Localizing Visual Inconsistencies in Web Applications
Pattern-Based Model Transformation Using QVT
An Enhanced Reflective Architecture for Adaptation of the Object-Oriented Language/Software
Test Case Prioritization Based on Analysis of Program Structure
A nested invocation suppression mechanism for active replication fault-tolerant CORBA
A Cloud-Based Solution for Testing Applications' Compatibility and Portability on Fragmented Android Platform
Process Model of Software Method Transition
Discovering Use Cases from Source Code using the Branch-Reserving Call Graph
Abstract Accountability Language: Translation, Compliance and Application
Tool Support for Invariant Based Programming
An Empirical Study on the Stability of Explainable Software Defect Prediction
Process Debt: a First Exploration
Detecting Technical Debt through Issue Trackers
Funding sources in top Software Engineering conference publications
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis
A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door
A mapping system from Object-Z to C++
Exploiting the advantages of object oriented programming in the implementation of a database design environment
Quality Consideration for e-Learning System Based on ISO/IEC 25000 Quality Standard
Improving Development Practices through Experimentation: An Industrial TDD Case
How Weak Reference is Used in Java Projects?
unjQuerify: Migration of jQuery Snippets to Modern Vanilla JavaScript APIs
The Application of Machine Learning on the Injury Prediction of Soccer Players
Automatic testing of OCE, a human-centered reinforcement learning system for automated software composition
The Problem Frames Approach to Software Engineering
Determining and Selecting the Optimal Sets of Risk Treatments under Project Constraints
Constructing Behavioral State Machine using Interface Protocol Specification
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Dynamic evolution of distributed systems specifications using reflective language
Handling Database Schema Variability in Software Product Lines
A Framework for Array Invariants Synthesis in Induction-Loop Programs
The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia
Formal Methods Pilot Project
An Accurate and Convenient Undo Mechanism for Refactorings
Automatic Filling in a Form by an Agent for Web Applications
Selecting Usability Evaluation Methods for Software Process Descriptions
Applying Recommendation Systems for Composing Dynamic Services for Mobile Devices
ESAD: An Intensive Retreat Program for Embedded System Architect Developing
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies
Interface Driven Code Clone Detection
Introducing MDA in a large IT consultancy organization
A Source Code Generation Support System Using Design Pattern Documents Based on SGML
What-If Model Construction and Validation of Web Systems Based on Log Mining
Connector Modeling Method for Component Extraction
31st Asia-Pacific Software Engineering Conference, APSEC 2024, Chongqing, China, December 3-6, 2024
A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets
Adaptation of an Online Platform to Teach Testing
Mining and Detecting Bugs in Introductory Programs
Verification of CPS Based on Control Loop Using Model Checking
Exploring the Relationship between Experience and Group Performance in Software Review
On the Usefulness of Crossover in Search-Based Test Case Generation: An Industrial Report
More Secure Collaborative APIs Resistant to Flush+Reload and Flush+Flush Attacks on ARMv8-A
A Mahalanobis Distance-Based Integration of Suspicious Scores For Bug Localization
An Investigation on Software Bug-Fix Prediction for Open Source Software Projects - A Case Study on the Eclipse Project
Generalising the Z Schema Calculus: Database Schemas and Beyond
A GUI and testing tool for SOFL
Hybrid Interface Automata
Metamorphic Testing for Reliability in System of Systems
Effects of Organizational Changes on Product Metrics and Defects
Relating Requirement and Design Variabilities
A Modeling Method for Model-based Analysis and Design of a System-of-Systems
29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022
Humpback: Code Completion System for Dockerfile Based on Language Models (short paper)
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems
Aligning the Map Requirements Modelling with the B-method for Formal Software Development
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification
Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs
COMO: A UML-Based Component Development Methodology
Semantic Document Adaptation with OCL Annotations
The Case for Using Simulation to Validate Event-B Specifications
Slicing Object-Oriented Programs
DFTL: a Description Language for Transformation of Data Formats
A Context-Role Based Modeling Framework for Engineering Adaptive Software Systems
Reasoning about Object-Z Specifications
28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021
Automatic Commit Range Identification of Untagged Version
A Novel Developer Ranking Algorithm for Automatic Bug Triage Using Topic Model and Developer Relations
Customizable Software Engineering Environments for Flexible Distributed Software Teams
Online Service-Learning in Application Development Course: The Challenges during the COVID-19 Post-Pandemic Period
Designing Distributed Systems Using SAT Solvers
Architectural Naming, a Secret of Agile Thinking
Management of Distributed Concurrent Development for Large-Scale Software Systems
A Top-k Learning to Rank Approach to Cross-Project Software Defect Prediction
Early Experience with Model-Driven Development of MapReduce Based Big Data Application
Code Question Answering via Task-Adaptive Sequence-to-Sequence Pre-training
Automatic Recommendation of Software Design Patterns Using Anti-patterns in the Design Phase: A Case Study on Abstract Factory
Scalable Fault Tree Analysis for Functional Safety Software
On Code Example-Aided Just-In-Time Learning for Programming Education
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information
Reusing UML Specifications in a Constrained Application Domain
An Algorithmic-Based Change Effort Estimation Model for Software Development
Model Driven Inputs to aid Athlete's Decision Making
Software Information Management System based on the entity-relationship model
Suggesting Extract Class Refactoring Opportunities by Measuring Strength of Method Interactions
A Class Testing Technique Based on Data Bindings
Consistency and Interoperability Checking for Component Interaction Rules
Architectural Style - Based Modeling and Simulation of Complex Software Systems
A Hybrid Approach for Control Flow Graph Construction from Binary Code
Evaluating Product Line Architectures: Methods and Techniques
A Method to Derive Software Architectures from Quality Requirements
Tailoring the Domain Engineering Process of the PLUS Method
Code Coverage Analysis of Combinatorial Testing
Regression Test Selection Based on Version Changes of Components
Critical Barriers for Offshore Software Development Outsourcing Vendors: A Systematic Literature Review
Modeling Code Analyzability at Method Level in J2EE Applications
What Influences Usability Defect Reporting? - A Survey of Software Development Practitioners
Extending Statecharts with ad lib and multi-thread features
Design and Implementation of Training Course for Software Process Improvement Engineers
Proving Non-interference on Reachability Properties: A Refinement Approach
Developing distributed applications by semantics-based automatic replication
Data Coverage Testing
A Hierarchical Framework for Designing Reliable Distributed Systems
The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java
Beyond Agile: Smart
Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost Estimation
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software
Supporting Flexible Reification of Design Patterns
API parameter recommendation based on language model and program analysis
Toward Inconsistency Awareness in Collaborative Software Development
A Dynamic Model of Software Product Generative Process
Automated Assessment and Evaluation of Contribution of Collaborative Software Engineering Development Process
An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs
A Context Based Approach for Recommending Move Class Refactoring
Role Distribution and Transformation in Open Source Software Project Teams
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution
Revisiting the Quality in Use Model (short paper)
Modeling Security Threat Patterns to Derive Negative Scenarios
A Parametric Model Checking Approach for Real-Time Systems Design
Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing
A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs
Learning Heterogeneous Abstract Code Graph Representations for Program Comprehension
Tailoring test process by using the component-based development paradigm and the XML technology
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
STAR: A Specialized Tagging Approach for Docker Repositories
Jact: A Playground Tool for Comparison of JavaScript Frameworks
Injecting security as aspectable NFR into Software Architecture
Proceedings of the 2nd International Workshop on Experience with SQuaRE Series and Its Future Direction (IWESQ 2020) co-located with 27th Asia-Pacific Software Engineering Conference (APSEC 2020), Singapore, Dec 1, 2020
Software Product Line and Open Source Software
A Theoretical Perspective on Knowledge Based Organizational Learning
CoxR: Open Source Development History Search System
Retrieve-Guided Commit Message Generation with Semantic Similarity And Disparity
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System
Anukarna: A Software Engineering Simulation Game for Teaching Practical Decision Making in Peer Code Review
A Knowledge Graph-based Sensitive Feature Selection for Android Malware Classification
Effective Anomaly Detection for Microservice Systems with Real-Time Feature Selection
Function Call Flow based Fitness Function Design in Evolutionary Testing
A Formal Framework for Component Pr otocols Behavioural Compatibility
Predicting Time Range of Development Based on Generalized Software Reliability Model
Towards a Hybrid Framework for Detecting Input Manipulation Vulnerabilities
The Way Ahead for Bug-fix time Prediction
21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers
When to inherit and when not to
Process Cube for Software Defect Resolution
Towards Synchronous Collaborative Software Engineering
Preliminary Analysis of Review Method Selection Based on Bandit Algorithms
An Approach for Specifying Access Control Policy in J2EE Applications
Improing Screen Power Usage Model on Android Smartphones
Extracting Insights from the Topology of the JavaScript Package Ecosystem
Reusability Challenges of Scientific Workflows: A Case Study for Galaxy
Story Explorer: A Gamification Approach for Teaching Students How to Write Good User Stories
Development of a User-Interactive Agent Simulation System with the Blackboard Architectural Pattern
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems
A DNN Fuzz Testing Method Based on Gradient-Weighted Class Activation Map
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling
Running OS Kernel in Separate Domains: A New Architecture for Applications and OS Services Quarantine
Modeling Complex Systems by A Set of Interacting Finite-State Models
Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing Environments
Initial Industrial Experience of GQM-Based Product-Focused Project Monitoring with Trend Patterns
Guaranteeing Deep Neural Network Outputs in a Feasible Region (short paper)
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
Mining Developer Mailing List to Predict Software Defects
Improving Analogy-Based Software Cost Estimation through Probabilistic-Based Similarity Measures
The Derivation of Functional Specifications from Source Code
Architecture Patterns, Quality Attributes, and Design Contexts: How Developers Design with Them
A software maintenance survey
Why Visualize Data When Coding? Preliminary Categories for Coding in Jupyter Notebooks
Checking Model Consistency Using Data-Flow Testing
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts
SLAMPA: Recommending Code Snippets with Statistical Language Model
A Prioritization Method for SPL Pairwise Testing Based on User Profiles
Using a variety of patterns in a secure software development methodology
An Easy-to-Use Extension Mechanism Using XML for an Integrated Development Environment
Systematic Development of the Human Interface
A Web Application to Manage and Improve Software Development Projects by SEMAT Essence
AFLGo_D: A Novel Power Schedule Scheme Considering Multiple Factors Dynamically for Directed Fuzzing
A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis
A Formal Specification of the Concurrency Control in Real-Time Databases
Specification matching of state-based modular components
Predicting class libraries interface evolution: an investigation into machine learning approaches
Fusing ambiguous domain knowledge slices in a reverse engineering process
From the software process to software quality: BOOTSTRAP and ISO 9000
Industrial Application of Object-Oriented Technology
Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff
Sentiments Analysis in GitHub Repositories: An Empirical Study
Proceedings of the 1st International Workshop on Experience with SQuaRE Series and Its Future Direction co-located with 26th Asia-Pacific Software Engineering Conference, IWESQ@APSEC 2019, Putrajaya, Malaysia, Dec 2, 2019
Quality and Reuse in Industrial Software Engineering
Re-documenting, Visualizing and Understanding Software System Using DocLike Viewer
Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration
Behavioral Specification of Real-Time Requirements
Software Development Practices in New Zealand
An Effective Testing Technique for Component Composition in EJBs
Trust-Based Service Composition and Optimization
Translating Object-Z Specifications to Object-Oriented Test Oracles
Specialising in Software Engineering
Analysis of Software Process Improvement Experience Using the Project Visibility Index
Investigating Pair Programming in a Software Engineering Course in an Asian Setting
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
Clockwerk: A Predictable and Efficient Extension of Logical Execution Time Model
Who is in Charge here? Understanding How Runtime Configuration Affects Software Along with Variables&Constants
A sentential function mapping method for object-oriented analysis and design
Decentralization of Control Loop for Self-Adaptive Software through Reinforcement Learning
Object Oriented Software Clustering Based on Community Structure
Extracting Code Fragment that Implements Functionality
Can We Trust Our Results? A Mapping Study on Data Quality
Formal Object-Oriented Analysis and Design of an Online Ticketing System
A Case Study on Robustness Fault Characteristics for Combinatorial Testing - Results and Challenges
Factors Affecting the Project Performance of Information Systems Development: Comparison of Organizational Cultures
The CACTUS Object Server: Design and Implementation Issues
A Support Tool for Test Case First : * Trial for improving quality of specification document through writing system specifications and test cases concurrently
Legacy Systems Migration : A Method and its Tool-Kit Framework
A Study on C Code Defect Detection with Fine-Tuned Large Language Models
Proceedings of the 2nd International Workshop on Intelligent Software Engineering co-located with the 30th Asia-Pacific Software Engineering Conference (APSEC 2023), Seoul, South Korea, December 4, 2023
An Extended Orthogonal Variability Model for Metadata-Driven Multitenant Cloud Services
Analysis in software engineering
Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems
VRML Program Slicing
Model-Driven Engineering for Delta-Oriented Software Product Lines
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems
NameChecker: Detecting Inconsistency between Method Names and Method Bodies
About the Framework of Quality Evaluation Using SQuaRE
COPEN: A CORBA-Based Intelligent Push Engine
Incorporating Ethics in Software Engineering: Challenges and Opportunities
Executable Program Documentation Based on Debugging Break Points
A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features
Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns
An Empirical Analysis of the Impact of Comment Statements on Fault-Proneness of Small-Size Module
On Adequate Behavior-Based Architecture Conformance Checks
Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates
Proactive Enforcement of Data Consistency by Business Processes
Designing a Reactive Programming Language for Shape-Adaptive Computers
A framework for software product engineering
A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis
Compositional Verification of UML Dynamic Models
Assessing Platform Suitability for Achieving Quality in Guest Applications
Assessing Change Proneness at the Architecture Level: An Empirical Validation
Model Checking of Spatial Logic
Techniques for Analysing PDF Malware
Aspect-Oriented Implementation of Software Health Indicators
An Investigation on Performance of Software Enhancement Projects in China
The Validation and Verification of WSCDL
Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns
A Stochastic Simulation Model for Risk Management Process