yusuke1997/dblp-id-title huggingface dataset:
Agent-Oriented Software Modeling
A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information
Masking Soft Errors with Static Bitwise Analysis
Team Composition and Team Factors in Software Engineering: An Interview Study of Project-Based Organizations
A Composite Discover Method for Gadget Chains in Java Deserialization Vulnerability
Hyperparameter Optimization Technique in Autonomous Racing Cars exploiting the Leaky Piece and Conquer Fireworks Algorithm
A Concept Lattice for Recognition of User Problems in Real User Monitoring
The support tool for highly reliable component-based software development
Usability in Software Development Process -Proposal of Society/Stakeholder Centered Design (SCD)- (short paper)
Strengthening Method Contracts for Objects
Witness: Detecting Vulnerabilities in Android Apps Extensively and Verifiably
3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea
Pattern Based Software Re-engineering: A Case Study
Statechart-based Verification of Object-Oriented Design Models
Quality Improvements by Integrating Development Processes
How Do Code Refactoring Activities Impact Software Developers' Sentiments? - An Empirical Investigation Into GitHub Commits
Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments
An Experimental Comparison of Clone Detection Techniques using Java Bytecode
Resonance Interface: Proposal of a Framework for Design Environment
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems
Human Centric Framework for Customising and Producing Effective Cybersecurity Training Materials
Applying Formal Approach to Core Asset Instantiation in Product Line Engineering
The Use of a Meta-Model to Support Multi-Project Process Measurement
Automatic Performance Testing for Image Displaying in Android Apps
Enhancing Code Generation Through Retrieval of Cross-Lingual Semantic Graphs
Lessons Learned on Systematic Metric System Development at a Large IT Service Provider
Identifying Vulnerable Functions from Source Code using Vulnerability Reports
Fuzzy concepts and formal methods: some illustrative examples
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic
Modelling Systems that Integrate Programming Language and Environment Mechanisms
Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer
Entropy-Based Dynamic Complexity Metrics for Service-Oriented Systems
Achieving High Code Coverage in Android UI Testing via Automated Widget Exercising
Automated Fault Tree generation in Open-PSA from UML Models
FSFP: A Fine-Grained Online Service System Performance Fault Prediction Method Based on Cross-attention
An Empirical Study on Multi-Source Cross-Project Defect Prediction Models
Model-Based API-Call Constraint Checking for Automotive Control Software
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path
Towards an Algorithmic Debugging for Distributed Programs
Simultaneous Modification Support based on Code Clone Analysis
Management of Composites in Software Engineering Environments
GHA-BFP: Framework for Automated Build Failure Prediction in GitHub Actions
Mining API Constraints from Library and Client to Detect API Misuses
Selecting an object-oriented process for student analysts
S 2 LMMD: Cross-Project Software Defect Prediction via Statement Semantic Learning and Maximum Mean Discrepancy
A Systematic Review of Logging Practice in Software Engineering
Quality Ranking of Features in Software Product Line Engineering
30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023
An Analysis of Library Rollbacks: A Case Study of Java Libraries
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions
Sound Floating-Point Neural Network Verification with MILP
On the Relative Value of Feature Selection Techniques for Code Smell Detection
Towards Automated Verification of Distributed Consensus Protocols
Field Escape Analysis for Data Confidentiality in Java Components
Reinforcement Learning-based Service Assurance of Microservice Systems
An Industrial Case Study on Requirements Volatility Measures
SOQDE: A Supervised Learning Based Question Difficulty Estimation Model for Stack Overflow
A Comparison of the Reliability Growth of Open Source and In-House Software
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods
Detecting Duplications in Sequence Diagrams Based on Suffix Trees
A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity
A formal approach to program modification
Assessing and Restructuring of Classes Based on Cohesion
Guiding Identification of Missing Scenarios for Dynamic Feature Location
Model Checking Class Specifications forWeb Applications
A Guided Mashup Framework for Rapid Software Analysis Service Composition
Class Imbalance Data-Generation for Software Defect Prediction
An Industrial Case Study on Improving Quality in Integrated Software Product using defect dependency
Bisection Value Iteration
Modeling and Verification of Context-Aware Systems
An Evaluation of Selection Methods for Time-Aware Effort Estimation
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
On Accuracy-Performance Tradeoff Frameworks for Energy Saving: Models and Review
A Pilot Study of Testing Infrastructure as Code for Cloud Systems
Generation of Oracles using Natural Language Processing
Enterprise modeling using class and instance models
Quantifying the Similarity of BPMN Processes
Mining API Type Specifications for JavaScript
Software Defined Storage Technology
Inter-Class Test Technique Between Black-Box-Class and White-Box-Class for Component Customization Failures
Empirical Evaluation of Orthogonality of Class Mutation Operators
A Reorganization Framework of the Object-Oriented Class Hierarchy
End-to-End Automated Verification for OS Kernels
CTAG Software Generator Model for Constructing Network Applications
A divide & conquer approach to testing concurrent programs with JPF *
Domain-Specific Language Facilitates Scheduling in Model Checking
Genericity in method construction
Evaluating Performance of Network Metrics for Bug Prediction in Software
Enhancing Reentrancy Vulnerability Detection and Repair with a Hybrid Model Framework
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies
SmartFuzz: An Automated Smart Fuzzing Approach for Testing SmartThings Apps
Multi-Process Runtime Verification for Android
A Review on Software Architectures for Heterogeneous Platforms
Towards Generating Local High-Coverage Tests for Evolving Software
Verifying Model Oriented Specifications through Animation
A Change Impact Analysis Approach for the Software Development Phase
Quality Based Software Project Staffing and Scheduling with Cost Bound
An Exploratory Study of Groupware Support for Distributed Software Architecture Evaluation Process
An Empirical Study on Self-Admitted Technical Debt in Quantum Software
Test Coverage Metric for Two-Staged Language with Abstract Interpretation
Pseudo Software: a New Concept for Iterative Requirement Development and Validation
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software
Towards Non-Invasive Recognition of Developers' Flow States with Computer Interaction Traces
Seamless Code Reuse with Source Code Corpus
Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks
Run-Time Monitoring-Based Evaluation and Communication Integrity Validation of Software Architectures
Ontology-based Active Requirements Engineering Framework
What Aspects Do Non-Functional Requirements in App User Reviews Describe? An Exploratory and Comparative Study
Migration to Software Product Line Development of Automotive Body Parts by Architectural Refinement with Feature Analysis
A Z Specification of Use Cases: A Preliminary Report
Improving Reliability of Dynamic Software Updating Using Runtime Recovery
Towards the Identification of Process Anti-Patterns in Enterprise Architecture Models
Stepwise Validation of Formal Specifications
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution
Report on the the 10 th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2022)
Requirements Engineering Based on REBOK (Requirements Engineering Body Of Knowledge) and Its Practice
DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models
A Systematic Review of Model-Driven Security
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems
Efficient and Accurate Software Pattern Detection
A Two-Level Prioritization Approach for Regression Testing of Web Applications
Creating a process for transitioning to object technology
Email and Trouble Report Analysis for Revealing Context with the Project Replayer
Mining Software Revision History Using Advanced Social Network Analysis
Verifying Exception-Handling Code in Concurrent Libraries
7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore
Model Transformation Patterns for Introducing Suitable Information Systems
Effective Model Replacement for Solving Objective Mismatches in Pre-trained Model Compositions
Data Cybersecurity Evaluation with ISO/IEC 25012
Operational Semantics for Verilog
An Empirical Study on the Usage and Evolution of Identifier Styles in Practice
A methodology for resilient safety-critical infrastructures using statistical model checking
People Management Issues in Scrum from COBIT Perspective
Modeling and Verifying Web Browser Interactions
Results for Compositional Timed Testing
An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Application to an Educational Information System
Leveraging CVL to Manage Variability in Software Process Lines
Accelerated Finite State Machine Test Execution Using GPUs
Top-Down Approach Toward Building Ubiquitous Sensor Network Applications
The Real World Software Process
Understanding the Decision-Making of Students in Requirements Engineering Course Projects
Client location tracking with k-step prediction and cache policy in ubiquitous information service network
6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan
Report on the the 9 th International Workshop on Quantitative Approaches to Software Quality
Building Enterprise-Grade Internet of Things Applications
Manipulating Software Semantics with Unified Computational Model and Software Quark Model
Structuring the Knowledge for Software Process Appraisal towards Semi-Automated Support
Modeling OSEK/VDX OS Requirements in C
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
Service Refinement
Specification-Based Approach to Select Regression Test Suite to Validate Changed Software
Deriving Verification Conditions and Program Assertions to Support Software Inspection
Finite-State Modeling in Software Design: Some Fundamental Techniques
Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour
Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs
Report on the 12th International Workshop on Quantitative Approaches to Software Quality
Applying Gamification and Posing to Software Development
Dam: A Practical Scheme to Mitigate Data-Oriented Attacks with Tagged Memory Based on Hardware
Toward Software Metrics for Distributed Software
Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay
A Meta-Model for Outcome-Based Education: Streamlining Evaluation Processes
Two Dimensional Concurrent Program Debugging
Academia and industry meet: Some experiences of formal methods in practice
Aspect-Oriented Programming for Web Controller Layer
Software Configuration Management in Global Software Development: A Systematic Map
Program Sifting: Select Property-Related Functions for Language-Based Static Analysis
Empirical Study of Co-Renamed Identifiers
Family-based Model Checking using Probabilistic Model Checker PRISM
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems
Maintenance with Reuse: An Integrated Approach Based on Software Configuration Management
Controllability Mechanism for Object-Oriented Software Testing
A Theory of Combinational Programs
Flexible Components for Development of Embedded Systems with GPUs
Experience on a Microservice-Based Reference Architecture for Measurement Systems
An education support system of information system design and implementation and lessons learned from its application
A distributed constraint-based search architecture for bus timetabling and duty assignment
A Measurement-Driven Process Model for Managing Inconsistent Software Requirements
A Survey of Software Health Management in Unmanned Aerial Vehicle Systems
DeepRelease: Language-agnostic Release Notes Generation from Pull Requests of Open-source Software
Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel Correlation
Behavioral classification of Android applications using system calls
Patch Reviewer Recommendation in OSS Projects
Cloud Service Brokers: An Emerging Trend in Cloud Adoption and Migration
DependLoc: A Dependency-based Framework For Bug Localization
Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter?
Early Estimate the Size of Test Suites from Use Cases
What Do Agile Teams Find Important for Their Success?
Refining Use-After-Free Defense: Eliminating Dangling Pointers in Registers and Memory
Mining Individual Performance Indicators in Collaborative Development Using Software Repositories
Secrobat: Secure and Robust Component-based Architectures
chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications
A Symbolic Partial Order Method for Verifying SystemC
How Libraries Evolve: A Survey of Two Industrial Companies and an Open-Source Community
RobusTest: A Framework for Automated Testing of Software Robustness
Extending PSC for Monitoring the Timed Properties in Composite Services
Building Formal Models for Software Requirements
Designing User Experience for Mobile Apps: Long-Term Product Owner Perspective
PGraph: A Graph-based Structure for Interactive Event Exploration on Social Media
Mutation-Based Inter-Class Testing
Component Identification Method with Coupling and Cohesion
Extracting High-Level Functional Design from Software Requirements
DRACULA: Detector of Data Races in Signals Handlers
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study
Test Environment Construction Method Using Parameterized Test Environments
Threshold Concepts and Skills in Software Architecture: Instructors' Perspectives
Architecture Modeling Language based on UML2.0
Software Defect Prediction and Localization with Attention-Based Models and Ensemble Learning
Towards Safety Assessment of Robot Behaviors in SMACH
Product Line Requirements Reuse Based on Variability Management
Requirements Engineering Pattern Structure
Coherence equals cohesion-or does it?
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
Generating Test Oracle for Role Binding in Multi-Agent Systems
Reducing Uncertainties in Data Mining
Light-Weight Test Oracles for Resource Leaks Based on Finalizers
Our Journey to Becoming Agile: Experiences with Agile Transformation in Samsung Electronics
Domain Specific Engineering Environments
Labeling Feature-Oriented Software Clusters for Software Visualization Application
Load Balancing in Cloud Computing using Nature-Inspired Algorithms: A Systematic Literature Review
Generating Hierarchical Reference Process Model Using Fragments Clustering
Diff Feature Matching Network in Refactoring Detection
Runtime Verification by Convergent Formula Progression
Can Control-Component Libraries Reduce the Costs of Developing Control Engineering-Based Self-Adaptive Systems?
Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis
An Overview of Legacy System Migration
Detailed Real-Time Software Platform Modeling
Software Process Simulation Modeling: Facts, Trends and Directions
Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes
Minimizing Refactoring Effort through Prioritization of Classes based on Historical, Architectural and Code Smell Information
A Portable Interceptor Mechanism on SOAP for Continuous Audit
An Action-Oriented Programming Model for Pervasive Computing in a Device Cloud
Automated Support for Software Cost Estimation Using Web-CoBRA
ICAT: An IoT Device Compatibility Testing Tool
Evaluating Cloud Platform Architecture with the CARE Framework
An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades
An Overview of Practical Impacts of Functional Programming
Joint Proceedings of SEED & NLPaSE co-located with 27th Asia Pacific Software Engineering Conference 2020, Singapore [Virtual], December 1, 2020
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks
A Software Engineering Approach to Constraint Programming Systems
Crowdsourcing for API documentation: A Preliminary Investigation
Modeling the Impact of a Learning Phase on the Business Value of a Pair Programming Project
Development of Session Management Mechanism for Cellular Phone with WWW Connection
An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture
Using Student-generated Questions in Software Engineering Courses
A Method and Tool Support for Variant Requirements Analysis: Goal and Scenario Based Approach
Product Line Based Component Unification and Exploiting Unified Components in FORM
Scenario reuse: a technique for complementing scenario-based requirements engineering approaches
Scalable Verification Framework for C Program
Report of WESPr-18: the International Workshop on Evidence-based Security and Privacy in the Wild
"Robust and Flexible Software Inspection model" for Software Re-Engineering Process: Abstraction phase
An Overview of Software Defect Density: A Scoping Study
Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach
Component and Data Distribution in a Distributed Workflow Management System
Capturing Strategic Business Requirements: An Exploratory Study
Investigating the Use of Duration-Based Moving Windows to Improve Software Effort Prediction
Investigating the State of User Involvement in Practice
Problem Frames Construction from Feature Models
Implementing Value Stream Mapping in a Scrum-based project - An Experience Report
Construction Method of a High-Order Markov Chain Usage Model
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
An Empirical Study on Interaction Factors Influencing Bug Reopenings
Bytecode Obfuscation for Smart Contracts
Design of an Automatic Annotation Framework for Corporate Web Content
A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method
Automated Repair of Data Faults in Templated Spreadsheets
What Pakistani Computer Science and Software Engineering Students Think about Software Testing?
Survey on Testing of Autonomous Driving Systems
Requirements Risk Estimation Using TOPSIS Method
Service Identification Using Goal and Scenario in Service Oriented Architecture
The Context Dynamics Matrix (CDM): An Approach to Modeling Context
Systematic Use Case Interviews for Specification of Automotive Systems
Analysis of the impact of reading technique and inspector capability on individual inspection performance
Extending the theory of Owicki and Gries with asynchronous message passing
Goal Oriented Requirement Engineering: A Critical Study of Techniques
UCSI Towards a User-Centric Service Integration Approach
Using TCOZ for Modeling Web Caching
A Loose Interaction Pattern for Asynchronous Components
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs
An Approach to Validation of Software Architecture Model
Detecting Duplicate Questions in Stack Overflow via Semantic and Relevance Approaches
A CMMI-Based Automated Risk Assessment Framework
What Community Contribution Pattern Says about Stability of Software Project?
A Code Clone Curation - Towards Scalable and Incremental Clone Detection -
Requirements Engineering for e-Business Systems: Integrating Jackson Problem Diagrams with Goal Modeling and BPM
Inferring State Models Using Feedback Directed Random Testing
BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling
Toward Developer-like Automated Program Repair - Modification Comparisons between GenProg and Developers
Object-oriented analysis and design support system using algebraic specification techniques
Automatic Extraction of Reorganization Impact Focusing on Derivation Relationship of Analogous Actor Terms in Requirements Specification
DEV-EYE: A Tool for Monitoring Bus Factor Using Commit History
Deriving Product Line Requirements: the RED-PL Guidance Approach
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams
A Model for Navigating Interview Processes in Requirements Elicitation
A case study of an empirical approach to component requirements in developing a plagiarism detection tool
Version-Based Microservice Analysis, Monitoring, and Visualization
Use-Relationship Based Classification for Software Components
Optimization of Multi-way Clustering and Retrieval using Genetic Algorithms in Reusable Class Library
Web Platform API Design Principles and Service Contract
CoSTV: Accelerating Code Search with Two-Stage Paradigm and Vector Retrieval
Architectural Design for Evolution by Analyzing Requirements on Quality Attributes
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems
A Single-sample Pruning and Clustering Method for Neural Network Verification
An Evolutional Cooperative Computation Based on Adaptation to Environment
A Degree-Driven Approach to Design Pattern Mining Based on Graph Matching
Exploring Trade-Offs in MLOps Adoption
Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming
Soft Typing of General First-Order Languages
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems
Definition of an Executable SPEM 2.0
A Comparison of Nano-Patterns vs. Software Metrics in Vulnerability Prediction
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems
Augmenting Window Contents with Transfer Learning for Effort Estimation
DronLomaly: Runtime Detection of Anomalous Drone Behaviors via Log Analysis and Deep Learning
Software Quality Control via Exit Criteria Methodology: An Industrial Experience Report
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs
Adversarial Classification Rumor Detection based on Social Communication Networks and Time Series Features
An Integrated Framework of Supply Chain Management System
Formal Transformation from Sequence Diagrams to Coloured Petri Nets
Model Checking UML Statecharts
Sequence Diagram Slicing
Towards Requirements Engineering Activities for Machine Learning-Enabled FinTech Applications
A Systematic Approach to Software Safety
Execution Semantics for rCOS
Identification of Inaccurate Effort Estimates in Agile Software Development
Preprocessing of Metrics Measurement Based on Simplifying Program Structures
Proposal of a User Interface Design Guideline based on Analysis of the Causes of Usability Defects reported in a project-based Software Engineering Course