yusuke1997/dblp-id-title huggingface dataset:
Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction
Reverse Engineering Graphical Representations of X Source Code
Extensible Syntax-Oriented Verifier with Context-Dependent Recursive Verification
Input Contract Testing of Graphical User Interfaces
RESEARCH NOTES: Multiclass Classification for Self-Admitted Technical Debt via Large Pre-Trained Language Model
QTwig: A Structural Join Algorithm for Efficient Query Retrieval Based on Region-Based Labeling
An Evolutionary Approach to Program Transformation and Synthesis
Exploiting Correlation Subspace to Predict Heterogeneous Cross-Project Defects
A Grammar-guided Genetic Programming Framework Configured for Data Mining and Software Testing
EMITS: An Experience Management System for IT Management Support
DB-DSCN: Image Tampering Detection Using Dual Branch Deep Stacked Convolutional Network
Web Service Clustering Using Relational Database Approach
Spectral Test Generation for Boolean Expressions
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective
Matisse: a Knowledge-Based Team Programming Environment
Modeling and Analysis of Performance Aspects for Software Architecture: a Uml-based Approach
EMSA: Extensibility Metric for Software Architecture
An Adaptive Semantic Annotation Tool for Teachers Based on Context-Aware and Internet of Things
A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques
Reusable Solutions for Implementing Usability Functionalities
Suggesting Alternative Scenarios Using Use Case Specification Patterns for Requirement Completeness
Identification of Key Classes in Software Systems Based on Static Analysis and Voting Mechanism
Quantum Software: The Brain of Quantum - Guest Editor's Introduction
DetAC: Approach to Detect Access Control Vulnerability in Web Application Based on Sitemap Model with Global Information Representation
Interaction-Oriented Software Development
A Design Rationale Based Environment for Cooperative Maintenance
Scalable Influence Maximization Meets Efficiency and Effectiveness in Large-Scale Social Networks
Object Extensions to Z: a Survey
An Evaluation Method for Content Analysis Based on Twitter Content Influence
Software Process Monitoring Mechanisms in Oikos
A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases
Predicting Software Development Effort Using Artificial Neural Network
Join Point Designation Diagrams: a Graphical Representation of Join Point Selections
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints
An Active Multimedia Information System for Information Retrieval, Discovery and Fusion
Detection and Classification of Diseases of Cassava Leaves Using Deep Neural Networks and Various Optimization Algorithms on Large Image Datasets
A Static Analysis Framework for Investigating Tainted Data Sources in Software Systems
Reverse Engineering, Reengineering, and Concurrent Engineering of Software
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
An XML Based Methodology to Model and Use Scenarios in the Software Development Process
Selecting Third-Party Libraries: The Web Developers' Perspective
MuSim: Mutation-based Fault Localization Using Test Case Proximity
Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model
Towards a Uniform Structured Representation for Application Generation
Using an Experimental Framework to Support Variables Selection: An Exploratory Study
Global Sensitivity Analysis for Fuzzy RDF Data
An Automated Approach for Constructing Framework Instantiation Documentation
Using Learning Styles of Software Professionals to Improve Their Inspection Team Performance
Software Risk Modeling by Clustering Project Metrics
An Intelligent Service Middleware Based on Sensors in IoT Environments
Assessing Test Suites for Buffer Overflow Vulnerabilities
Detecting Domain-Flux Malware Using DNS Failure Traffic
Supporting Software Process Decisions Using Bi-Directional Simulation
A Framework for Selecting Architectural Tactics Using Fuzzy Measures
Restructuring Programs through Program Slicing
"cyber-film": a Visual Approach that Facilitates Program Comprehension
Effort Estimation in Agile Software Development: An Updated Review
Pareto Simulated Annealing (Sa)-Based Multi-Objective Optimization for Mems Design and Application
Building Decision Support Problem Domain Ontology from Natural Language Requirements for Software Assurance
REINAS: A Real-Time System for Managing Environmental Data
Software Architecture Recovery through Similarity-Based Graph Clustering
Feature-Based Rationale Management System for Supporting Software Architecture Adaptation
Approximate Query for Industrial Fault Knowledge Graph Based on Vector Index
EFSP: An Enhanced Full Scrum Process Model
A Revisit of Metrics for Test Case Prioritization Problems
Specification of Real-Time Systems
Using Rule Structure to Evaluate the Completeness of Rule-Based System Testing: a Case Study
From Software Reuse to Database Reuse
On the Effect of Exploiting GPUs for a More Eco-Sustainable Lease of Life
Knowledge Deduction and Reuse Application to the Products' Design Process
Mapping Modern JVM Language Code to Analysis-Friendly Graphs: A Study with Kotlin
An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs
A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level
Formalization and Verification of TESAC Using CSP
Towards Pervasive Robotics: Compliant Motion in Human Environments
Study of Factors Influencing the Adoption of Agile Processes When Using Wikis
Domain-Specific Software Architectures for Guidance, Navigation and Control
Web Pages Classification with Parliamentary Optimization Algorithm
A Knowledge Integrated Case-Based Classifier
Cost Simulation and Performance Optimization of Web-based Applications on Mobile Channels
An Approach for Adaptive Fault Tolerance in Object-Oriented Open Distributed Systems
A Novel Overlapping Method to Alleviate the Cold-Start Problem in Recommendation Systems
In Loving Memory of Daniel Cooke
Similarity Of Xml-Schema Elements Supported By Domain Ontologies
A Hybrid Model Combining Formulae with Keywords for Mathematical Information Retrieval
STGAN-CR: A Semantics-Aware Cloud Removal Network Integrating Swin Transformer and GANs for Remote Sensing Applications
Structural Process Pattern Matching Based on Graph Morphism Detection
Deep Neural Networks for Traffic Flow Estimation for Spatial-Temporal DOMAIN
Enhancing OWL Ontologies with Relation Semantics
Enhancing Multi-Behavior Recommendations Through Capturing Dynamic Preferences
A Data-Driven Two-Stage Prediction Model for Train Primary-Delay Recovery Time
An Intelligent and Effective Mechanism for Mental Disorder Treatment by Using Biofeedback Analysis and Web Technologies
Modeling and Analysis of Knowledge Flows in Software Processes through the Extension of the Software Process Engineering Metamodel
Model Checking of Component Based Software Using Compositional Reductions
Research Notes on the Architectural Evolution of a Software Product Line
Augmenting Bug Localization with Part-of-Speech and Invocation
Characterizing Individualized Coding Contributions of OSS Developers from Topic Perspective
OscSe: A Practical Security Assessment Model for General Open Source Components
CodeGen-Search: A Code Generation Model Incorporating Similar Sample Information
Regression Analysis Based Software Effort Estimation Method
Software Industry Perception of Technical Debt and Its Management
Code Comment Quality Analysis and Improvement Recommendation: An Automated Approach
Reliable and Secure Distributed Cloud Data Storage Using Reed-Solomon Codes
Defining Software Process Model Constraints with Rules Using OWL and SWRL
Leveraging SPARQL Queries for UML Consistency Checking
Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors
Towards Optimizing Hospital Patient Transports by Automatically Identifying Interpretable Causes of Delays
Towards a Natural Internet-Based Collaborative Environment with Support of Object Physical and Social Characteristics
Designing Customized and Tailorable Visual Interactive Systems
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software
A Framework for Comparing Requirements Tracing Experiments
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution
Mining Class Temporal Specification Dynamically Based on Extended Markov Model
Refactoring Cost Estimation for Architectural Technical Debt
Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based Approach
FAC: A Music Recommendation Model Based on Fusing Audio and Chord Features (115)
Unsupervised Bug Report Categorization Using Clustering and Labeling Algorithm
Exploring the Impact of Balanced and Imbalanced Learning in Source Code Suggestion
Personalized API Recommendations
Partial k-Anonymity for Privacy-Preserving Social Network Data Publishing
A Hybrid Multiple Models Transfer Approach for Cross-Project Software Defect Prediction
An Integrated GUI-Business Component Modeling Method for the MDD- and MVC-Based Hierarchical Designs
A Short-Text Oriented Clustering Method for Hot Topics Extraction
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence
Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems
Novel Research on a Fibration Knowledge-Based Solution for Engineered Surface Tolerances within the Modern GPS Context
Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies
Systematic Functional Decomposition in a Product Line Using Aspect-oriented Software Development: a Case Study
A Refinement Technique for Duplication and Collision Between Features in Software Product Line Engineering
Traceability Guideline for Software Requirements and UML Design
The Trustworthiness Metric Model of Interface Based on Defects
Using Bayesian Network to Estimate the Value of Decisions within the Context of Value-Based Software Engineering: A Multiple Case Study
An Analysis of the Root Causes of Defects Injected into the Software by the Software Team: an Industrial Study of the Distributed Health-Care System
A Quantitative-Based Comparison of MaSE and OPM/MAS Design Results
Cloud-Based Mobile Testing as a Service
Softarch: Tool Support for Integrated Software Architecture Development
CBIR Based Testing Oracles: An Experimental Evaluation of Similarity Functions
Online Judge System: Requirements, Architecture, and Experiences
Level-wise Construction of Decision Trees for Classification
Semantic Clone Detection Based on Code Feature Fusion Learning
An Integrated Design Method for SOA-Based Business Modeling and Software Modeling
Factors Affecting Distributed Agile Projects: a Systematic Review
A Patent Data Meta-Path-based Technological Risk Prediction Method
A Fault Localization Approach Based on BiRNN and Multi-Dimensional Features
Semantic Description of Web 3D Worlds through Social Tagging
Future Research Directions of Software Engineering and Knowledge Engineering
Supporting Software Understanding with Automated Requirements Traceability
A Cooperative Coevolution Approach to Automate Pattern-based Software Architectural Synthesis
Architecture-Level Dependence Analysis for Software Systems
Ontology for Systems Development
Object Oriented Design, Modular Analysis, and Fault-Tolerance of Real-Time Control Software Systems
Test Generation for Programs with Binary Tree Structure as Input
A Pilot Study of Productive versus Nonproductive Knowledge Acquisition in Embedded Software Development
Applicability of Machine Learning Methods on Mobile App Effort Estimation: Validation and Performance Evaluation
Very High Data Rate Support for Mobile Cloud Services Using SDN-Based Heterogeneous Carrier Aggregation
Enhancing Answer Selection via Ad-Hoc Knowledge Extraction from Unstructured Web Texts
Automated Test Input Generation via Model Inference Based on User Story and Acceptance Criteria for Mobile Application Development
Log-Based Anomaly Detection with the Improved K-Nearest Neighbor
Towards Measuring the Change Impact in ATL Model Transformations
Specifying Industrial Real-Time Systems with a Temporal Logic Framework
On Favourable Conditions for Adaptive Random Testing
Transforming Conjunctive Match into Rete: a Call-Graph Caching Approach
Interactive Exploration of Data with Visual Metaphors
Protocol Specification Design Using an Object-Based Petri Net Formalism
Graph-Based Software Process Management
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications
The Role of Prototyping Languages in Case
Scalability for Graph-Based Case Tools
Scalable Instance Matching Using Lucene and Mongodb
NISe: Non-Invasive Secure Framework for Multi-Access Edge Computing
A "Resource Package"-Oriented Approach for Remote Sensing Analysis Modeling - Dust Storm Monitoring Model as Example
Revealing the Gap Between Skills of Students and the Evolving Skills Required by the Industry of Information and Communication Technology
Toward Proactive Maintenance: A Multi-Tiered Architecture for Industrial Equipment Health Monitoring and Remaining Useful Life Prediction
A High-Efficiency Knowledge Management System Based on Habitual Domains and Intelligent Agents
MIN-ITs: A Framework for Integration of IT Management Standards in Mature Environments
BSR-TC: Adaptively Sampling for Accurate Triangle Counting over Evolving Graph Streams
MTCEA: Guiding Multi-Modal Entity Alignment via Entity-Type Information
A System Maintenance Process for Faciliating Requests Management and Conflicts Resolution
Effective Social Productivity Measurements during Software Development - An Empirical Study
Towards Automatic Testing of Imaging Software by Means of Random and Metamorphic Testing
Global Optimization Of Linear Hybrid Systems With Varying Time Events
Enhancing Knowledge Management in Online Collaborative Learning
A Systematic Translation Validation Framework for MLIR-Based Compilers
A Framework for Developing Cyber-Physical Systems
Intelligent Positioning and Optimal Diversity Schemes for Mobile Agents in Ubiquitous Networks
Activity-Based Software Process Lines Tailoring
Time-Aware and Weighted Fault Severity Based Metrics for Test Case Prioritization
An Improved Approach to Adaptive Testing
A Tool Based on DL for UML Model Consistency Checking
Planning Support to Software Process Evolution
A Formal Framework to Support Workflow Adaptation
Structure2Content: An Incremental Method for Detecting Outlier Correlation in Heterogeneous Network
Parallel Ensemble Matching Based on Subscription Partitioning for Content-Based Publish/Subscribe Systems
Testing Aspect-Oriented Programs with UML Design Models
A Sliding-Window Method to Discover Recent Frequent Query Patterns from XML Query Streams
Web Service Discovery for Cloud-Based Mobile Application Using Multi-Level Clustering and QoS-Based Ranking
An Experience with the Use of Systems Engineer Case Tool
From SATD Recognition to an Interpretation Method Based on the Dataset
A Comparative Study of Bug Classification Algorithms
The Influence Ranking for Testers in Bug Tracking Systems
Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems
The Use of Ensemble-Based Data Preprocessing Techniques for Software Defect Prediction
Multi-Intent Inline Code Comment Generation via Large Language Model
Case Study Investigation of the Fault Detection and Error Locating Effects of Architecture-based Software Testing
From Software Experience Databases to Learning Organizations
Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing
Developing Web Applications Based on Model Driven Architecture
A Language-Based Approach for Comprehensively Supporting the In Silico Experimental Process
Emergence in Interactive Artistic Visualization
A Data Partition Method for MEMS-Based Storage Devices in a Distributed Computing Environment
DHLBT: Efficient Cross-Modal Hashing Retrieval Method Based on Deep Learning Using Large Batch Training
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking
Extendable and Dynamically Reconfigurable Multi-Protocol Firewall
High-Speed Rt Monitoring System Using Neural Networks
Internet Multimedia Computing - Guest Editors' Introduction
Reachability Testing: an Approach to Testing Concurrent Software
Automated and Optimized Software Test Suite Generation Technique for Structural Testing
Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments
Characterizing the Problem of Developers' Assignment for Merging Branches
Hierarchical Cumulative Voting (hcv) - Prioritization of Requirements in Hierarchies
DockerPedia: A Knowledge Graph of Software Images and Their Metadata
Towards a Pan-European E-Procurement Platform to Aggregate, Publish and Search Public Procurement Notices Powered by Linked Open Data: the Moldeas Approach
Methods on Detecting Closely Related Topics and Spatial Events
Agent-Based Software Engineering - Guest Editors' Introduction
A Cross-Project Defect Prediction Approach Based on Code Semantics and Cross-Version Structural Information
On the Stability of Feature Selection Methods in Software Quality Prediction: An Empirical Investigation
Using Neural Networks to Forecast Available System Resources: An Approach and Empirical Investigation
Creativity and Design Thinking as Facilitators in Requirements Elicitation
Software Resource Architecture
Pattern Mining-Based Warning Prioritization by Refining Abstract Syntax Tree
Using Cultural Algorithms to re-engineer Large-scale Semantic Networks
Exploiting Intelligent Content via AXMEDIS/MPEG-21 for Modelling and Distributing News
RESEARCH NOTES: Design of a Distributed and Highly Scalable Fog Architecture for Heterogeneous IoT Infrastructures
A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively
EFSM Model-Based Testing for Android Applications
A Formal Definition of FRSM and Applications
What Will Affect Software Reuse: A Causal Model Analysis
ATLDesigner: ATL Model Checking Using An Attribute Grammar
Accounting for Product Similarity in Software Project Duration Estimation
A Feature-Oriented Copyright Owner Proving Technique for Still Images
Measuring Class Cohesion Using Internal and External Class Relationships
It-Outsourcing and IT-Offshoring: Trends and Impacts on SE/KE Curricula
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
Pda Based Human Motion Recognition System
How Distribution Affects the Success of Pair Programming
Point-of-Interest Recommendation Based on User Contextual Behavior Semantics
The Radar Architecture for Personal Cognitive Assistance
ARES: An Agile Requirements Specification Process for Regulated Environments
Generating Optimal Class Integration Test Orders Using Genetic Algorithms
A Novel Entity and Relation Joint Interaction Learning Approach for Entity Alignment
A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support
CDL - a Component Description Language for Reuse
A bibliometric/Geographic Assessment of 40 Years of Software Engineering Research (1969-2009)
Reverse Engineering of Object Oriented Systems to ALF
Multistate Reliability Evaluation of Bogie on High Speed Railway Vehicle Based on the Network Flow Theory
A Dual Relaxation Method for Neural Network Verification
Enriching Software Process Support by Knowledge-Based Techniques
Supporting Distributed Individual Tasks in Cooperative Specification Development
A Strategy to Formalize Specification and Its Application to an Advanced Railway System
SQL#: A Language for Maintainable and Debuggable Database Queries
Review and Application of Knowledge Graph in Crisis Management
Device-Centric Low-Power Scheduling for Real-Time Embedded Systems
Modeling Human Intelligence with Slow Intelligence Systems
Perts: a Prototyping Environment for Real-Time Systems
Person Event Detection Method in Computer Discipline Domain Based on BiGRU and CNN in Series
Context-Encoded Code Change Representation for Automated Commit Message Generation
Slicing Execution for Model Checking C Programs
Connecting Closed World Research Information Systems through the Linked Open Data Web
Adaptation Architecture for Self-Healing Computer Systems
Expressing Product Diversification -- Categorizing And Classifying Variability In Software Product Family Engineering
Design of Secure Software Architectures with Secure Connectors
A Calculus for (Meta)Models and Transformations
A Robot Control Knowledge Recommendation Model PKGAT Based on Multimodal Knowledge Graph
A Knowledge-Based Framework of Object-Oriented Software Development Environments
The Si* Modeling Framework: Metamodel and Applications
Analysis of Policy-Based Systems with AGILE Policies Using Petri Nets
Trap.Net: a Realization of Transparent Shaping in .Net
A Template-Driven Approach for Maintainable Service-Oriented Information Systems Integration
Design of Seamless Protocol Switching Layer for Voice Over Internet Protocol (Voip) That Switches Between Bluetooth and Ieee 802.11
On the Use of Generative Deep Learning Approaches for Generating Hidden Test Scripts
Concurrent Bug Finding Based on Bounded Model Checking
Towards The Algebraic Analysis Of Hyperlink Structures
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker
Applying Conventional Unit Testing Techniques to Abstract Data Type Operations
Supporting Queries on Source Code: a Formal Framework
Metrics Visualization Techniques Based on Historical Origins and Functional Layers for Developments by Multiple Organizations
Identify Severity Bug Report with Distribution Imbalance by CR-SMOTE and ELM
Safety-Critical Software: a Research Agenda
Concurrent Data Materialization for Object-Relational Database with Semantic Metadata
Cloud Computing Research Analysis Using Bibliometric Method
Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement
Plagiarism Detection of Multi-threaded Programs Using Frequent Behavioral Pattern Mining
Generating an Algebraic Specification from an ER-Model
A Flexible Strategy for Embedding and Configuring Run-Time Contract Checks in .Net Components
Object-Oriented Modeling with Ontologies Around: A Survey of Existing Approaches
Risk Taxonomy Related to Software Acquisition: a Case Study
Entailment-Based Linear Segmentation in Summarization
Incremental Verification of Architecture Specification Language for Real-Time Systems
Spatial Drawing Framework Design for VR-Based Painting Application
Developing a GIS-Based Information Management System for on-Site wastewater Treatment Facilities
SPERT: Reinforcement Learning-Enhanced Transformer Model for Agile Story Point Estimation
A Hierarchical Feature Ensemble Deep Learning Approach for Software Defect Prediction
A Review of Tacit Knowledge: Current Situation and the Direction to Go
Microcontroller Based Light Control
Filmification Of Methods And An Example Of Its Applications
Adding Form to Real-Time System Specification and Simulation
Optimizing Reflective Primitives of Dynamic Languages
Integrating User Interface Development and Modern Software Development
A Framework for Automated Construction of Node Software using Low-Level Attributes in USN Application Development
Structural Code Clone Detection Methodology Using Software Metrics
My Architecture: a Knowledge Representation Meta-Model for Software Architecture
Method of Cumulative Sums and Problems of Optimal Control by Technological Processes
Configurable Domain Objects for Resource Modelling in Treatment Scheduling
A Large Memory Storage and Retrieval Neural Network for Adaptive Retrieval and Diagnosis
A Novel Approach to Publishing Tasks for Collaboratively Crowdsourcing Workflows