yusuke1997/dblp-id-title huggingface dataset:
Exploring the Potential of Large Language Models in Automatic Pull Request Title Generation: An Empirical Study
Finite Symbolic Reachability Graphs for High-Level Petri Nets
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis
Software Quality Construction: Empirical Study on the Role of Requirements, Stakeholders and Resources
Collaborative Learning Strategies in Software Engineering Course
Automated Insertion of Exception Handling for Key and Referential Constraints
Lemma Weakening for State Machine Invariant Proofs
Automatic Extraction and Verification of Page Transitions in aWeb Application
Analyzing and Detecting Toxicities in Developer Online Chatrooms: A Fine-Grained Taxonomy and Automated Detection Approach
Bidirectional Translation between OCL and JML for Round-Trip Engineering
Dataset Coverage for Testing Machine Learning Computer Programs
Enhancing Domain Knowledge for Requirements Elicitation with Web Mining
E-AoSAS++ and its Software Development Environment
Reasoning about Semantic Web in Isabelle/HOL
Approximation Algorithms for Software Component Selection Problem
Automated Comparison of Process Improvement Reference Models Based on Similarity Metrics
Quantitative Analysis of Requirements Evolution across Multiple Versions of an Industrial Software Product
Automatic Selecting of Required NetNews Articles
Tutorial: organizing, managing and optimizing software testing
Conformance Testing of BDI Properties in Agent-based Software Systems
MUSE: A Multi-Feature Semantic Fusion Method for ROS Node Search Based on Knowledge Graph
An Analysis Method of Safety Requirements for Automotive Software Systems
A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation
An Integrated Approach to IS modeling
Issues in object orienting the ST Microelectronics manufacturing model
An Integrated Risk Analysis Method Using Spatial Interpolation
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach
Adopting MBSE in Construction Equipment Industry: An Experience Report
Towards Unanticipated Runtime Adaptation of Java Applications
Development of Project Outcome Prediction System for an IT Vendor
Pandemic Software Development: The Student Experiences from Developing a COVID-19 Information Dashboard
Reducing Redundant Checking for Visual Regression Testing
Outliers and Replication in Software Engineering
Modeling and Verifying Data Access Mechanism of NLSR Trust Model
Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine
Bayesian propensity score matching in automotive embedded software engineering
A Method for Exception Scenarios Generation Using Templates of Exceptions
Analytical Study of Cognitive Layered Approach for Understanding Security Requirements Using Problem Domain Ontology
A dynamic Extension for the Specification of Distributed Systems
Toward Efficient Aspect Mining for Linux
A Systematic Approach to Process Enactment Analysis as Input to Software Process Improvement or Tailoring
Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution
Design and Implementation of a Method Base Management System for a Situational CASE Environment
Don't Trust Me, Test Me: 100% Code Coverage for a 3rd-party Android App
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems
Landscape of Requirements Engineering for Machine Learning-based AI Systems
Deadlock-Detection in Java-Library Using Static-Analysis
Software Feature Location Based on Topic Models
Search Based Combinatorial Testing
Estimating Web Service Quality of Service Parameters using Source Code Metrics and LSSVM
Secure Behavior of Web Browsers to Prevent Information Leakages
On Detecting Concurrency Defects Automatically at the Design Level
Understanding Quality Attributes in Microservice Architecture
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements
Software Optimizations of Multiple Sets Intersection via SIMD Instructions
Implementing Angelic Nondeterminism
Automating Inference of OCL Business Rules from User Scenarios
An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT
Goal-Oriented Requirements Engineering
Requirements engineering for sociotechnical systems: Case study of an Airline Operations Control Center
Software Development Based on Software Pattern Evolution
Data bias measurement: a geometrical approach through frames
Software Testing and Metrics for Concurrent Computation
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
Ad Hoc System : a Software Architecture for Ubiquitous Environment
A Combination of Classification and Summarization Techniques for Bug Report Summarization
Agent-Based Web Services Evolution for Pervasive Computing
Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework
BugsInKube: A Collection of Reconciliation Bugs
Experiment-Driven Approach to Building Support for Distributed Agile Teams
Consistency checks for UML
Agile Development of Web Application by Supporting Process Execution and Extended UML Model
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software
A Formal Approach for the Iterative Design of Behavioural Models
Tailoring and Verifying Software Process
NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability
JINI/J2EE Bridge for Large-scale IP Phone Services
Context-Adaptation Bugs in Micro-Clones
LOODS: a new learning-based object-oriented system development environment
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications
Integrating Use-Case Analysis and Task Analysis for Interactive Systems
e-Science Experiences: Software Engineering Practice and the EU DataGrid
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System
Client Profiling for QoS-Based Web Service Recommendation
Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements Elicitation
Autorepairability of ChatGPT and Gemini: A Comparative Study
Towards Tool Integration through Artifacts and Roles
Practitioner-Oriented Visualization in an Interactive Search-Based Software Test Creation Tool
Quality Attribute Scenario Based Architectural Modeling for Self-Adaptation Supported by Architecture-Based Reflective Middleware
An Empirical Evaluation of Defect Prediction Models Using Project-Specific Measures
Unveiling Cognitive Biases in Software Testing: Insights from a Survey and Controlled Experiment
On the Scrutinization of the NFT Valuation Factors
Scenarios, Quality Attributes, and Patterns: Capturing and Using their Synergistic Relationships for Product Line Architectures
An Extension of Problem Frame Notation for Software Product Lines
Code Clone Graph Metrics for Detecting Diffused Code Clones
Augmenting Product Lines
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet
A methodology for object-oriented constraint programming
A Trust Impact Analysis Model for Composite Service Evolution
Code Suggestion of Method Call Statements Using a Source Code Corpus
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Multi-Perspective Visualization to Assist Code Change Review
Formalizing Architectural Rules with Ontologies - An Industrial Evaluation
Multi-Plan Attribute Grammars
Unit Testing Challenges with Automated Marking
Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis
A Versioning Scheme for Consistent Evolution of OO Applications
On the Relationship between Different Size Measures in the Software Life Cycle
An Empirical Evaluation of Architectural Alternatives for J2EE and Web Services
A Tools Environment for Developing and Reasoning about Ontologies
Comparison of Different Keyphrase Extraction Algorithms for Supporting Problem Selection in Online Judge System
Scrum Anti-Patterns - An Empirical Study
27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020
Detection of a Set of States in Distributed Systems
How PHP Releases Are Adopted in the Wild?
Quality Characteristics of Artificially Intelligent Systems
Duplicate Bug Report Detection by Using Sentence Embedding and Faiss
LogFold: Enhancing Log Anomaly Detection Through Sequence Folding and Reconstruction
Exploring Semantics of Software Artifacts to Improve Requirements Traceability Recovery: A Hybrid Approach
A PLSE Environment in 80s - International Workshop on Adopting Product Line Software Engineering
Combatting Use Case Points' Limitations with COCOMO(R) II and Relative Difficulty
A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive Software
0-1 Programming Model-Based Method for Planning Code Review Using Bug Fix History
Flexible Fine-grained Version Control for Software Documents
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation
A Systematic Method to Identify Software Components
Requirements engineering for sociotechnical systems that may include mixed initiative interactions between humans and machines
Integrating Stateful Services in Workflow
Toward Comprehension of Side Effects in Framework Applications as Feature Interactions
Re-defining the Requirements Engineering Process Improvement Model
Combinatorial Testing with Shielding Parameters
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C
23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016
Early Stage Software Reliability and Design Assessment
A Third-Party Extension Support Framework Using Patterns
CSMonitor: A Visual Client/Server Monitor for CORBA-Based Distributed Applications
Application of LSSVM and SMOTE on Seven Open Source Projects for Predicting Refactoring at Class Level
A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements
Visualising the influence of data structure choice on the performance of a distributed database system
Approach to Develop Quality Model of Cloud Services
Software Quality Requirements: A Systematic Mapping Study
Cost-Benefit Analysis for Modernizing a Large-Scale Industrial System
TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces
ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?
Predicting Next Changes at the Fine-Grained Level
An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-Tier Architecture
A Quality Doctrine for Software: Do It Right the First Time
Genericity - a "Missing in Action" Key to Software Simplification and Reuse
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming
Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching
Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems
A Tool for Constructing Syntax-Directed Editors
Integrating SQuARE with ISO 31000 risk management to measure and mitigate software bias
The OIRE Method - Overview and Initial Validation
DigiSoC - Digital Software City - toward Software 3R: Reduce, Reuse, and Recycle
Perspectives on Managing Technical Debt: A Transition Point and Roadmap from Dagstuhl
Formal specification of Catalysis frameworks
Understanding the Effect of Developer Sentiment on Fix-Inducing Changes: An Exploratory Study on GitHub Pull Requests
Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets
Reversing concurrent systems into formal specifications
A Framework for Distributed Testing of Timed Composite Systems
Requirements Engineering Practices Model to Incorporate 'Power' Human Value
24th Asia-Pacific Software Engineering Conference Workshops, APSEC Workshops 2017, Nanjing, China, December 4-8, 2017
An Exploratory Study on Interface Similarities in Code Clones
CIMO - Component Integration MOdel
A Requirements Description Metamodel for Use Cases
Test Case Generation for Cross-Blockchain Smart Contract
An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation
Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B
Improving Bug Localization with Character-Level Convolutional Neural Network and Recurrent Neural Network
Effect of Model Based Software Development on Productivity of Enhancement Tasks - An Industrial Study
25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018
Resource-Oriented Architecture for Business Processes
DRC: A Dependence Relationships Based Cohesion Measure for Classes
Testing of Component-Based Systems
Aspect-Oriented Modeling for Embedded Software Design
Comparing Automated Reuse of Scripted Tests and Model-Based Tests for Configurable Software
Software process representation to support multiple views
From Goal Models to Feature Models: A Rule-Based Approach for Software Product Lines
Goal based agent-oriented software modeling
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
Requirements Engineering Based on REBOK (Requirements Engineering Body Of Knowledge) and Its Practical Guide
How Do Programmers Maintain Concurrent Code?
Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review
Unit Testing Approaches for BPEL: A Systematic Review
Exploring Collaboration Patterns in GitHub Using Discrete Time Markov Chain
Factors Influencing Research Contributions and Researcher Interactions in Software Engineering: An Empirical Study
Application of CBSE to Projects with Evolving Requirements - A Lesson-Learned
Revisiting Measurement of Software Complexity
Visualization for Software Evolution Based on Logical Coupling and Module Coupling
Migrated Question Prediction on StackExchange
Formal Modelling and Verification of Spinlocks at Instruction Level
A TAHG model based software generator system
Formalization and Verification of Safety Properties of Statechart Specifications
Deriving Software Process Simulation Model from SPEM-based Software Process Model
Why not Just Look for Answers? Using a More Direct Way for API Recommendation
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3
Providing Technical Software Documentation as a Service - An Industrial Experience Report
Customization of Scrum Methodology for Outsourced E-Commerce Projects
Automated Analysis of Multi-View Software Architectures
Model Driven Software Security Architecture of Systems-of-Systems
Principles of Software Evolution
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment
Prioritization in Automotive Software Testing: Systematic Literature Review
An Empirical Study on Regression Techniques for Software Defect Number Prediction
An Architectural Model to Support Adaptive Software Systems for Sensor Networks
A Dual-Mode Exerciser for a Collaborative Computing Environment
A Rigorous Method for Testing Real-Time Reactive Systems
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System
A Simple Configuration Management System for CASE Repository
Using Components to Increase Maintainability in a Large Telecommunication System
A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL
Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications Development
Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application Systems
An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
A System Dependence Net Generator for Ada Programs
Establishing International Standards for Systems and Software Quality Requirements and Evaluation
Applying a Code Clone Detection Method to Domain Analysis of Device Drivers
The Essential Components of Software Architecture Design and Analysis
BLINKER: A Blockchain-Enabled Framework for Software Provenance
Deriving Programs by Combining and Adapting Refinement Scripts
Generation of Mimic Software Project Data Sets for Software Engineering Research
Understanding the Non-Repairability Factors of Automated Program Repair Techniques
Security: Bridging the Academia-Industry Gap Using a Case Study
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems
Report on the 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016)
Analysis of Adaptive Policy-Based Approach to Avoid Policy Conflicts
From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach
BOOTSTRAP: a software process assessment and improvement methodology
Balancing between Creativity and Efficiency in Software Engineering Project Courses
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP
Microservices Architecture in DevOps
Safety Analysis Using Coloured Petri Nets
A Multi-factor Approach for Flaky Test Detection and Automated Root Cause Analysis
Risk assessment to design business process incorporating AI tasks
An Integrated Model of ISO 9001: 2000 and CMMI for ISO Registered Organizations
Formal Modeling of Large Domains
Developers Expertise and Roles on Software Technologies
BuOA: An Achitecture Style for Modular Web Applications
Exploring the Relationships between Software Architecture and Source Code
Data-Race-Freedom of Concurrent Programs
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules
lpt: A Tool for Tuning the Level of Parallelism of Spark Applications
An Incremental Analysis to Workflow Specifications
Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard
Parallel Symbolic Execution for Smart Contracts with Load Balancing
Automatic Programming Assessment System for a Computer Science Bridge Course - An Experience Report
Context Coverage in "Quality in Use Model"(short paper)
Psachno: A Dynamic and Generic Discovery Framework within a Peer-to-Peer Network Model
An Incremental and Practical Approach to Enable the Component Run-time Evolution
Trying to Increase the Mature Use of Agile Practices by Group Development Psychology Training - An Experiment
Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project
Parameterized Search Heuristic Prediction for Concolic Execution
Strategies for Aligning Variability Model and Architecture
Mining Customer Satisfaction on B2B Online Platforms using Service Quality and Web Usage Metrics
A Benchmark Study of the Contemporary Toxicity Detectors on Software Engineering Interactions
Federated Learning Systems: Architecture Alternatives
Event Interactions Graph for Test-case Generation of Concurrent Programs
An Efficient Application-Device Matching Method for the Mobile Software Ecosystem
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool
Multi-Level Compliance Measurements for Software Process Appraisal
A Learning to Rank Framework for Developer Recommendation in Software Crowdsourcing
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011
Designing Distributed Systems w.r.t. Conformance
A Test Scenario Design Methodology Based on Business Context Modeling and Its Evaluation
Keynote Address: Auditing Informal Software Testing and Analysis Processes
Study Group Report on SQuaRE Future Direction (invited paper)
Metrics for Analyzing Module Interactions in Large Software Systems
SamikshaUmbra: Contribution and Performance Assessment of Software Maintenance Professionals by Mining Software Repositories
Real-Time System Design Tools for RTO.e (Real-Time Object.extended)
A Preference and Honesty Aware Trust Model for Web Services
Classifying Bug Issue Types for Deep Learning-Oriented Projects with Pre-Trained Model
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
Importance Measurement for the Integration of Construction CALS Systems in South Korea
12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan
Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning
Vision, Strategy, and Practice of Software Research & Development in Industry
Fairness Metrics and Maximum Completeness for the Prediction of Discrimination
Visualizations as a Basis for Agile Software Process Improvement
Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report
mu-Charts and Z: examples and extensions
On the Evolutionary Properties of Fix Inducing Changes
Experiment of Component-Based Software Development on Multiple Distributed Object Environments
A Design Pattern to Build Executable DSMLs and Associated V&V Tools
A CSP-theoretic Framework of Checking Conformance of Business Processes
Hidden-use Case for Eliciting Quality in Use (short paper)
Iterative Model Fixing with Counterexamples
Change Control for Product Line Software Engineering
Compilation of Specifications
An Approach for Measuring Software Evolution Using Source Code Features
AMF: A Field to Realize the Values of Agile Manifesto through Retrospectives
A Mapping Study on Mining Software Process
Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice
Using Analytics to Quantify Interest of Self-Admitted Technical Debt
Dynamic Community: A New Conceptual Framework for Supporting Knowledge Collaboration in Software Development
Third generation OO processes: a critique of RUP and OPEN from a project management perspective
Tool Integration Models
Quality Attributes Assessment for Feature-Based Product Configuration in Software Product Line
Aspect Oriented Approach to Building Secure Service Composition
Component-based application development on architecture of a model, UI and components
Towards Accurate File Tracking Based on AST Differences
Test Case Selection Based on Path Condtions of Symbolic Execution
An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting
A Formal Basis for Object-Oriented Patterns
An XVCL Approach to Handling Variants: A KWIC Product Line Example
Joint Proceedings of the 5th International Workshop on Experience with SQuaRE series and its Future Direction and the 11th International Workshop on Quantitative Approaches to Software Quality co-located with the 30th Asia Pacific Software Engineering Conference (APSEC 2023), Seoul, South Korea, December 4, 2023
Generation of Character Test Input Data Using GA for Functional Testing
AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams
Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling
Test Management Based on Quality Characteristics (short paper)
Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar
WMWatcher: Preventing Workload-Related Misconfigurations in Production Environment
On Mutation Testing of Graph Database Queries in the Cypher Language