yusuke1997/dblp-id-title huggingface dataset:
Recommending developers with supplementary information for issue request resolution
Optimizing a rule engine using adaptive programming techniques
Short-term revisit during programming tasks
7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015)
Viatra solver: a framework for the automated generation of consistent domain-specific models
Refactoring to role objects
Parameterized unit testing: theory and practice
Towards efficient optimization in package management systems
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration
APE: an annotation language and middleware for energy-efficient mobile application development
IEEE/ACM International Workshop on Designing Software, Designing@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
The economy of collective attention for situated knowledge collaboration in software development
Challenges for semi-automatic trace recovery in the automotive domain
Are Automatic Bug Report Summarizers Missing the Target?
Using GUI Run-Time State as Feedback to Generate Test Cases
Mobile malware detection in the real world
Generating Test Databases for Database-Backed Applications
HUDD: A tool to debug DNNs for safety analysis
Enhance value by building trustworthy software-reliant system of systems from software product lines
Code drones
Analysis of crosscutting features in software product lines
A cross-program investigation of students' perceptions of agile methods
Towards a Reference Software Architecture for Human-AI Teaming in Smart Manufacturing
Dynamic slicing for Android
Poster: Model-based Run-time Variability Resolution for Robotic Applications
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
Wait wait. No, tell me: analyzing selenium configuration effects on test flakiness
A longitudinal case study on the effects of an evidence-based software engineering training
Towards secure dynamic product lines in the cloud
Environmental factors influencing individual decision-making behavior in software projects: a systematic literature review
Testing DNN image classifiers for confusion & bias errors
Automated security hardening for evolving UML models
Advantages and disadvantages of a monolithic repository: a case study at google
Code review for newcomers: is it different?
Proceedings of the 2010 ICSE Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2010, Cape Town, South Africa, May 2, 2010
The CommUnity Workbench
EasyAccept: A Tool to Easily Create, Run and Drive Development with Automated Acceptance Tests
APISynth: a new graph-based API recommender system
What do we "mashup" when we make mashups?
Proactive adaptation of service composition
Declarative approach for model composition
A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection
A semantic end-to-end QoS model for dynamic service oriented environments
Flexible product line engineering with a virtual platform
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level
Data-Driven Application Maintenance: Experience from the Trenches
Simulating student mistakes to evaluate the fairness of automated grading
Software Reuse in an Industrial Setting: A Case Study
Guiding developers to make informative commenting decisions in source code
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation
Concern management for constructing model compilers
Proceedings of the Joint 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES), SESoS/WDES 2019, Montreal, QC, Canada, May 28, 2019
Proceedings of the 2nd Workshop on Managing Technical Debt, MTD 2011, Waikiki, Honolulu, HI, USA, May 23, 2011
The Relationship between Slices and Module Cohesion
A redefinition of roles and collaboration under model-driven development
Structure-invariant testing for machine translation
Towards Understanding the Relationships between Interdependence and Trust in Software Development: A Qualitative Research
Camouflage: automated anonymization of field data
Exploring the Benefits of Using Redundant Responses in Crowdsourced Evaluations
Java unit testing tool competition: seventh round
Formal Specification and Automatic Programming
Light-Weight Rule-Based Test Case Generation for Detecting Buffer Overflow Vulnerabilities
ID3P: Iterative Data-Driven Development of Persona Based on Quantitative Evaluation and Revision
Empirical study of correlation between mutation score and model inference based test suite adequacy assessment
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support
Languages and tools for managing feature models
White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems
Tutorial: An Overview of UML 2.0
8th IEEE/ACM International Symposium on Software and Systems Traceability, SST 2015, Florence, Italy, May 17, 2015
Colored graph transformation rules for model-driven engineering of multi-target systems
MET 2017 Workshop Summary
Reproducibility of Build Environments through Space and Time
Semantics-based reverse engineering of object-oriented data models
Towards new requirements engineering competencies
On the Experiences of Adopting Automated Data Validation in an Industrial Machine Learning Project
Toward effective management of large-scale software
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
A Realistic, Commercially Robust Process for the Development of Object-Oriented Software Systems (Tutorial)
Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator
Do preparatory programming lab sessions contribute to even work distribution in student teams?
An Empirical Study on Cross-language Clone Bugs
Revisiting the mobile software ecosystems literature
Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs
Angelix: scalable multiline program patch synthesis via symbolic analysis
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report
Using a Behavioral Theory of Program Comprehension in Software Engineering
Independent On-Line Monitoring of Evolving Systems
Hierarchical metamorphic relations for testing scientific software
Contracting agile developments for mission critical systems in the public sector
Algorithm Development in the Mobile Environment
Product line tool-chain: variability in critical systems
Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking
Towards automated testing of web service choreographies
Parametric Falsification of Many Probabilistic Requirements Under Flakiness
SERGE - Serious Game for the Education of Risk Management in Software Project Management
DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems
Traffic routing for evaluating self-adaptation
Reduce Dependence for Sound Concurrency Bug Prediction
Towards a model for cost-benefit-analysis of quality assurance in the automotive E/E development
Specifying adaptation semantics
CaSS: Context-Aware Slice Summarization for Debugging Regression Failures
A real time measure of software system families
ConTexter feedback system
Creating healthcare training simulations in virtual worlds
OpenPnP: a plug-and-produce architecture for the industrial internet of things
A compiler project with learning progressions
SEbox4DL: A Modular Software Engineering Toolbox for Deep Learning Models
Animating Organizational Patterns
An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections
Do code clones matter?
Does Outside-In Teaching Improve the Learning of Object-Oriented Programming?
The role of congregation in service-oriented development
ViewPoints: meaningful relationships are difficult!
Using physical quantities in robot software models
Improving Human-in-the-Loop Adaptive Systems Using Brain-Computer Interaction
LLM-Aided Automatic Modeling for Security Protocol Verification
Software Technology Maturation
A Systematic Approach to Domain-Oriented Software Development
Automatic Test Case Generation for Smart Human-Centric Ecosystems
Partial evaluation of model transformations
Combinatorial test design in practice
What makes research software sustainable?: an interview study with research software engineers
System-of-systems platform scoping
Diagnosing unobserved components in self-adaptive systems
Energy-Aware Software Testing
Code Today, Deadline Tomorrow: Procrastination Among Software Developers
Deriving requirements model from textual use cases
Challenges of satisfying multiple stakeholders: quality of service in the internet of things
Object Oriented Reuse: Experience in Developing a Framework for Speech Recognition Applications
Welcome to the international workshop on European software services and systems research: Results and challenges (S-Cube@ICSE 2012)
Testing untestable neural machine translation: an industrial case
Crowd-Based Programming for Reactive Systems
3rd international workshop on developing tools as plug-ins (TOPI 2013)
Using Automated Fix Generation to Secure SQL Statements
The value of a usability-supporting architectural pattern in software architecture design: a controlled experiment
ICSE 2002 workshop on architecting dependable systems
FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly
Advanced Unit Testing: How to Scale up a Unit Test Framework
Emergence of developer teams in the collaboration network
Reflective assistance for eldercare environments
On evaluating and securing firefox for Android browser extensions
A structural model for quality requirements regarding Electronic Health Records - State of the art and first concepts
StriSynth: Synthesis for Live Programming
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management
ConcernReCS: Finding code smells in software aspectization
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts
Automated software integration flows in industry: a multiple-case study
A Model-Driven Architecture Approach Using Explicit Stakeholder Quality Requirement Models for Building Dependable Information Systems
Real-time multi-user spatial collaboration using ARCore
Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, EduRex 2012, Zurich, Switzerland, June 9, 2012
Evaluating Individual Contribution Toward Group Software Engineering Projects
Systematically selecting a software module during opportunistic reuse
Evidence Profiles for Validity Threats in Program Comprehension Experiments
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization
Design and implementation of a data analytics infrastructure in support of crisis informatics research
Trace based reachability verification for statecharts
A roadmap for software maintainability measurement
SAFE: Safety Analysis and Retraining of DNNs
Towards an adaptive execution of applications in heterogeneous embedded networks
Software engineering for automated vehicles: addressing the needs of cars that run on software and data
Finite Semantics for Program Testing
Investigating the social representations of code smell identification: a preliminary study
Towards contextualised software engineering education: an African perspective
Program repair that learns from mistakes
Software development engineer in Microsoft: a subjective view of soft skills required
Static Checking of Interrupt-Driven Software
Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE
Construct bug knowledge graph for bug resolution: poster
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Creation of a game-based digital layer for increased museum engagement among digital natives
Identification of methods with low fault risk
Domain Modeling for Software Engineering
Software Interoperability: Principles and Practice
When code completion fails: a case study on real-world completions
Students as partners in a multi-media note-taking app development: best practices
A spoonful of DevOps helps the GI go down
Evolving legacy system features into fine-grained components
Embrace the Challenges: Software Engineering in a Big Data World
Peer to peer for privacy and decentralization in the internet of things
Motivation for Self-Assignment: Factors Agile Software Developers Consider
A turing test for genetic improvement
Mutation Analysis for System of Systems Policy Testing
Transforming a large medical organization towards speed and flow
Modeling and Extracting Load Intensity Profiles
Breaking Barriers: Investigating the Sense of Belonging Among Women and Non-Binary Students in Software Engineering
Symbiotic and sensitivity-aware architecture for globally-optimal benefit in self-adaptive cloud
Comprehension Processes During Large Scale Maintenance
A dynamic pair-program sending architecture for industrial remote operations
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07)
Modelling Knowledge about Software Processes using Provenance Graphs and its Application to Git-based Version Control Systems
Developing Software for Low Socio-Economic End Users: Lessons Learned from A Case Study of Fisherfolk Communities in Bangladesh
App-directed learning: An exploratory study
Fostering software quality assessment
Proceedings of the 4th International Workshop on Multicore Software Engineering, IWMSE '11, Waikiki, Honolulu, HI, USA, May 21, 2011
Partial models: Towards modeling and reasoning with uncertainty
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
Leveraging the Service Bus Paradigm for Computer-Mediated Social Communication Interoperability
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Efficiently Trimming the Fat: Streamlining Software Dependencies with Java Reflection and Dependency Analysis
Progress Toward Automated Software Testing
DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
Mining readme files to support automatic building of Java projects in software repositories: poster
Multi-platform computing for physical devices via MakeCode and CODAL
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications
The role of semiotic engineering in software engineering
Matryoshka: Strengthening Software Protection via Nested Virtual Machines
Using two heads in practice
Separation of concerns in software product line engineering
Code parallelization through sequential code search
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, RSSE 2014, Hyderabad, India, June 3, 2014
Static analysis tools as early indicators of pre-release defect density
Model-driven engineering ecosystems
Handling Emergent Nondeterminism in Replicated Services
The impact of fault type on the relationship between code coverage and fault detection
Software architecture: Organizational perspectives
Revisiting bug triage and resolution practices
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects
Ranking Relevant Tests for Order-Dependent Flaky Tests
Spreadsheet debugging behaviour of expert and novice end-users
One Block on Top of the Other: Using Minetest to Teach Scrum
Software Resurrection: Discovering Programming Pearls by Showing Modernity to Historical Software
EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications
Quality-Aware Runtime Adaptation in Complex Event Processing
The making of a software engineer challenges for the educator
A microservice architecture for online mobile app optimization
Supporting Defect Causal Analysis in Practice with Cross-Company Data on Causes of Requirements Engineering Problems
Better Automatic Program Repair by Using Bug Reports and Tests Together
Supporting Agile Teams with a Test Analytics Platform: A Case Study
Challenges and Gratitude: A Diary Study of Software Engineers Working From Home During Covid-19 Pandemic
Rexstepper: a Reference Debugger for JavaScript Regular Expressions
High level synthesis of ROS protocol interpretation and communication circuit for FPGA
Chiromancer: a tool for boosting Android application performance
Resolving ambiguities in regulations: towards achieving the kohlbergian stage of principled morality
PASTA: Synthesizing Object State Transformers for Dynamic Software Updates
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
Data-driven continuous evolution of smart systems
Learning Graph-based Code Representations for Source-level Functional Similarity Detection
POPT: a problem-oriented programming and testing approach for novice students
Supporting incremental programming with ghosts
Asymob: a platform for measuring and clustering chatbots
A DSL for describing the artificial intelligence in real-time video games
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Sharing Data through Confidential Clouds: An Architectural Perspective
Automated re-factoring of Android apps to enhance energy-efficiency
Can latent topics in source code predict missing architectural tactics?
Intra-thalamic and thalamocortical connectivity: potential implication for deep learning
IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, GTSE 2015, Florence, Italy, May 18, 2015
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013
Model Checking Distributd Objects Design
Experiences from the Architectural Change Process
ViVA: a visualization and analysis tool for distributed event-based systems
Estimating software component reliability by leveraging architectural models
Test generation across multiple layers
Modelling feature interactions in the automotive domain
UTBot at the SBFT 2023 Java Tool Competition
Safety Monitoring of Deep Reinforcement Learning Agents
Enabling dynamic metamodels through constraint-driven modeling
ITER: Iterative Neural Repair for Multi-Location Patches
On the Heroism of Really Pursuing Formal Methods
Characterizing API elements in software documentation with vector representation
Detecting Automatic Software Plagiarism via Token Sequence Normalization
A recommendation system for exception handling code
Towards Architectural Styles for Android App Software Product Lines
"Tell Me and I Forget, Teach Me and I May Remember, Involve Me and I Learn": Changing the Approach of Teaching Computer Organization
When to Say What: Learning to Find Condition-Message Inconsistencies
A New Program Structure to Improve Accuracy and Readability of Pascal Software
Fostering collaboration through API economy: the E015 digital ecosystem
Language Features for Description of Cooperating Processes
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, USER '12, Zurich, Switzerland, June 5, 2012
Push-Button Synthesis of Watch Companions for Android Apps
Proceedings of the 2009 ICSE Workshop on Leadership and Management in Software Architecture, LMSA '09, Vancouver, BC, Canada, May 2009
An artificial intelligence-based model-driven approach for exposing off-nominal behaviors
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
On coordination tools in the PicOS tuples system
Practical Program Repair via Preference-based Ensemble Strategy
Six challenges in supporting end-user debugging
1st IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering, NSE@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
Towards automating the generation of mutation tests
Assessing traditional and new metrics for object-oriented systems
Automated reliability estimation over partial systematic explorations
The role of emergent knowledge structures in collaborative software development
XMIDDLE: information sharing middleware for a mobile environment
Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract)
Undertaking the tokeneer challenge in event-b
Collabode: collaborative coding in the browser
Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities
A modeling method to develop goal-oriented adaptive agents in modeling and simulation for smart grids
FlaPy: Mining Flaky Python Tests at Scale
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory
Application- and User-Sensitive Privacy Enforcement in Mobile Systems
A Workbench for Synthesising Behaviour Models from Scenarios
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018
Large Language Models as Configuration Validators
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
Reporting usability metrics experiences
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level
On the Architecture-Driven Development of Software-Intensive Systems-of-Systems
A case study: agile development in the community laser-induced incandescence modeling environment (CLiiME)
Efficiency analysis of model-based review in actual software design
Towards Causal Deep Learning for Vulnerability Detection
Morpheus: Variability-Aware Refactoring in the Wild
Improving model usability and utility by layered diagrams
Towards measuring the aggregated debt of trustworthiness level
MAANA: An Automated Tool for DoMAin-Specific HANdling of Ambiguity
Mobile Services for Everyone, Anywhere, at Anytime: Defying Universality as a Quality Attribute
A Reference Model for Empirically Comparing LLMs with Humans
Exploiting the Map Metaphor in a Tool for Software Evolution
Towards enhanced accountability in complying with healthcare regulations
Could I have a stack trace to examine the dependency conflict issue?
Poster: Static Detection of Configuration-Dependent Bugs in Configurable Software
A case study of measuring process risk for early insights into software safety
Spirale at the SBFT 2023 Tool Competiton - Cyber-Physical Systems Track
Let's not Make a Fuzz about it
Feedback-based debugging
WISE: Automated test generation for worst-case complexity
The WSDM of Autonomic Computing: Experiences in Implementing Autonomic Web Services
On the Alignment of Source Code Quality Perspectives through Experimentation: An Industrial Case
Proceedings of the 1st international workshop on Software development governance, SDG '08, Leipzig, Germany, May 12, 2008
Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports
Why does code review work for open source software communities?
Towards bridging the gap between control and self-adaptive system properties
TESTIFAI: Probabilistic Context-Aware Testing for Safe Deep Learning Models
Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering
Understanding the impact of technical debt on the capacity and velocity of teams and organizations: viewing team and organization capacity as a portfolio of real options