yusuke1997/dblp-id-title huggingface dataset:
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System
Report on the First International Workshop on Technical Debt Analytics (TDA 2016)
Execution Plan for Software Engineering Education in Taiwan
Combining case-based and model-based reasoning: a formal specification
An Approach to Generate Actor-Oriented Activity Charts from Use Case Requirements
Generating data access programs from PCTE schemas with constraints
A Model and Architecture of REBOK (Requirements Engineering Body of Knowledge) and Its Evaluation
Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution
Model-Checking C Programs against JML-like Specification Language
Experiences During Extraction of Variability Models for Warehouse Management Systems
An Attentive Deep Supervision based Semantic Matching Framework For Tag Recommendation in Software Information Sites
A semantic model of a small typed functional language using Object-Z
An Incremental V-Model Process for Automotive Development
Toward Enhancing Software Developers' Persuasion and Engagement in Gamification
Living with Free Type and Class Union
A Service-Oriented Architecture for Design and Development of Middleware
Accommodating Software Development Collaboration
Performing Projection in Problem Frames Using Scenarios
A Probabilistic Approach to Automatic Verification of Concurrent Systems
MDC-Based Grey-Box Component Modeling and Prediction Analysis
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement
A Practical Study of Debugging Using Model Checking
The Improvement of the Trustworthiness of Android App Stores in China
Monitoring facilities in languages supporting development of concurrent self-measurement programs
Extracting Environmental Constraints to Make Reactive System Specifications Realizable
Improving Machine Learning-Based Code Smell Detection via Hyper-Parameter Optimization
Teaching Object-Oriented Modeling as a Part of Programming Courses
Integrating Safety and Security Requirements into Design of an Embedded System
A model-based MICOM application software development method
A Practical Estimation Method for Complex RE
Transatlantic project courses in a university environment
The First International Workshop on Management and Economics of Software Product Lines (MESPUL07)
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis
Recommending Proper API Code Examples for Documentation Purpose
A Study of Using Multimodal LLMs for Non-Crash Functional Bug Detection in Android Apps
Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -
Specifying and Reasoning about Generic Architecture in TCOZ
iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses
Coverage Analysis Method Using Quality Characteristics
Fault-Prone Module Prediction Using a Prediction Model and Manual Inspection
Noff: A Novel Extendible Parallel Library for High-Performance Network Traffic Monitoring
A Method for Detecting and Measuring Architectural Layering Violations in Source Code
A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course
Assessing the Effectiveness of Vulnerability Detection via Prompt Tuning: An Empirical Study
A Goal-Oriented Design Methodology of IT-Driven Business Architecture
Selecting Components: a Process for Context-Driven Evaluation
Self Adaptive Software Technology for Robotics
RE_PROV: Modeling Requirement Provenance with PROV
16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia
The Steam Boiler in a Unified Theory of Z and CSP
Crowdsourced Testing for Enterprises: Experiences
OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques
Techniques for Systematically Generating Framework Diagram based on UML
The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis
Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives
Monitoring Composite Services with Universal Modal Sequence Diagrams
An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources
Reusing My Own Code: Preliminary Results for Competitive Coding in Jupyter Notebooks
EFSPredictor: Predicting Configuration Bugs with Ensemble Feature Selection
A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes
Duplicate Bug Report Summarization
Deriving Program Physical Structures Using Bond Energy Algorithm
Timing-Aware Variability Resolution in EAST-ADL Product Line Architecture
SysML Flow Model
Entity Disambiguation in Natural Language Text Requirements
A Learning-to-Rank Based Approach for Improving Regression Test Case Prioritization
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
UML-based Modeling and Analysis of 5G Service Orchestration
A Process Pattern Language for Agile Methods
A Comprehensive Interface Definition Framework for Software Components
A SCM Workflow Model for CMM Organizations
Integration of Software Process Management and Development History Recording
Understanding the Effects of Code Clones on Modularity in Software Systems
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization
19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012
Extending Linden Scripting Language on OpenSim
Avoiding Some Common Preprocessing Pitfalls with Feature Queries
Automated Test Sequence Generation for Function Block Diagram Programs
Automated Deployment of Data Collection Policies over Heterogeneous Shared Sensing Infrastructures
A Nonlinear Approach to Modeling of Software Aging in a Web Server
Modeling Web Attachment Storage for Web Applications
Rigorous EBNF-based Definition for a Graphic Modeling Language
Deriving test cases using class vectors
Tool-supported Development of ML Prototypes
Diffusion of Software Features: An Exploratory Study
Simply Observable Behavioral Specification
Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems
SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks
From Monolith to Microservices: A Dataflow-Driven Approach
CURE: Automated Patch Generation for Dynamic Software Update
Supporting Product Line Development through Traceability
Java2Pseudo: Java to Pseudo Code Translator
Towards tracking the development process of the server ecosystems using open-source data
Test Case Prioritization Based on Information Retrieval Concepts
Diving Deep into Human Centric Issues within Cyber Security
Interpreting CodeBERT for Semantic Code Clone Detection
Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy
How to Have a Successful Free Software Project
ISO/IEC 25000 and AI product quality measurement perspectives
CARD: An Environment for Software Requirements Definition
A Review of Six Years of Asia-Pacific Software Engineering Conference
Case Study of Project Outcome Prediction for an IT Vendor
Scheduling Test Execution of WBEM Applications
Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints
Implementation-Based Approach for Designing Practical Sensor Network Systems
Knowledge Based Optimization for Distributed Real-Time Systems
Recommendation of Software Technologies Based on Collaborative Filtering
Retrieving Self-Executable and Functionally Correct Code to Improve Source Code Search
Feature Analysis for Service-Oriented Reengineering
On Simulation of BPEL4WS/UML Descriptions
MENTOR : An Environment Supporting the Construction of Methods
Large Language Models Empowered Online Log Anomaly Detection in AIOps
CMCD: Count Matrix Based Code Clone Detection
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction
Implementing Virtual Agent as an Interface for Smart Home Voice Control
Correlation between the Frequent Use of Gang-of-Four Design Patterns and Structural Complexity
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs
Using Variability Models to Reduce Verification Effort of Train Station Models
Design and Implementation of Coordination and Workflow Management Technology
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates
Emotion-oriented AOM: A case study
Towards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration
Two-Stage Patch Synthesis for API Migration from Single API Usage Example
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines
A Design Method for Domain-Specific Models of Software Requirements Specification Based on Stakeholders' Concerns
A Virtual File System for Source Program Editing
How Does Future Perspective Affect Job Satisfaction and Turnover Intention of Software Engineers?
Enhancement of a Use Cases based Requirements Engineering approach with Scenarios
Towards the Re-engineering of Readiness Review Process with R2P2 Lifecycle Model
Proceedings of the 12th International Workshop on Quantitative Approaches to Software Quality co-located with the 31st Asia Pacific Software Engineering Conference 2024 (APSEC 2024), Chongqing, China, December 3, 2024
The SQuaRE Series as a Guarantee of Ethics in the Results of AI Systems
A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers
Actual Use of Architectural Patterns in Microservices-Based Open Source Projects
Usage Patterns of the Java Standard API
Evolutionary Testing of Unstructured Programs in the Presence of Flag Problems
wwHww : An Application Framework of Distributed Systems for Enduser-Initiative Development
Conducting Requirements Evolution by Replacing Components in the Current System
Modeling COTS-Based Development and Related Selection Methods Processes with MAP
Development of Distributed Applications with Separation of Concerns
Enhancing the Transferability of Adversarial Attacks for End-to-End Autonomous Driving Systems
Data Abstraction and Constraint Solving for Conformance Testing
Providing Configuration Management Support in Software Engineering Environments
Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System
13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India
Lessons Learned in Framework-Based Software Process Improvement
Deriving Operational Semantics from Denotational Semantics for Verilog
Process-sensitive software engineering environments: an object-oriented view
Using Operational Architecture to Model Embedded Software
Context-sensitive Content Representation for Static Document
Interaction Modelling for IoT
Business-Driven Acceptance Testing Methodology and Its Practice for E-Government Software Systems
Continuous Requirements Engineering in Sociotechnical Systems: Challenges and Solutions
Describing and Verifying Integrated Services of Home Network Systems
A Passive Test Oracle Using a Component's API
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic
Preserving Correctness of Requirements Evolution through Refinement in Event-B
Toward a Code Search Engine Based on the State-of-Art and Practice
Model Checking Object-Z Classes: Some Experiments with FDR
Dockerfile Changes in Practice: A Large-Scale Empirical Study of 4, 110 Projects on GitHub
Assumptions in OSS Development: An Exploratory Study through the Hibernate Developer Mailing List
A Refinement Calculus for the Development of Real-Time Systems
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System
Are Formal Methods Relevant?
Pragmatic data modelling and design for end users
Toward Detection of Abnormal Behaviors in Timing and Security Requirements
Studying the Understandability of Aspect State Machines through the Weaving Activity
Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection
Reinforcement Learning of Code Search Sessions
Literature Review on Log Anomaly Detection Approaches Utilizing Online Parsing Methodology
Project Management Using Risk Identification Architecture Pattern (RIAP) Model: A Case Study on a Web-Based Application
Implementing the PostgreSQL Query Optimizer within the OPT++ Framework
Software Defect Prediction based on JavaBERT and CNN-BiLSTM
A Coloured Petri Nets Based Attack Tolerance Framework
A Tool to Suggest Similar Program Element Modifications
Model Checking Interrupt-Dependent Software
Recommending Similar Bug Reports: A Novel Approach Using Document Embedding Model
The Impacts of Requirements Relationships Knowledge on Requirements Quality and Software Development Project Success
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages
Improving Testing Coverage for Safety-Critical System by Mutated Specification
Business Process Model Annotation Techniques: Identification, Classification and Analysis
A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems
Tuning SAT solvers for LTL Model Checking
Quality in Use -Issues and Proposal- (short paper)
The Introduction of Technical Debt Tracking in Large Companies
Precise Analysis of Large Industry Code
Awareness Support in Group-based Software Engineering Education System
TLDBERT: Leveraging Further Pre-Trained Model for Issue Typed Links Detection
An Empirical Study on the Reliability of the Web API Document
A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS
SGXPy: Protecting Integrity of Python Applications with Intel SGX
Prioritizing Test Cases Through Dual-Uncertainty Evaluating for Road Disease Detection System
Scenario Mechanism in Agent-Oriented Programming
Interpreting the Object Constraint Language
Principles for Re-architecting Software for Heterogeneous Platforms
Defining Attribute Templates for Descriptions of Distributed Services
A Novel Architectural Design for Solving Lost-Link Problems in UAV Collaboration
Generating Test Cases from UML Activity Diagram based on Gray-Box Method
15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China
LSRepair: Live Search of Fix Ingredients for Automated Program Repair
Investigating Cross-Repository Socially Connected Teams on GitHub
An approach to predict software maintenance cost based on ripple complexity
GAN-based image generation techniques exploiting latent vector distribution and edge loss methods on limited datasets
Visualizing Contributor Code Competency for PyPI Libraries: Preliminary Results
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs
AECM: an Aspect Enabled Component Model
Has Twenty-five Years of Empirical Software Engineering Made a Difference?
Modular Checking of C Programs Using SAT-Based Bounded Model Checker
A Formal Framework to Optimise Component Dependency Resolution
A Multi-Goal Oriented Approach for Adaptation Rules Generation
Identifying Error Proneness in Path Strata with Genetic Algorithms
Relationships Formalization for Model-Based Product Lines
A Concurrent Feedback Development Method and Its Application to Automotive Software Development
A Preliminary Finding on Programs Fixed by an APR Tool based on a Genetic Algorithm
4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong
Partitioning of Java Applications to Support Dynamic Updates
Advanced OO Modeling: Metamodels and Notations
Dynamic Enclose Cell Routing in Mobile Sensor Networks
Class Name Recommendation Based on Graph Embedding of Program Elements
Analysis and enactment of a distributed software process model: the AttNet model
A Computing Model for Distributed Processing Systems and Its Application
Towards a Better Understanding of Testing if Conditionals
Extracting Candidates of Microservices from Monolithic Application Code
Context-Aware Regression Test Selection
Javelus: A Low Disruptive Approach to Dynamic Software Updates
Cohesion Analysis in Linux Kernel
Studying Multifaceted Collaboration of OSS Developers and its Impact on their Bug Fixing Performance
A Software Tag Generation System to Realize Software Traceability
Towards Automated Detection of Data Pipeline Faults
Incomplete Software Requirements and Assumptions Made by Software Engineers
Data Flow Reduction Based Test Case Generation for Smart Contracts
Joint Proceedings of SEED 2021 & QuASoQ 2021 co-located with 28th Asia Pacific Software Engineering Conference 2021, Taipei [Virtual], December 6, 2021
A UML-Based Object-Oriented Framework Development Methodology
Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation
Formal Verification of mu-Charts
Classifying Bug Reports to Bugs and Other Requests Using Topic Modeling
On Aspect-Oriented Software Architecture: It Implies a Process as Well as a Product
Architectural Design Decisions for Data Communication of Cyber-Physical Systems
Modeling Access Control Requirements in Feature Model
Memory Leak Detection Based on Memory State Transition Graph
An Empirical Study on Developing Secure Mobile Health Apps: The Developers' Perspective
Bugdel: An Aspect-Oriented Debugging System
Testing Criteria for Data Flow Software
Reasoning about Stakeholder Groups for Requirements Negotiation Based on Power Relationships
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017
A Framework for Migrating Procedural Code to Object-Oriented Platforms
Mining Handover Process in Open Source Development: An Exploratory Study
On the Impact of ML use cases on Industrial Data Pipelines
Performance of SOAP in Web Service Environment Compared to CORBA
Putting APIs in the Right Order with Gated Graph Neural Networks
Denotational Semantics for JSD
Asynchronous test equivalence for probabilistic processes
Proceedings of the 3rd International Workshop on Experience with SQuaRE Series and Its Future Direction (IWESQ 2021) co-located with 28th Asia-Pacific Software Engineering Conference (APSEC 2021), Virtual Event, Taipei, Taiwan, Dec 8, 2021
Modeling and Enacting Software Processes Using VRPML
ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java
Migrating Individual Applications into Software Product Lines Using the Mobioos Forge Platform
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment
Fault tolerant web service
Concept of Quality Digital Twin in Agile Development
Performing High Efficiency Source Code Static Analysis with Intelligent Extensions
An Approach to Ensure Service Behavior Consistency in OSGi
Project Replayer with Email Analysis - Revealing Contexts in Software Development
Formal Definitions for Design Spaces and Traces
What Is the Difference between Usability in ISO 25000 and Usability in 9241-11? - The Term "usability" as Part of the Product Quality Model Used in the SQuaRE Series in Contrast to the Term Usability in ISO 9241-11-(poster)
Flexible Aspect-Oriented Design Model Checking
Quality Assessment of Web Services Using Multivariate Adaptive Regression Splines
Derivation and Formal Verification of a Mode Logic for Layered Control Systems
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course
Proving Liveness Property under Fairness Requirements
Software Engineering for Autonomous Robot: Challenges, Progresses and Opportunities
An Empirical Study on Progressive Sampling for Just-in-Time Software Defect Prediction
Survey on Pains and Best Practices of Code Review
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps
Use Case Refactoring: A Tool and a Case Study
Interactive Layout Method for Object Diagrams of OMT
Detecting Bot on GitHub Leveraging Transformer-based Models: A Preliminary Study
A Push for Software Process Improvement in Thailand
Joint Proceedings of the 3rd International Workshop on Quantitative Approaches to Software Quality (QuASoQ), the Workshop on Alternate Workforces for Software Engineering (WAWSE) and the 1st International Workshop on Case Method for Computing Education (CMCE) co-located with APSEC 2015, New Delhi, India, December 1, 2015
Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection
Prescriptive metrics for software quality assurance
Smart Contract Vulnerability Detection Using Code Representation Fusion
Categorizing and Predicting Invalid Vulnerabilities on Common Vulnerabilities and Exposures
Scheduling Product Line Features for Effective Roadmapping
Data Conflicts-Guided Interleaved Thread Scheduling for Flaky Test Detection in Multithreaded Programs
The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile Processes
A Systematic Method for Scoping Core Assets in Product Line Engineering
A Component-Based Framework and Reusability in Garment
History Coupling Space: A New Model to Represent Evolutionary Relations
RP2A: Rare Process-Pattern Analysis - Identifying Potential Problem Process-Patterns by Analyzing System Execution Data
Time-Quality Metric Model for Quality Measurement of Web-Based Systems
Identifying Candidate Objects Using Hierarchical Clustering Analysis
Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams
An Approach to Software Testability Measurement
A Dialog-Oriented User Interface Generation Mechanism
A Decision Support Platform for Guiding a Bug Triage for Resolver Recommendation Using Textual and Non-Textual Features
A Value Weighting Method for Pair-wise Testing
An Interval-Based Model for Detecting Software Defect Using Alias Analysis
Refining Object-Oriented Invariants and Dynamic Constraints
F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs
An Empirical Study of Factors and their Relationships in Outsourced Software Maintenance
Towards a Taxonomy for Guiding Multimedia Application Development
Integrating Feedback From Application Reviews Into Software Development
An Architecture of Dynamically Adaptive PHP-based Web Applications
A Design Map for Recording Precise Architecture Decisions
An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures
Applying Problem Frames in Behavior-Driven Development for Smart Cone System
An education model for project-based learning using ability map in various target products
Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool
Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis
Boost Symbolic Execution Using Dynamic State Merging and Forking
An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis
Examination of Coding Violations Focusing on Their Change Patterns over Releases
Framework Information Based Java Software Architecture Recovery
Please STeP_IN: A Socio-Technical Platform for in situ Networking
Extracting threads from concurrent objects for the design of embedded systems
Towards Aspect-Oriented Class Diagrams
Survivability Analysis of Networked Systems
Aspect Refinement and Bounding Quantification in Incremental Designs
Using B to Verify the Weaving of Aspects
Automated Verification of Load Tests Using Control Charts
Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML