yusuke1997/dblp-id-title huggingface dataset:
An Empirical Study on the Influence of Social Interactions for the Acceptance of Answers in Stack Overflow
Aspect Oriented Programming Made Easy: An Embedded Pointcut Language
SAT-Based Automata Construction for LTL over Finite Traces
SoReady: An Extension of the Test and Defect Coverage-Based Analytics Model for Pull-Based Software Development
Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism
Describing Pattern Languages for Checking Design Models
Bug Prediction Metrics Based Decision Support for Preventive Software Maintenance
A Model for Defining Coupling Metrics
Framework for Recommending Data Residency Compliant Application Architecture
Towards Situation-Aware Cross-Platform Ubi-Game Development
Tool and Guidelines Support for Capability Maturity Model's Software Subcontract Management
A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance
GAIN: GPU-Based Constraint Checking for Context Consistency
Towards Tool Support for Situational Engineering of Agile Methodologies
SMT-Based Bounded Model Checking for OSEK/VDX Applications
Testing Inter-layer and Inter-task Interactions in RTES Applications
An Interaction Support Mechanism in Software Development
Consistency of Code: A Prompt Based Approach to Comprehend Functionality
Extensions of ISO/IEC 25000 Quality Models to the Context of Artificial Intelligence (poster)
AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain
Analyzing the Service Level of Software Debugging System through Simulation-based Queuing Approach
Identifying Learning Challenges faced by Novice/Beginner Computer Programming Students: An Action Research Approach
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
Security-Oriented Service Composition and Evolution
Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment
Large-Scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild
Architectural Abstractions for Real-Time Software
Inferring Specifications of Object Oriented APIs from API Source Code
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms
Design and Implementation of Multi-Agent for Intelligent Software
Service-Driven Migrating of Enterprise Information Systems: A Case Study
Measuring Business Logic Complexity in Software Systems
Unit Test Based Component Integration Testing
Filter-INC: Handling Effort-Inconsistency in Software Effort Estimation Datasets
A Study of the Characteristics of Developers' Activities in GitHub
A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN
A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus
Directed Test Suite Augmentation
Sentence-to-Code Traceability Recovery with Domain Ontologies
Quantitative Analysis for Non-linear System Performance Data Using Case-Based Reasoning
Issues in the construction of new measures within the discipline of Open Systems
A Design Framework for System Re-Engineering
tgp: A Task-Granularity Profiler for the Java Virtual Machine
Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness
An adaptive distributed workflow system framework
Enhancing Source Code Comment Generation via Retrieval-Augmented Generation with Design Document Term Dictionary
Automated Refactoring of Objects for Application Partitioning
iLSE: An Intelligent Web-Based System for Log Structuring and Extraction
An XML/XSL Approach to Visualize and Animate TCOZ
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows
Reference Model for Agile Development of Machine Learning-based Service Systems
A Test-case Generation Method for Concurrent Programs Including Task-types
Object and domain policies specification
Science of Software Changes
Improvements Towards Formalizing UML State Diagrams in CSP
Formal Design and Verification of Zone Controller
CLIONE: Clone Modification Support for Pull Request Based Development
Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth Models
26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019
Cross-Sub-Project Just-in-Time Defect Prediction on Multi-Repo Projects
Development of an Intelligent Web Interface to Online Library Catalog Databases
A Comprehensive Evaluation of Software Reliability Modeling Based on Marshall-Olkin Type Fault-Detection Time Distribution
Discovering User-Defined Event Handlers in Presence of JavaScript Libraries
An Effective Path Selection Strategy for Mutation Testing
Technical Lag of Dependencies in Major Package Managers
An Investigation into Concurrency Control Mechanisms in Data Service Layers
Efficient Component Based Software Engineering using the TCEM Methodology and the TCET Tool
New Software Components with an Autonomous Changing Mechanism
Not Whether Java but How Java
Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool
An Asset-Based Assistance for Secure by Design
Refining Exceptions Using King and Morgan's exit Construct
Software Engineering Research: A Methodological Analysis
A checklist-based approach to assess the systematicity of the abstracts of reviews self-identifying as systematic reviews
A communication workload estimation model based on relationships among shared works for software development projects
Joint Proceedings of the 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016) and 1st International Workshop on Technical Debt Analytics (TDA 2016) co-located with the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), Hamilton, New Zealand, December 6, 2016
A State Machine Analysis Support System Based on the Problem Frames
Reasoning about real-time programs using idle-invariant assertions
Exploring Activity and Contributors on GitHub: Who, What, When, and Where
Understanding Source Code Variability in Cloned Android Families: An Empirical Study on 75 Families
An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness
Model-Driven Semantic Web Service Composition
An Operational Component Specification Method
A Novel Statistical Measure for Out-of-Distribution Detection in Data Quality Assurance
JB-OODBT: An Object-Oriented Database Toolkit for JB/CASE
Who Should Review this Pull-Request: Reviewer Recommendation to Expedite Crowd Collaboration
Debugging Model-to-Model Transformations
How Are Issue Units Linked? Empirical Study on the Linking Behavior in GitHub
Software Process Improvement Paradigms
A precise estimation technique for test coverage of components in object-oriented frameworks
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML
Feature Modeling from Holistic Viewpoints in Product Line Engineering
History and Lessons Learnt from a Metrics Program at a CMMI Level 3 Company
A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification
Requirements engineering and strategic decision exploration: an area for interdisciplinary research
Security Weaknesses Detection by Symbolic Analysis of Scenarios
Report on the 2nd Software Engineering Education Workshop (SEED 2019) co-located with APSEC 2019
Permission Assurance for Semantic Aspects of Design Patterns
Monitoring with Behavior View Diagrams for Debugging
Cultural Factors Influencing International Collaborative Software Engineering Education in China
An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth Models
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
Software Requirements Triage and Selection: State-of-the-Art and State-of-Practice
Predicting Quality of Service (QoS) Parameters using Extreme Learning Machines with Various Kernel Methods
Quality Assurance of A GPT-Based Sentiment Analysis System: Adversarial Review Data Generation and Detection
A Snapshot of Software Testing Education and Instructional Interventions
An Investigation of the Relationship between Extract Method and Change Metrics: A Case Study of JEdit
Module Coupling: A Design Metric
An Extended Semantic Foundation For Object-Z
Exploring Depths of WebAudio: Advancing Greybox Fuzzing for Vulnerability Detection in Safari
Automated class testing: methods and experience
Bug Localization Based on Code Change Histories and Bug Reports
Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy
Tool Support for Statistical Testing of Software Components
Jata: A Language for Distributed Component Testing
Proposal of a Support System for Device Driver Generation
Modeling Timing Requirements in Problem Frames Using CCSL
Efficient and Scalable Collection of Dynamic Metrics Using MapReduce
Multi-Discussing across Issues in GitHub: A Preliminary Study
Automatic Classification of UML Class Diagrams from Images
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse
Feature-Oriented Analysis and Aspect-Oriented Product Line Assets Development
Handling Nonfunctional and Conflicting Requirements with Design Patterns
A Large-Scale Empirical Comparison of Object-Oriented Cohesion Metrics
Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class Diagrams
CP Decomposition and Set Theory based Root Cause Analysis in Online Service Systems
Improving Data Integrity with a Java Mutability Analysis
The Need For New Software Technology: Have We Overcome the Software Crisis?
A Map of Threats to Validity of Systematic Literature Reviews in Software Engineering
An Empirical Study of Predicting Fault-prone Components and their Evolution
Extracting Development Organization from Open Source Software
Proceedings of the 8th International Workshop on Quantitative Approaches to Software Quality co-located with 27th Asia-Pacific Software Engineering Conference (APSEC 2020), Singapore (virtual), December 1, 2020
A Case Study Using SAM - Safety Analysis of PES
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities
An Extension of the Behavioral Theory of Group Performance in Software Development Technical Reviews
Relax: Automatic Contention Detection and Resolution for Configuration Related Performance Tuning
Security-Critical System Development with Extended Use Cases
An Approach to Estimating Cost of Running Cloud Applications Based on AWS
Automatically Generating C++ Programs from LOTOS Behavior Specifications
Adoption and Suitability of Software Development Methods and Practices
Statements versus Predicates in Spectral Bug Localization
14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan
Factor Analysis of Comprehension States in the Learning Phases of a Programming Language
Producing and managing software objects in the process programming environment OPM
Linking Functions and Quality Attributes for Software Evolution
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications
A Novel Tool for Automatic GUI Layout Testing
Lehman's Laws and the Productivity of Increments: Implications for Productivity
Analysis for Blockchain Application Quality
Data Flow Based Integration Testing for Embedded System Using Interaction Model
Optimal Reasoning of Goals in the i* Framework
Eye-Tracking Metrics in Software Engineering
8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China
Testing of Timer Function Blocks in FBD
Analysis of the OLSR Protocol by Using Formal Passive Testing
The Design of Evolutionary Process Modeling Languages
Natural Language Processing-Based Requirements Modeling: A Case Study on Problem Frames
Challenging Formal Specifications by Mutation: a CSP security example
Methodology Support for the Model Driven Architecture
FAILS: a tool for assessing risk in ML systems
Developing an Insulin Pump System Using the SOFL Method
Detecting Common Weakness Enumeration Through Training the Core Building Blocks of Similar Languages Based on the CodeBERT Model
Design and Implementation of Dynamically Reconstructing System Software
Unification and Consistency Verification of Object-Oriented Analysis Models
Scalable Fault Detection Based on Precise Access Path
A Case Study based Software Engineering Education using Open Source Tools
A Run-Time Deadlock Detector for Concurrent Java Programs
Towards automated open source assessment - An empirical study
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language
Understanding the Involvement of Developers in Missing Link Community Smell: An exploratory Study on Apache Projects
Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time
Reasoning about Concurrent Objects
A Software Metric Combination Model for Software Reuse
Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow
A Systematic Review of Studies of Open Source Software Evolution
Evolving Critical Systems
Compacting regression-suites on-the-fly
A Theory of Interactions and Scenes for User Centered Systems Specification and Verification
SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning
Efficient Modelling of Embedded Software Systems and their Formal Verification
Use Cases Modeling for Scalable Model-Checking
Integrating Non-functional Requirement Modeling into Model Driven Development Method
Lazy Runtime Verification for Constraints on Interacting Objects
Critical Understanding of Security Vulnerability Detection Plugin Evaluation Reports
Qunomon: A FAIR testbed of quality evaluation for machine learning models
Engineering an Open-Web Educational Game Design Environment
An Empirical Study of Code Deobfuscations on Detecting Obfuscated Android Piggybacked Apps
A comparative evaluation of techniques for syntactic level source code analysis
Applying SOFL to Develop a University Information System
Understanding Source Code Differences by Separating Refactoring Effects
Architecture-Centric Model-Driven Web Engineering
Teaching by Case Method in Computing Education
Run-Time Safety Monitoring Framework for AI-Based Systems: Automated Driving Cases
Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique
On Security Issues in Web Applications through Cross Site Scripting (XSS)
Towards Constructing a Class Evolution Model
Accountability and Traceability in Global Software Engineering (ATGSE2007)
Search-Based Testing Guidance Using Dominances vs. Control Dependencies
A Method for Modeling and Analyzing Fault-Tolerant Service Composition
An Automated Evaluation Approach for Jupyter Notebook Code Cell Recommender Systems
Runtime Checking for Paired Functions in Device Drivers
PyReload: Dynamic Updating of Python Programs by Reloading
High Performance Technique for Ultrareliable Execution of Tasks Under Both Hardware and Software Faults
Contextual Matching of Software Library Components
Learn To Align: A Code Alignment Network For Code Clone Detection
A Preliminary Study on Sensitive Information Exposure Through Logging
Feature Combination to Alleviate Hubness Problem of Source Code Representation for Bug Localization
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics
Dependency Based Approach for Software Analysis Web Services Replacement
HKBCN - A Hybrid Intelligent System for Knowledge Revising
Orchestrating Computations on the World-Wide Web
An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective?
Towards a Catalog of Refactoring Solutions for Enterprise Architecture Smells
Context Sensitive Dynamic Slicing of Concurrent Aspect-Oriented Programs
Changes in the Software Development Profession to Meet the Need for Innovation from Businesses and Government
Evaluation of Source Code Updates in Software Development Based on Component Rank
The Perceived Effects of Introducing Coaching on the Development of Student's Soft Skills Managing Software Quality
Flexible Module Operation Scheme in Formal Specification Process
An Architecture Model for Dynamically Converting Components into Web Services
Architecture Security Evaluation Method Based on Security of the Components
Does the "Project Manager" Still Exist in Agile Software Development Projects?
Supporting Awareness during Collaborative and Distributed Configuration of Multi Product Lines
A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application
Increasing the Efficiency of Fault Detection in Modified Code
Heterogeneous Cross-Company Effort Estimation through Transfer Learning
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems
Lightweight Detection of Program Refactorings
5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC
A Formal Model for Behavior Trees Based on Context - Free Grammar
On Accelerating SMT-based Bounded Model Checking of HSTM Designs
A Survey on Early Separation of Concerns
Run-Time Monitoring and Real-Time Visualization of Software Architectures
Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment
Building Scalable Failure-proneness Models Using Complexity Metrics for Large Scale Software Systems
Requirements elicitation and repeatable processes - interdisciplinary collaboration between software engineering and design
Mining Software Engineering Team Project Work Logs to Generate Formative Assessment
Text-Based Testing Environment for Voice-Based Services
A Framework for Internet of Things Search Engines Engineering
An Industrial Case Study on Fault Detection Effectiveness of Combinatorial Robustness Testing
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing
Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification
How Data Plays in the Requirements of Face Recognition System: A Concern Driven Systematic Literature Review
Validating Software Reliability by Binary Translation
Transitioning from motivational goal models to user stories within user-centred software design
Software Engineering Research Validation
A Research Landscape of Software Engineering Education
Bridging the Gap Between Academic Curricula and Industrial Practice with DevOps Education
Static and Dynamic Metrics for Effective Object Clustering
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
Translating descriptions of a viewpoint among different representations
Can We Detect Bug Report Duplication with Unfinished Bug Reports?
SolAnalyser: A Framework for Analysing and Testing Smart Contracts
Spectral Debugging with Weights and Incremental Ranking
Automatic Generation of Pseudocode with Attention Seq2seq Model
Implementation of a software engineering course for computer science students
AI Deployment Architecture: Multi-Case Study for Key Factor Identification
SA@Work A Field Study of Software Architecture and Software Quality at Work
Formalization and 'Literate' Programming
Extraction of Viewpoints for Eliciting Customer's Requirements based on Analysis of Specification Change Records
Design and Implementation of Test-Case Generation for Concurrent Programs
Find your Open Source License Now!
Guiding the requirements engineering process
Calculating Preconditions for Parallel Workflows
A Context-Based Integrity Framework
Software Support for Distributed Business Processes
Generating interoperability tests for networked media devices
Report on the the 11th International Workshop on Quantitative Approaches to Software Quality
Empirical Analysis of Fault-Proneness in Methods by Focusing on their Comment Lines
Inferring Faults in Business Specifications Extracted from Source Code
Application Layer Encryption for Cloud
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow
A Graph-Based Approach to Web Service Matchmaking
Results on Formal Stepwise Design in Z
DOOD: Distributed Object-Oriented Software Development Environment
Modeling and Testing of GUIs Using IOLTS
System Quality Improvement Including Software and Infrastructure Based on Software Metrics Approach
MEtaGile: An Agile Domain-Specific Modeling Environment
Limitations of Formal Methods and an Approach to Improvement
Real-time Twist Rebar Detection System exploiting GAN-based Data Augmentation technique
Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Effective Bug Triage Based on a Hybrid Neural Network
A Heap Model for Java Bytecode to Support Separation Logic
Software Engineering Education - Adding Process to Projects Theory, Practice and Experience
SHML: Stochastic Hybrid Modeling Language for CPS Behavior
Extracting Traceability between Predicates in Event-B Refinement
Towards Testing of Deep Learning Systems
Checking compositions of UML sequence diagrams for timing inconsistency
What Should Software Practitioners Know for Adopting Product Line Software Engineering?
Towards an approach for designing socio-technical business processes
Probabilistic testing of asynchronously communicating systems
Towards Semantic-Aware Collaborations in Systems Engineering
Towards a Learner-Centred Approach to Teaching Object-Oriented Design
A framework for risk analysis in software engineering
JeB: Safe Simulation of Event-B Models in JavaScript
SIF: A Framework for Solidity Contract Instrumentation and Analysis
Kurtosis and Skewness Adjustment for Software Effort Estimation
Topic Trends in Issue Tracking System of Extended Reality Frameworks
VisTML: A Visual Modeling Language for Model Transformation
Experiences in Systems Evolution: Practical Aspects and Cautionary Tales
Query by Drawing Examples of UML Model
ENeRgy SustaInability COding, a Practical Use Case
Constraint Checking in Distributed Product Configuration of Multi Product Lines
Design of Rules for Transforming UML Sequence Diagrams into Java code
A visual programming environment for Z specifications
From Scenarios to Timed Automata: Building Specifications from Users Requirements
Schemata, Acculturation, and Cognition: Expatriates in Japan's Software Industry
Goal-Centralized Metamodel Based Requirements Integration for Machine Learning Systems
Systematic Literature Review of Gender and Software Engineering in Asia
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems
Analyzing Code Comments to Boost Program Comprehension
Toward Industry Oriented Software Engineering Project Course: A Pilot Study
Detecting High Floating-Point Errors via Ranking Analysis
Conducting a Fully Online Education of a Software Engineering Course with a Web Application Development Component due to the COVID-19 Pandemic and its Evaluation
Building an Open Identity Platform for India
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL
Modeling and Verifying Identity Authentication Security of HDFS Using CSP
A Systematic Method to Instantiate Core Assets in Product Line Engineering
Effectively Manifesting Concurrency Bugs in Android Apps
Toward a Better Alignment Between the Research and Practice of Code Search Engines
Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems
Splitting Commits via Past Code Changes
Specification-Based Class Testing with ClassBench
CEGen: Cause-Effect Graph Generation Using Large Language Models
Modular reasoning in Object-Z
An Exploratory Experiment on Metamodel-Transformation Co-Evolution
Liaison: A Workflow Model for Novel Applications
Are Size Measures Better Than Expert Judgment? An Industrial Case Study on Requirements Volatility
Automatic Classification of Web Pages based on the Concept of Domain Ontology
ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MIS