yusuke1997/dblp-id-title huggingface dataset:
Software engineering in South Africa
Ten years of automated code analysis at Microsoft (Invited industrial talk)
Technology Transfer Aspects of Environment Construction
Real-world ethics for self-driving cars
Demand response algorithm incorporating electricity market prices for residential energy management
An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method
Towards an architectural viewpoint for systems of software intensive systems
Completely Validated Software
CSSDev: refactoring duplication in cascading style sheets
Can we do useful industrial software engineering research in the shadow of lean and agile?
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery
An overview of blockchain-based systems and smart contracts for digital coupons
Towards Cost-Effective Oracles
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification
AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts
Revisiting the problem of using problem reports for quality assessment
High-Level Specification of Concurrency Control in Distributed Database Systems
Third international workshop on graph and model transformations
Lazy product discovery in huge configuration spaces
Formalizing traceability relations for product lines
The Scientific Engineering of Software
Benefits and limitations of automated software testing: Systematic literature review and practitioner survey
What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code
Tools to Support Formal Methods
Accounting for Missing Events in Statistical Information Leakage Analysis
Anomaly Detection in Scratch Assignments
Leveraging small software engineering data sets with pre-trained neural networks
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016
On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation
No 1A ESS Laboratory Support System - Erasable Flag Facility
On groupthink in safety analysis: an industrial case study
Improving Concept Learning Through Specialized Digital Fanzines
Helios: impact analysis for event-based components and systems
Position Statement
i-Scope: A City GML Framework for Mobile Devices
RoPGen: Towards Robust Code Authorship Attribution via Automatic Coding Style Transformation
A framework to advise tests using tests
"This Is Damn Slick!" Estimating the Impact of Tweets on Open Source Project Popularity and New Contributors
Improving Code Recommendations by Combining Neural and Classical Machine Learning Approaches
Whole Program Path-Based Dynamic Impact Analysis
Transferring Software Testing Tools to Practice
A framework for the analysis of coordination in global software development
Cooperation between developers and operations in software engineering projects
Mashing Up Software Issue Management, Development, and Usage Data
Compositional Verification of Middleware-Based Software Architecture Descriptions
Analysis of the interaction between practices for introducing XP effectively
Multifractal aspects of software development
A Systems Engineering View of Requirements Management for Software-Intensive Systems
Decision knowledge triggers in continuous software engineering
Beliefs, practices, and personalities of software engineers: a survey in a large software company
1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013
5th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP@ICSE 2018, Gothenburg, Sweden, May 29, 2018
From system specifications to component behavioral models
A Procedure for Designing Abstract Interfaces for Device Interface Modules
Awareness requirements for adaptive systems
There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow
Helping SMEs to better develop software: experience report and challenges ahead
DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners
End-user tools for grid computing
Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process
The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report
Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011
Policy-based self-adaptive architectures: a feasibility study in the robotics domain
Walking through the method zoo: does higher education really meet software industry demands?
A Defense View of Software Engineering
Incremental Analysis of Side Effects for C Software System
Ldiff: An enhanced line differencing tool
Automated testing of GUI applications: models, tools, and controlling flakiness
Does ChatGPT Help With Introductory Programming?An Experiment of Students Using ChatGPT in CS1
FLAVS: A Fault Localization Add-In for Visual Studio
Cost effectiveness analysis in software engineering
Synthesizing adapters for conversational web-services from their WSDL interface
JTExpert at the Third Unit Testing Tool Competition
Experiences with an Environment Generation System
Proceedings of the 2005 Workshop on Software Engineering for Secure Systems - Building Trustworthy Applications, SESS 2005, St. Louis, Missouri, USA, May 15-16, 2005
Out of Context: How important is Local Context in Neural Program Repair?
Architectural support for mode-driven fault tolerance in distributed applications
Performance modeling for service oriented architectures
Hunting for smells in natural language tests
Modeling Mutation on a Vector Processor
Generating statechart designs from scenarios
Automated, Unsupervised, and Auto-Parameterized Inference of Data Patterns and Anomaly Detection
An Introduction to Computing System Dependability
Agile metamorphic model-based testing
A tale from the trenches: cognitive biases and software development
Mobile Accessibility Guidelines Adoption under the Perspective of Developers and Designers
The buggy side of code refactoring: understanding the relationship between refactorings and bugs
Case-based software reliability assessmentby fault injection unified procedures
Moving into a new software project landscape
A cost-benefit approach to recommending conflict resolution for parallel software development
SANAYOJAN: a framework for traceability link recovery between use-cases in software requirement specification and regulatory documents
On the Fly Input Refinement for Code Language Models
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007
Flexible in-the-field monitoring
Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering, SEmotion@ICSE 2018, Gothenburg, Sweden, June 2, 2018
Lightweight parallel accumulators using C++ templates
Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool
Goal and scenario modeling, analysis, and transformation with jUCMNav
On fairness in continuous electronic markets
MontiCore: a framework for the development of textual domain specific languages
Curiosity-Driven Testing for Sequential Decision-Making Process
NLH/E: A Natural Language Help System
Fostering positive affects in software development environments using extended reality
Analyzing the user interface of Android apps
Poster: Static Analysis of Concurrent Higher-Order Programs
Exploring ChatGPT for Toxicity Detection in GitHub
Enterprise-Driven Open Source Software: A Case Study on Security Automation
A Context-Aware Style of Software Design
Study of task processes for improving programmer productivity
Hierarchical Coroutines: A Mechanism for Improved Program Structure
A Testbed for Hardware-assisted Online Profiling of IoT devices
IEEE P7003™ standard for algorithmic bias considerations: work in progress paper
VrT: A CWE-Based Vulnerability Report Tagger : Machine Learning Driven Cybersecurity Tool for Vulnerability Classification
Modeling and ranking flaky tests at Apple
Formal concept analysis applied to fault localization
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration
Agile, open source, distributed, and on-time: inside the eclipse development process
SpotFlow: Tracking Method Calls and States at Runtime
2nd International Workshop on Software Engineering in Health Care (SEHC 2010)
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
Smartweaver: an agent-based approach for aspect-oriented development
A sense of community: A research agenda for software ecosystems
ICSE Workshop on Software Variability Management
PETrA: a software-based tool for estimating the energy profile of Android applications
Memory corruption detecting method using static variables and dynamic memory usage
A proposed sizing model for managing 3rd party code technical debt
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
An Examination of the Current State of IPSE Technology
Fast and Precise Statistical Code Completion
Locating features in dynamically configured avionics software
White-box approaches for improved testing and analysis of configurable software systems
Adventures in Adaptation: A Software Engineering Playground!
Feature link propagation across variability representations with Isabelle/HOL
Assessment for Spreadsheets
Locating need-to-translate constant strings for software internationalization
PSpec: a formal specification language for fine-grained control on distributed data analytics
Current and future bots in software development
Traceability for a knowledge-driven software engineering
Challenges in Creating Environments for SOA Learning
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk)
Enacting responsibility assignment in software development environments
Scenario-based programming for mobile applications
A Flexible Approach to Alliances of Complex Applications
Software systems as cities: a controlled experiment
Visualizing and Querying Software Structures
On the Secure Software Development Process: CLASP and SDL Compared
Energy-based anomaly detection a new perspective for predicting software failures
Software Evolution Management: An Integrated Discipline for Managing Software
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020
Configuration-dependent fault localization
Beyond templates: a study of clones in the STL and some general implications
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Using Metric Time-Lines for Identifying Architecture Shortcomings in Process Execution Architectures
Is adaptivity a core property of intelligent systems?: it depends
Interaction Modeling as a Binding Thread in the Software Development Process
Judging Adam: Studying the Performance of Optimization Methods on ML4SE Tasks
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers
Should I stale or should I close?: an analysis of a bot that closes abandoned issues and pull requests
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners
Interpretation in a Tool-Fragment Environment
Four generic issues for tools-as-plugins illustrated by the distributed editor Saros
Practical fault detection in puppet programs
Java Unit Testing Tool Competition - Fifth Round
Group preference based API recommendation via heterogeneous information network
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection
Model-driven development of multi-core embedded software
Modeling to support communication and engineering of service-oriented software
Society-Level Software Governance: A Challenging Scenario
A Telecommunication Development: Siemens' Digital Switching System, EWSD (Abstract)
SemFix: program repair via semantic analysis
Evaluation of mutation testing for object-oriented programs
Bridging the divide between API users and API developers by mining public code repositories
Characteristics of the vulnerable code changes identified through peer code review
Coordination of distributed systems through self-organizing group topologies
Mitigating the obsolescence of specification models of service-based systems
University of kentucky tracelab component similarity matrix voting merge
Active files as a measure of software maintainability
CUTS: a system execution modeling tool for realizing continuous system integration testing
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9
Fixing bug reporting for mobile and GUI-based applications
Vetting API usages in C programs with IMChecker
Deployment automation with BLITZ
Evolution of Object Oriented Coupling Metrics: A Sampling of 25 Years of Research
1st international workshop on conducting empirical studies in industry (CESI 2013)
Consumer-centric non-functional properties of SOA-based services
An integrated bug processing framework
Building BRIDGES across Papua New Guinea's Digital Divide in Growing the ICT Industry
Enhancing collaboration of multi-developer projects with synchronous changes
Provisioning of Predictable Embedded Software in the Vehicle Industry: The Rubus Approach
Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps
Categorizing configuration parameters of smartphones for energy performance testing
Inheritance usage patterns in open-source systems
Refactoring big balls of mud
Design Recovery of Interactive Graphical Applications
Software architecture - What does it mean in industry? (Invited industrial talk)
The Human Side of Software as a Service: Building a Tighter Fit between Human Experiences and SOA Design Practices
Using Formal Methods to Reason about Architectural Standards
Using the balanced scorecard process to compute the value of software applications
Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch
Variability management in database applications
A DevSecOps-enabled Framework for Risk Management of Critical Infrastructures
Leveraging Traceability to Reveal the Tapestry of Quality Concerns in Source Code
Crossing Boundaries: On the Inevitable Intertwining of Digital, Physical, and Social Spaces
User-centric Android flexible permissions
Generating Real-World Impact from Academic Research: Experience Report from a University Impact Hub
DistFax: A Toolkit for Measuring Interprocess Communications and Quality of Distributed Systems
Generating formal specifications for security-critical applications - A model-driven approach
Emulating Environment-Dependent Software Faults
On the Syllogistic Structure of Object-Oriented Programming
Constructing difference tools for models using the SiDiff framework
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study
Does GenAI Make Usability Testing Obsolete?
Towards software-adaptive green computing based on server power consumption
Modeling self-adaptive software systems with learning petri nets
Towards a context dependent Java exceptions hierarchy
An Experimental Evaluation of Selective Mutation
Exploring Diversity in Introductory Programming Classes: An Experience Report
Automated Generation of Adaptive Test Plans for Self-Adaptive Systems
From research to reward: challenges in technology transfer
SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents
A longitudinal study of identifying and paying down architecture debt
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011
Startup software development education: a systematic mapping study
Enabling the development of safer mashups for open data
Chatgpt-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples
A biomimicry perspective at agile software exponential organizations
Tagging in Assisted Tracing
Manual refactoring changes with automated refactoring validation
Requirements for a Trace Property Language for Medical Devices
2nd International Workshop on Rapid Continuous Software Engineering (RCoSE 2015)
Approximating Attack Surfaces with Stack Traces
A methodology for energy performance testing of smartphone applications
Dynamic Restructuring in an Experimental Operating System
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings
A Failure of Management Nerve and Vision
ViDI: The Visual Design Inspector
A case study of a corporate open source development model
Heterogeneous pointcut expressions
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
Developer refinement of runtime architectural structure
Usability-Oriented Design of Liquid Types for Java
Resource-oriented business process modeling for ultra-large-scale systems
Knowledge-Based Communication Processes in Software Engineering
VRTest: An Extensible Framework for Automatic Testing of Virtual Reality Scenes
47th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2025, Ottawa, ON, Canada, April 27 - May 3, 2025
Relating voluntary turnover with job characteristics, satisfaction and work exhaustion: an initial study with brazilian developers
Enhancing software engineering education: a creative approach
Safe Low-Level Code Without Overhead is Practical
Example-driven modeling: model = abstractions + examples
Engineering adaptation with zanshin: an experience report
The Effect of Modularization and Comments on Program Comprehension
Using dynamic information flow analysis to detect attacks against applications
Open source barriers to entry, revisited: a sociotechnical perspective
Commonality and variability analysis for resource constrained organizations
Fine-grained Commit-level Vulnerability Type Prediction by CWE Tree Structure
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial)
A generic architecture supporting context-aware data and transaction management for mobile applications
How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation
Characterizing women (not) contributing to open-source
ViolationTracker: Building Precise Histories for Static Analysis Violations
Proceedings of the 6th International Workshop on SHAring and Reusing Architectural Knowledge, SHARK 2011, Waikiki, Honolulu, HI, USA, May 24, 2011
Software Reliability Engineering: A Roadmap
Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues
Granularity in software product lines
Analyzing User Perspectives on Mobile App Privacy at Scale
Reverse engineering with the reclipse tool suite
One-size-fits-none?: improving test generation using context-optimized fitness functions
How are Contracts Used in Android Mobile Applications?
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation
AFLSmart++: Smarter Greybox Fuzzing
Ranking Software Components for Pragmatic Reuse
Dynamic plans for integration testing of self-adaptive software systems
Workshop on Advanced Separation of Concerns in Software Engineering
Predictor models in software engineering (PROMISE)
Designing real-time and distributed applications with the UML (tutorial session)
Model-based self-adaptive resource allocation in virtualized environments
Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model
The scent of a smell: an extensive comparison between textual and structural smells
Using experimental games to understand communication and trust in Agile software teams
A distributed open social platform for mobile devices
Integrated Program Measurement and Documentation Tools
LTSA-WS: a tool for model-based verification of web service compositions and choreography
What went right and what went wrong: an analysis of 155 postmortems from game development
Web-based hybrid mobile apps: state of the practice and research opportunities
Breaking the Silence: the Threats of Using LLMs in Software Engineering
A tool for analyzing and detecting malicious mobile code
Big(ger) Data in Software Engineering
Directions in Software Engineering Education
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform
Software and Business Process Technology (Tutorial)
Student motivation in distributed software development projects
ReBA : re factoring-aware b inary a daptation of evolving libraries
A Monte Carlo Method for Metamorphic Testing of Machine Translation Services
Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts
Is operator-based mutant selection superior to random mutant selection?
Answering common questions about code
The Translation and Compatibility of SEQUEL and Query by Example
Towards multi-robot applications planning under uncertainty
ICSE Workshop on Software Engineering for Secure Systems, SESS 2009, Vancouver, BC, Canada, May 19, 2009
ShellFusion: Answer Generation for Shell Programming Tasks via Knowledge Fusion
Designing search based adaptive systems: a quantitative approach
Adaptive bug isolation
Flexible Probabilistic Modeling for Search Based Test Data Generation
Practical Preprocessing of Logs at Scale
EvoSuiTE at the SBST 2019 tool competition
Scenario-based Assessment of Software Architecture Usability
Mining interprocedural, data-oriented usage patterns in JavaScript web applications
Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation
How do Students Test Software Units?
A Theory of Scientific Programming Efficacy
PEARL At the Age of Three
Formal specification and analysis of JAAS framework
A prediction-driven adaptation approach for self-adaptive sensor networks
Scalable visualization of model differences
Automated test generation for detection of leaks in Android applications
Building modular object-oriented systems with reusable collaborations (tutorial session)
Edge Reduce: Eliminating Mobile Network Traffic Using Application-Specific Edge Proxies
Containing Malicious Package Updates in npm with a Lightweight Permission System
Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined
Cloud and Multi-cloud Computing: Current Challenges and Future Applications
Completely Monotone Regression Estimates of Software Failure Rates
Software Engineering Research in a World with Generative Artificial Intelligence
Extending recommendation systems with software maps
Introducing circa: a dataflow-based language for live coding
Predicting and fixing vulnerabilities before they occur: a big data approach
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
ReGVD: Revisiting Graph Neural Networks for Vulnerability Detection
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design
The Design of an Integrated, Interactive and Incremental Programming Environment