yusuke1997/dblp-id-title huggingface dataset:
Towards an Adaptive Service Degradation Approach for Handling Server Overload
Extracting Software Security Concerns of Problem Frames Based on a Mapping Study
Performance Diagnosis for Microservice-Based Systems via Intra-/Inter-Trace Analysis
Comparison of Code Smells in iOS and Android Applications
The Telephone Directory Enquiry System of Hong Kong
QoS-Based Service Composition under Various QoS Requirements
Measuring Class Coupling and Cohesion: A Formal Metamodel Approach
Do App Developers Follow the Android Official Data Security Guidelines? An Empirical Measurement on App Data Security
An Executable UML with OCL-based Action Semantics Language
Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets
Recovery of Object Oriented Features from C++ Binaries
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns
On Detection of Gapped Code Clones using Gap Locations
Intrusive Test Automation with Failed Test Case Clustering
Specification of Distributed Systems with a Combination of Graphica and Formal Languages
On the Criteria of Allocating Test Cases under Uncertainty
Understanding Developers' Contribution Motivation in Stack Overflow: A Systematic Review
Accounting AI Measures as ISO/IEC 25000 Standards Measures
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions
Dynamic Data Flow Analysis for C++
Detecting Full Initialization Points of Objects to Support Code Refactorings
PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints
Integration of Application Systems by Modelling Information Shared Among Applications
A Comparative Analysis of Architecture Frameworks
PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation
Reachability testing: an approach to testing concurrent software
XSLT Template Design for Generating the Web Presentation Layer
Effective Vulnerability Detection over Code Token Graph: A GCN with Score Gate Based Approach
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts
Improving Fuzzy Analogy Based Software Development Effort Estimation
An Experiment to Compare Combinatorial Testing in the Presence of Invalid Values
Complexity Measures for Object-Oriented Program Based on the Entropy
FRELinker: A Novel Issue-Commit Link Recovery Model Based on Feature Refinement and Expansion with Multi-Classifier Fusion
Formalizing Models and Meta-models for System Development
A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems
Mining GitHub: Why Commit Stops - Exploring the Relationship between Developer's Commit Pattern and File Version Evolution
Providing Quality Measurement for Aspect-Oriented Software Development
Symbolic Simulation of Hybrid Systems
Automated Code-Based Test Selection for Software Product Line Regression Testing
Deep Learning and Data Augmentation for Detecting Self-Admitted Technical Debt
How Do Programmers Express High-Level Concepts using Primitive Data Types?
A knowledge-based approach to regression testing
Towards a Practical Formal Method for Object Oriented Modelling
Static Call Graph Generator for C++ using Debugging Information
Enhancing Unsupervised Requirements Traceability with Sequential Semantics
Issue report classification using multimodal deep learning
High Productivity Programmers Use Effective Task Processes in Unit-Testing
Towards improved Adoption: Effectiveness of Research Tools in the Real World
Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance Services
Systematic Literature Review on Educational Effectiveness of Project-Based Learning for Software Development
Enhancing the Object Constraint Language for More Expressive Specifications
Influence, Information and Team Outcomes in Large Scale Software Development
Sustainability Profiling of Long-living Software Systems
Prototyping the Structured Specification as Logic Programs
A lightweight collaborative approach for teaching software project labs with industry partners
AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines
Identifying Terms in Open Source Software License Texts
Quality Driven Transformation Compositions for Object Oriented Migration
Explicit Representation of Business Policies
Detection and Correction of Android-specific Code Smells and Energy Bugs: An Android Lint Extension
Can ChatGPT Correct Code Based on Logical Steps?
PAORE: Package Oriented Requirements Elicitation
Maintainability Myth Causes Performance Problems in SMP Application
Simplified Influence Evaluation of Additional Training on Deep Neural Networks
Co-Existence of the 'Technical Debt' and 'Software Legacy' Concepts
Teaching Software Quality and Leadership: Experiences and Successes
Retrieving Design Pattern Usage Examples using Domain Matching
Identifying Practitioners' Arguments and Evidence in Blogs: Insights from a Pilot Study
TPAL: A Timed-Probabilistic Model for Concurrent Processes
Finding a Boundary between Valid and Invalid Regions of the Input Space
Towards Model Driven Safety and Security by Design
Ori: A Greybox Fuzzer for SOME/IP Protocols in Automotive Ethernet
Integrating Software Process Reuse and Automation
Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller
On the Impact of Development Frameworks on Mobile Apps
Monitored Software Components - A Novel Software Engineering Approach
Fall-in C: a software tool for pitfall detection in C programs
On the Analysis of Subdomain Testing Strategies
Specifying the UQ* user-interface with Object-Z
Categorizing npm Packages by Analyzing the Text Information in Software Repositories
Component-based Development of MILLS: A Case Study in the development of an Inter-library Loan Software System
On the Use of Software Quality Standard ISO/IEC9126 in Mobile Environments
SCRUM-PSP: Embracing Process Agility and Discipline
A Dynamic Optimization Strategy for Evolutionary Testing
Evolutional Agents: Field Oriented Programming Language, Flage
Task Recommendation with Developer Social Network in Software Crowdsourcing
The Data Deluge -- How Software Engineering Can Help
Regression Testing Goals - View of Practitioners and Researchers
A Ground Control System Based on Digital Twin for Monitoring the Status of UAVs
Feature-Oriented Engineering of PBX Software
MediaPipe-based LSTM-Autoencoder Sarcopenia Anomaly Detection and Requirements for Improving Detection Accuracy
Identifying Textual Features of High-Quality Questions: An Empirical Study on Stack Overflow
Problems and Suggestion for Adopting Product Line Software Engineering from Modification Style Development
Incorporating Expert Judgment into Regression Models of Software Effort Estimation
Teaching Software Engineering Virtually during COVID-19 Pandemic Era: Lessons Learned
Quality Assurance for ML Devices A Risk-Based Approach
Quality Assessment for Large-Scale Industrial Software Systems: Experience Report at Alibaba
Model Checking Liveness Properties under Fairness & Anti-fairness Assumptions
Bio-ontology Construction Using Object-oriented Paradigm
Formal Verification of Interrupt Isolation for the TrustZone-based TEE
Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVS
A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity
Formal Verification of Type Flaw Attacks in Security Protocols
How students design simple programs: a study on the effort and perceptions of the design activity
Developing Machine Learning Systems: Situational Factors Shaping the Development Process
Actor of Things: Resilient and Efficient Distributed AIoT Applications in an Actor System
Predicting Requirements Volatility: An Industry Case Study
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks
Project Management Capability Levels: An Empirical Study
Hybrid Marte
Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UML
Virtual Reality for Software Engineering Presentations
An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
An Exploratory Study of Ethical problems in Digital Service and Engineering Project Management
A G-READY model to support subject design for Software Engineering
A Nested Invocation Suppression Mechanism for Cctive Replicated SOAP Systems
Constructing a Toolset for Software Maintenance with OOAG
Automatic Flight Plan Creation Tool with Digital Twin for Monitoring Forest Fire on Mountain Trail through UAV
A Temporal Logic for Input Output Symbolic Transition Systems
Grouping Objects for Execution Trace Analysis Based on Design Patterns
Identifying More Equivalent Mutants via Code Similarity
Codifying Hidden Dependencies in Legacy J2EE Applications
Proposals for Improving the Assessment of Medical Device Software in Thailand
An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques
Verification of CTL_BDI Properties by Symbolic Model Checking
Identifying Fragments to be Extracted from Long Methods
Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System
Pareto-based soft real-time task scheduling in multiprocessor systems
Failure Prediction in Crowdsourced Software Development
Software Reuse Based on Business Processes and Requirements
Computer-aided programming using formally specified design templates
Animating Z: Interactivity, Transparency and Equivalence
SA-RFID: Situation-Aware RFID Architecture Analysis in Ubiquitous Computing
Pattern-Based Dynamic Maintenance of Software Systems
A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
Software and Infrastructure Log-Based Framework for Identifying the Causes of System Faults
Using Genetic Algorithms to Repair JUnit Test Cases
A Project Management Support Tool using Communication for Agile Software Development
Testing for Event-Driven Microservices Based on Consumer-Driven Contracts and State Models
Text-Mining Techniques and Tools for Systematic Literature Reviews: A Systematic Literature Review
A new measure to assess the systematicity of the abstracts of reviews self-identifying as systematic reviews
2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015
Component-Based Software Development-A New Paradigm in Software Engineering?
AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes
A Study of Productivity and Efficiency for Object-Oriented Methods and Languages
BCFinder: A Lightweight and Platform-Independent Tool to Find Third-Party Components in Binaries
A Study of the Effect of Data Normalization on Software and Information Quality Assessment
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications
A Case Study of Measuring Degeneration of Software Architectures from a Defect Perspective
How Does Grit Affect the Performance of Software Developers?
Taxonomy of Architecture Maintainability Smells
Workshop on Service Oriented Architecture
Blueprint for Real Progress in Software Engineering
A Regression Test Case Prioritization Algorithm Based on Program Changes and Method Invocation Relationship
MetaBuilder: a Generic CASE Tool Builder
Boundary Spanners in Open Source Software Development: A Study of Python Email Archives
Difference Syntax Trees for Characterising Student in Programming Course
Z User Studio: An Integrated Support Tool for Z Specifications
Optimized Test Data Generation for RESTful Web Service
Scalability for graph based CASE tools
Statistical Verification Framework for Platooning System of Systems with Uncertainty
Comparison of Seven Bug Report Types: A Case-Study of Google Chrome Browser Project
Verification via Digitized Models of Real-Time Hybrid Systems
A Simulation Model of Kanban Software Process
10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand
A Bird's Eye View on Requirements Engineering and Machine Learning
On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-Box Fuzzers
Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms
An additional approach to pre-trained code model with multilingual natural languages
A Model-Driven Prototype Evaluation to Elicit Requirements for a Sensemaking Support Tool
Improving the Quality of Classification Trees via Restructuring
Teaching Software Process Models to Software Engineering Students: An Exploratory Study
Specifying Roles within Agent-Oriented Software Engineering
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies
Framework for Third Party Testing of Component Software
SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario
Runtime models and evolution graphs for the version management of microservice architectures
Examples of Practical Use of ISO/IEC 25000 (short paper)
Software Metrics and Application Domain Complexity
A Reverse Engineering Method and Experiences for Industrial COBOL System
A study on the evaluation method of SW test items to quantify BEMS quality
Architectural Abstractions and Language Mechanisms
Theme-Based Literate Programming
Supporting Change Propagation in the Maintenance and Evolution of Service-Oriented Architectures
Composition Analysis of Multiple Aspects in Aspect-Oriented Programs
Using the SQuaRE series as a guarantee for GDPR compliance
The Ericsson's Approach to Software Improvements
Evaluating the Scalability of Enterprise JavaBeans Technology
Recording Software Design Decisions on the Fly
Efficient Reinforcement Learning with Generalized-Reactivity Specifications
Testing Microservices Architecture-Based Applications: A Systematic Mapping Study
Topic-aware video summarization technique for product reviews exploiting the BERTopic and BART models
Evaluating Mutation Testing Alternatives: A Collateral Experiment
A Program Simplification Method for Generating Test Input Values Using Symbolic Execution
Decisions and Their Making in OSS Development: An Exploratory Study Using the Hibernate Developer Mailing List
IconChecker: Anomaly Detection of Icon-Behaviors for Android Apps
Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software
Automated Feedback Generation for Multiple Function Programs
NEGAR: Network Embedding Guided Architecture Recovery for Software Systems
A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages
An Extended Policy Language for Role Resolution in Project-Oriented Workflow
Elicit the Requirements on Software Dependability: A Knowledge-Based Approach
Goal and Scenario Driven Product Line Development
M-base : An Application Development Environment for End-user Computing based on Message Flow
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems
SAT and SMT: Their Algorithm Designs and Applications
An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature Selection
Automatically Generating API Usage Patterns from Natural Language Queries
Evaluation and Measurement of Software Testing Process Quality Applicable to Software Testing Laboratory
An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and its International Applicability
Empirical Evaluation of Minority Oversampling Techniques in the Context of Android Malware Detection
Co-development of real-time systems and their simulation environments
Change Impact Analysis for A Class Hierarchy
Detecting Duplicate Questions in Stack Overflow via Deep Learning Approaches
Race-free Scenarios of Message Sequence Charts
Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation
Safety Analysis for Dynamic Update of Object Oriented Programs
Formalisation of Interaction Diagrams
Preliminary Analysis of the Influence of the Stereotype Threat on Computer Programming
Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN)
A Complexity Metric for Web Applications Based on the Entropy Theory
Method Level Text Summarization for Java Code Using Nano-Patterns
Proceedings of the 2nd Software Engineering Education Workshop 2019 co-located with 26th Asia Pacific Software Engineering Conference, SEED@APSEC 2019, Putrajaya, Malaysia, December 2, 2019
Software Engineering Education Program for Software Professionals of High Competency at DENSO
Expanding Small Example into Large Scale Real-Time Control System
Static Analysis of Resource Usage Bounds for Imperative Programs
Comparison of Scenario-Based Software Architecture Evaluation Methods
Requirements Engineering Practice in Pharmaceutical and Healthcare Manufacturing
Symbolic Execution of MPI Programs with One-Sided Communications
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing
Possible extension of ISO/IEC 25000 Quality Models to Artificial Intelligence in the Context of an International Governance (short paper)
An Architecture and a Framework for IP Applications
Factors Influencing Productivity of Agile Software Development Teamwork: A Qualitative System Dynamics Approach
Improve Analogy-Based Software Effort Estimation Using Principal Components Analysis and Correlation Weighting
Resynchronizing Model-Based Self-Adaptive Systems with Environments
A Lifecycle-Based Design Methodology of the Lightweight Ontology and Its Application to Cultivating High Quality Mandarin Orange
An Ontological Approach to Elicit Safety Requirements
Using Abstraction to Verify Arbitrary Temporal Properties
Embedding XML Processing Toolkit on General Purpose Programming Language
Genetic Approach to Software Architecture Synthesis with Work Allocation Scheme
Model-Based Methods for Linking Web Service Choreography and Orchestration
Formalization and Verification of the Powerlink Protocol Using CSP
SimPL A Simple Software Production Line for End User Development
Aspect-Oriented Modularization of Assertion Crosscutting Objects
Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best
Fault Localization Based on Multi-level Similarity of Execution Traces
EXPSOL: Recommending Online Threads for Exception-Related Bug Reports
Unified program cross-architecture migration framework model
Local Variables with Compound Names and Comments as Signs of Fault-Prone Java Methods
On Traceability for Safety Critical Systems Engineering
Pair Programming in Programming Courses in the Era of Generative AI: Students' Perspective
Conformance Testing for OSEK/VDX Operating System Using Model Checking
User Intention Satisfaction for Agent-Based Semantic Web Services Systems
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design
Tool Supported Development of Service-Based Systems
A Study of the Impact of Requirements Volatility on Software Project Performance
Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities
Adaptive Random Testing for XSS Vulnerability
Automatic Identification of Assumptions from the Hibernate Developer Mailing List
Verification Assisted Gas Reduction for Smart Contracts
DupLLM:Duplicate Pull Requests Detection Based on Large Language Model
Platforms for agent-oriented software engineering
Analysing Reusability Aspects in Java Connector Architecture
Component Metrics to Measure Component Quality
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development
Minimising Changes When Refactoring Applications to Run Multiple Threads
Predictive Tool for Software Team Performance
Detecting Duplicate Bug Report Using Character N-Gram-Based Features
A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios
Disk Based Software Verification via Bounded Model Checking
Refactoring Community Smells: An Empirical Study on the Software Practitioners of Bangladesh
On The Danger Of Developing Measures Without Clarifying Concepts
Applying object-oriented construction to fault tolerant systems
Decomposing Automatic Train Control Verification System with Projection
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection
Preface of the the 7th International Workshop on Quantitative Approaches to Software Quality
Risk Identification and Mitigation Processes for Using Scrum in Global Software Development: A Conceptual Framework
A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing
An Environment for the Reverse Engineering of Executable Programs
1st International Workshop on Software Patterns and Quality (SPAQu'07)
Software Project Team Characteristics and Team Performance: Team Motivation as a Moderator
A Predictive Performance Model to Evaluate the Contention Cost in Application Servers
A preliminary comparison of computer mediated training tools
Examining the Relationship of Code and Architectural Smells with Software Vulnerabilities
UTCache: Updatable Transactional Cache For Database-Driven Applications
Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition
XML Rule Based Source Code Generator for UML CASE Tool
Component-Based Software Update Process in Collaborative Software Development
Multi-Objective Configuration Sampling for Performance Ranking in Configurable Systems
Using Branch Frequency Spectra to Evaluate Operational Coverage
EDPS: Early Dropout Prediction System of MOOC Courses
Model Checking Value-Passing Processes
Using Dynamic Aspects for Delegating Fine-Grained Access Rights
Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering
UML CASE Tool Supporting OLE Compound Document
Enhancing Object-Based System Composition through Per-Object Mixins
Semi-Automated Verification of Defense against SQL Injection in Web Applications
Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment
Towards Analysing Information Management Requirements in New Zealand Genetic Services
Arising Challenges for Assuring Maritime Software Reliability in the AI Era
Illusions and Perceptions of Transparency in Software Engineering
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
Transitioning from Manual to Automated Software Regression Testing: Experience from the Banking Domain
Supporting Maintenance of Web Applications Using User-Centered Technique
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker
Report on the the 8 th International Workshop on Quantitative Approaches to Software Quality
A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation
Multi-Hierarchy Metamorphic Testing for Hyphenated Words in Machine Translation
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs
Testing Java Interrupts and Timed Waits
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
A hybrid program knowledge base for static program analyzers
Analysis of the Textual Content of Mined Open Source Usability Defect Reports
Measuring Non-Functional Properties in Software Product Line for Product Derivation
An Exploratory Study to Identify Similar Patches: A Case Study in Modern Code Review
The Cogito Repository Manager
Relationship Between Query Interface and Profiles in Reuse Support System
Source Code Obfuscation for Smart Contracts
PMF/GRIP a framework for the development and implementation of reuse models
Generating Mock Skeletons for Lightweight Web-Service Testing
Software-Based Online Monitoring of Cache Contents on Platforms without Coherence Fabric
Reasoning about Pointers in Refinement Calculus