yusuke1997/dblp-id-title huggingface dataset:
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps
On the Usefulness of Automatically Generated Microservice Architectures
Revisiting the Impact of Dependency Network Metrics on Software Defect Prediction
ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
Sprint2Vec: A Deep Characterization of Sprints in Iterative Software Development
Requirements of API Documentation: A Case Study into Computer Vision Services
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
Towards Efficient Fine-Tuning of Language Models With Organizational Data for Automated Software Review
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
Locating Latent Design Information in Developer Discussions: A Study on Pull Requests
ESPRESO - A System for Process Control Software Specification
The IC* Model of Parallel Computation and Programming Environment
System Test Planning of Software: An Optimization Approach
Legion: Massively Composing Rankers for Improved Bug Localization at Adobe
Abstracting Runtime Heaps for Program Understanding
Software Defect Association Mining and Defect Correction Effort Prediction
Predicting Programming Group Productivity - A Communications Model
Measuring the Productivity of Computer Systems Development Activities with Function Points
Analysis of Closed Queuing Networks with Periodic Servers
A Meeting Scheduler for Office Automation
The Analogy Between Electrical Networks and Flowcharts
MBL-CPDP: A Multi-Objective Bilevel Method for Cross-Project Defect Prediction
A Problem-Reduction Approach to Proving Simulation Between Programs
AccessFixer: Enhancing GUI Accessibility for Low Vision Users With R-GCN Model
A Case-Study in Timed Refinement: A Mine Pump
Program Replacement for Better Throughput
A Theory-Based Representation for Object-Oriented Domain Models
Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm
A Systematic Literature Review on Bad Smells-5 W's: Which, When, What, Who, Where
Software Performance Modeling Using Computation Structures
Measures of the Potential for Load Sharing in Distributed Computing Systems
Technology Selection: An Educational Approach
SCS-Gan: Learning Functionality-Agnostic Stylometric Representations for Source Code Authorship Verification
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance
Allocating Modules to Processors in a Distributed System
A General Empirical Solution to the Macro Software Sizing and Estimating Problem
On the Applicability of Code Language Models to Scientific Computing Programs
Detection of Ada Static Deadlocks Using Petri Net Invariants
Performance Abstract Data Types as a Tool in Software Performance Analysis and Design
When to Stop Testing for Large Software Systems with Changing Code
SPARTACAS Automating Component Reuse and Adaptation
Finding Idle Machines in a Workstation-Based Distributed System
Teamwork Support in a Knowledge-Based Information Systems Environment
Pegasus: Performance Engineering for Software Applications Targeting HPC Systems
Database Access Control in the Presence of Context Dependent Protection Requirement
Dynamic Human-in-the-Loop Assertion Generation
Software Cost Estimation with Incomplete Data
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm
Demystifying Performance Regressions in String Solvers
Information Extraction of Paper-Based Maps
The Structural Complexity of Software: An Experimental Test
Comprehensive Fine-Tuning Large Language Models of Code for Automated Program Repair
The Role of Opportunism in the Software Design Reuse Process
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
Keyword Search for Building Service-Based Systems
Scenario-Based Assessment of Nonfunctional Requirements
Software Hut: A Computer Program Engineering Project in the Form of a Game
Corrections to "The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities"
Modeling Software Measurement Data
Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study
Identification of Move Method Refactoring Opportunities
On the Problem of Uniform References to Data Structures
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
Efficient Parametric Model Checking Using Domain Knowledge
Addendum to "Locating Features in Source Code'
Seesoft-A Tool For Visualizing Line Oriented Software Statistics
Back to the Past - Analysing Backporting Practices in Package Dependency Networks
Integrating Software Models and Platform Models for Performance Analysis
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
STRUCT Programming Analysis System
An Introduction to Rapid System Prototyping
Designing Process Replication and Activation: A Quantitative Approach
A Method for Design and Performance Modeling of Client/Server Systems
A Framework for Model-Based Design of Agent-Oriented Software
Queueing Analysis of a Reordering Issue
Engineering Within Boundaries When Software Has None
Atomicity Analysis of Service Composition across Organizations
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
Modeling Correlation in Software Recovery Blocks
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap
QoS Assurance for Dynamic Reconfiguration of Component-Based Software Systems
Exploiting Purity for Atomicity
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
Fusing Code Searchers
QoS-Aware Service Composition: A Retrospective
Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented Systems
Function Call Graph Context Encoding for Neural Source Code Summarization
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
A Model of Recoverability in Multilevel Systems
Comments on "An Interval Logic for Real-Time System Specification'
Methodology For Validating Software Metrics
Effects of Response and Stability on Scheduling in Distributed Computing Systems
Adaptive Optimization of a System's Load
RT-ASLAN: A Specification Language for Real-Time Systems
Empirical Analysis of Object-Oriented Design Metrics for Predicting High and Low Severity Faults
Analyzing Regulatory Rules for Privacy and Security Requirements
Semantics Guided Regression Test Cost Reduction
Improving Data Curation of Software Vulnerability Patches through Uncertainty Quantification
Smart Contract Development: Challenges and Opportunities
Guest Editorial: Software Engineering Project Management
Dealing With Data Challenges When Delivering Data-Intensive Software Solutions
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies
Inconsistency Management for Multiple-View Software Development Environments
Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance
Safe Data Type Specifications
Shaken, Not Stirred: How Developers Like Their Amplified Tests
Balancing Privacy and Utility in Cross-Company Defect Prediction
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
Extracting Interactions in Component-Based Systems
Emulation of Software Faults: A Field Data Study and a Practical Approach
Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance
Allocating Programs Containing Branches and Loops Within a Multiple Processor System
An Empirical Study of Model-Agnostic Techniques for Defect Prediction Models
Program Derivation Using Data Types: A Case Study
VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning
ABE: An Environment for Engineering Intelligent Systems
Deadlock Detection and Avoidance for Shared Logical Resources
Choosing Component Origins for Software Intensive Systems: In-House, COTS, OSS or Outsourcing? - A Case Survey
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System
Improving the Usability of E-Commerce Applications using Business Processes
Experiences Using Lightweight Formal Methods for Requirements Modeling
Empirical Evaluation of Fault Localisation Using Code and Change Metrics
The Problem of Equivalence for Entity-Relationship Diagrams
SADAT - An Automated Testing Tool
Vulnerability Detection by Learning From Syntax-Based Execution Paths of Code
OptSE: Toward Optimal Symbolic Execution
SLAN-4 - A Software Specification and Design Language
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems
Comments on "The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics"
MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services
Efficient Discrete-Event Simulation of Colored Petri Nets
A Simulation Approach to Structure-Based Software Reliability Analysis
Deadline-Oriented Servicing: Waiting-Time Distributions
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
Constructive Methods in Program Verification
Optimization of Software Release Planning Considering Architectural Dependencies, Cost, and Value
Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
Recovering Traceability Links Between Code and Documentation: A Retrospective
Graph Directed Locking
Formal Requirements Analysis of an Avionics Control System
Understanding Newcomers' Onboarding Process in Deep Learning Projects
Automated Question Title Reformulation by Mining Modification Logs From Stack Overflow
A Metrics Suite for Object Oriented Design
ARAP: Demystifying Anti Runtime Analysis Code in Android Apps
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
Predicting Fault Incidence Using Software Change History
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries
Generating Annotated Behavior Models from End-User Scenarios
Human-in-the-Loop Automatic Program Repair
Synthetic Malware at Scale: Malicious Code Generation With Code Transplanting
Techniques for Process Model Evolution in EPOS
Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning
SQLaw: Detecting Bugs in GPU Database Management Systems via Rule-Based Differential Execution
Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities
Clarifications on the Construction and Use of the ManyBugs Benchmark
From Live Sequence Charts to State Machines and Back: A Guided Tour
Essential Elements of Software Engineering Education Revisited
Semantically Extended Data Flow Diagrams: A Formal Specification Tool
Mining Version Histories for Detecting Code Smells
Model-Based Adaptation of Behavioral Mismatching Components
Search Algorithms for Regression Test Case Prioritization
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines
An Evaluation of Expert Systems for Software Engineering Management
Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers
Handling Timing Errors in Distributed Programs
Communication and Organization: An Empirical Study of Discussion in Inspection Meetings
Loop Monotonic Statements
The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications
Object-Oriented Software Evolution
Isomorphisms Between Petri Nets and Dataflow Graphs
Exception Handlers in Functional Programming Languages
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis
Usability through Software Design
A Language for Specifying Program Transformations
SITAR: GUI Test Script Repair
Software Architecture Description Revisited
A Requirements Engineering Methodology for Real-Time Processing Requirements
The Case for Electric Design of Real-Time Software
Use of Psychological Experimentation as an Aid to Development of a Query Language
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing
Dynamic Update of Discrete Event Controllers
RefactorScore: Evaluating Refactor Prone Code
Code Review Knowledge Perception: Fusing Multi-Features for Salient-Class Location
Automatic Detection and Masking of Nonatomic Exception Handling
Distributed Shared Abstractions (DSA) on Multiprocessor
Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach
TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System
Making the Most of Small Software Engineering Datasets With Modern Machine Learning
Data Scientists in Software Teams: State of the Art and Challenges
Software Environment Architectures and User Interface Facilities
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory"
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
Nighthawk: Fully Automated Localizing UI Display Issues via Visual Understanding
Representation Inheritance: A Safe Form of "White Box'' Code Inheritance
What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition
Detecting and Characterizing Propagation of Security Weaknesses in Puppet-Based Infrastructure Management
Macro-Based Cross Assemblers
Optimal Allocation of File Servers in a Local Network Environment
Automatically Assessing Code Understandability
Achieving Dependability Throughout the Development Process: A Distributed Software Experiment
Leveraging Large Language Model for Automatic Patch Correctness Assessment
Functional Data Structures as Updatable Objects
Software Engineering with Reusable Designs and Code
An Empirical Study of Representation Methods for Reusable Software Components
Analysis of Faults in an N-Version Software Experiment
Analyzing Data Sets with Missing Data: An Empirical Evaluation of Imputation Methods and Likelihood-Based Methods
A Flowchart Language for Quantum Programming
HetFL: Heterogeneous Graph-Based Software Fault Localization
Formal Derivation of Concurrent Programs: An Example from Industry
CoSS: Leveraging Statement Semantics for Code Summarization
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies
A Comparison of Software Project Overruns-Flexible versus Sequential Development Models
ZPL: A Machine Independent Programming Language for Parallel Computers
Reliable Resource Allocation Between Unreliable Processes
A Specification and Verification Method for Preventing Denial of Service
An Incremental Version of Iterative Data Flow Analysis
Distilling Quality Enhancing Comments From Code Reviews to Underpin Reviewer Recommendation
An Experimental Study of Software Metrics for Real-Time Software
Knowledge Representation and Reasoning in the Design of Composite Systems
Reducing the Length of Field-Replay Based Load Testing
Software Science and Cognitive Psychology
Analysis and Design in MSG.84: Formalizing Functional Specifications
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies
Engineering Software Design Processes to Guide Process Execution
Validation on an Approach for Improving Existing Measurement Frameworks
An Extendable Approach to Computer-Aided Software Requirements Engineering
"Sampling" as a Baseline Optimizer for Search-Based Software Engineering
An Expert Database Design System Based on Analysis of Forms
Formulating Cost-Effective Monitoring Strategies for Service-Based Systems
An Empirical Study on the Usage of Transformer Models for Code Completion
DT4LM: Differential Testing for Reliable Language Model Updates in Classification Tasks
Stakeholder Preference Extraction From Scenarios
A Comparison of Tabular Expression-Based Testing Strategies
Leveraging Android Automated Testing to Assist Crowdsourced Testing
Asymptotic Analysis of a Heterogeneous Multiprocessor System in a Randomly Changing Environment
The Performance of Alternative Strategies for Dealing with Deadlocks in Database Management Systems
Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'
Applied Software Engineering: A Real-Time Simulator Case History
Service-Level Agreements for Electronic Services
Software Component Models
A Stub Generator for Multilanguage RPC in Heterogeneous Environments
Exact Analysis of Bernoulli Superposition of Streams Into a Least Recently Used Cache
Iterative Reengineering of Legacy Systems
Counterexample Generation in Probabilistic Model Checking
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
On the Design of a Language for Programming Real-Time Concurrent Processes
Determining an Optimal Time Interval for Testing and Debugging Software
Can Large Language Models Serve as Evaluators for Code Summarization?
Clustering Crowdsourced Test Reports of Mobile Applications Using Image Understanding
Guest Editor's Introduction Selected Papers from COMPSAC '86
Validating Halstead's Theory for Pascal Programs
How Templated Requirements Specifications Inhibit Creativity in Software Engineering
A Layered Approach to Automating the Verification of Real-Time Systems
SLA-Driven Clustering of QoS-Aware Application Servers
Understanding the Effect of Agile Practice Quality on Software Product Quality
Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs
A Theoretical and Empirical Analysis of Program Spectra Diagnosability
Design and Specification of Iterators Using the Swapping Paradigm
Local Area Networks: Software and Related Issues
A Theory of Organizational Structures for Development and Infrastructure Professionals
Mining Crosscutting Concerns through Random Walks
The Probability of Load Balancing Success in a Homogeneous Network
Direct Implementation of Algebraic Specification of Abstract Data Types
An Interleaving Approach to Combinatorial Testing and Failure-Inducing Interaction Identification
Benchmarking Classification Models for Software Defect Prediction: A Proposed Framework and Novel Findings
Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile
Automated Documentation of Android Apps
The Cache Assignment Problem and Its Application to Database Buffer Management
Program Development as a Formal Activity
Subgraphs as First-Class Citizens in Incident Management for Large-Scale Online Systems: An Evolution-Aware Framework
A Progression Model of Software Engineering Goals, Challenges, and Practices in Start-Ups
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives
Caching Hints in Distributed Systems
Linear Complexity Assertions for Sorting
Dynamic Software Project Scheduling through a Proactive-Rescheduling Method
Recovering Traceability Links between Code and Documentation
Vulnerability Detection via Multiple-Graph-Based Code Representation
Design of Distributed Databases on Local Computer Systems with a Multiaccess Network
Combining Testing with Formal Specifications: A Case Study
A Ranking of Software Engineering Measures Based on Expert Opinion
Approximate Oracles and Synergy in Software Energy Search Spaces
Exploring the Relationship between Software Process Adaptive Capability and Organisational Performance
Constructing Programs from Example Computations
Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps
Debugging Effort Estimation Using Software Metrics
The Processor Working Set and Its Use in Scheduling Multiprocessor Systems
The Impact of Lessons-Learned Sessions on Effort Estimation and Uncertainty Assessments
Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users
Copying and Swapping: Influences on the Design of Reusable Software Components
Generating Structurally Realistic Models With Deep Autoregressive Networks
Impact of Budget and Schedule Pressure on Software Development Cycle Time and Effort
A Structured Approach to Program Optimization
A Survey on Adaptive Random Testing
The C Information Abstraction System
Reasoning About Probabilistic Behavior in Concurrent Systems
An Efficient State Space Generation for the Analysis of Real-Time Systems
A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems
Management of Software Development
Detecting Build Dependency Errors by Dynamic Analysis of Build Execution Against Declaration
A Systematic Review of Software Development Cost Estimation Studies
More Success and Failure Factors in Software Reuse
Toward High Confidence Software
Enhancing an Application Server to Support Available Components
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
Verifying the Evolution of Probability Distributions Governed by a DTMC
Software Metrics: Guest Editor's Introduction
Deconstructing the Nature of Collaboration in Organizations Open Source Software Development: The Impact of Developer and Task Characteristics
A System for Reliable Engineering Software
Databases and Units of Measure
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella
Do Experts Agree About Smelly Infrastructure?
Augmenting Smart Contract Decompiler Output Through Fine-Grained Dependency Analysis and LLM-Facilitated Semantic Recovery
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
Bayesian Networks For Evidence-Based Decision-Making in Software Engineering
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
DaNuoYi: Evolutionary Multitask Injection Testing on Web Application Firewalls
Managing Technical Debt in EnterpriseSoftware Packages
Domain-Specific Service Selection for Composite Services
On the Use of Clone Detection for Identifying Crosscutting Concern Code
Automated Protocol Implementation with RTAG
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
Automatic Mapping of System of N-Dimensional Affine Precurrence Equations (SARE) onto Distributed Memory Parallel Systems
Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis
IoTCom: Dissecting Interaction Threats in IoT Systems
Expressions for Completely and Partly Unsuccessful Batched Search of Sequential and Tree-Structured Files
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach
Hierarchical Structuring of Superposed GSPNs
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
Representing Software Engineering Models: The TAME Goal Oriented Approach
Safety Analysis of Timing Properties in Real-Time Systems
Observation-Enhanced QoS Analysis of Component-Based Systems
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance
FM-PRO: A Feature Modeling Process
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward
Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models
Annotative Software Product Line Analysis Using Variability-Aware Datalog
Mechanical Verification and Automatic Implementation of Communication Protocols