yusuke1997/dblp-id-title huggingface dataset:
2nd international workshop on advances and applications of problem frames
Vulnerability Detection with Code Language Models: How Far are We?
Microsoft touch develop and the BBC micro: bit
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront
Moving from a plan driven culture to agile development
Model-driven development of self-adaptive applications for mobile devices: (research summary)
Guided, automated testing of blockchain-based decentralized applications
Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers
How to not get rich: an empirical study of donations in open source
A Model using Agile Methodologies for Defining Metrics to be used by the Public Sector in Brazil to set Remuneration for Outsourced Software Development
Detecting incorrect build rules
GAssert: A Fully Automated Tool to Improve Assertion Oracles
An Analysis of Techniques and Methods for Technical Debt Management: A Reflection from the Architecture Perspective
Explicit assumptions enrich architectural models
Trade-offs in managing risk and technical debt in industrial research labs: an experience report
Fifteen Years of Industry and Academia Partnership: Lessons Learned from a Brazilian Research Group
Fuzzy fine-grained code-history analysis
Technical Brief on Software Engineering for FMware
Optimizing software development processes
Empirically Detecting False Test Alarms Using Association Rules
Software configuration management: a roadmap
Hybrid Concolic Testing
Building Statistical Language Models of code
4th International Workshop on Games and Software Engineering (GAS 2015)
Generation of executable test cases based on behavioral UML system models
We'll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?
The effect of noise on requirements comprehension
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements
An evaluation of the adaptation capabilities in programming languages
2nd SEMAT Workshop on a General Theory of Software Engineering, GTSE 2013, San Francisco, CA, USA, May 26, 2013
Supporting Scientists in Re-engineering Sequential Programs to Parallel Using Model-Driven Engineering
Knowledge transfer in global software development: leveraging acceptance test case specifications
Risk management with enhanced tracing of requirements rationale in highly distributed projects
Open language implementation
An investigation into Android run-time permissions from the end users' perspective
How to support customisation on SaaS: a grounded theory from customisation consultants
Design Using Software Engineering Principles: Overview of an Educational Program
EDB: A Multi-master Database for Liquid Multi-device Software
Investigating the Cost-Effectiveness of Reinspections in Software Development
Consequences of Unhappiness while Developing Software
Mobicomonkey: context testing of Android apps
Making program refactoring safer
Utilizing software reuse experience for automated test recommendation
Explicating symbolic execution (xSymExe): an evidence-based verification framework
Incorporating Human Intention into Self-Adaptive Systems
Software evolution in componentware using requirements/assurances contracts
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security
Extracting Relevant Test Inputs from Bug Reports for Automatic Test Case Generation
A Guide to End-to-End Privacy Accountability
On the role of requirements in understanding and managing technical debt
A study of the quality-impacting practices of modern code review at Sony mobile
The relevance of application domains in empirical findings
Toward a Methodology for Training with Synthetic Data on the Example of Pedestrian Detection in a Frame-by-Frame Semantic Segmentation Task
A formal approach for designing CORBA based applications
JDF: detecting duplicate bug reports in Jazz
Deductive Software Architecture Recovery via Chain-of-thought Prompting
Software Improvements in an International Company
Proceedings of the 10th International Workshop on Modelling in Software Engineering, MiSE@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018
A systematic evaluation of problematic tests generated by EvoSuite
An empirical study on using hints from past fixes: poster
How do you architect your robots?: state of the practice and guidelines for ROS-based systems
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer
Development of software engineering: co-operative efforts from academia, government and industry
Of code and context: collaboration between developers and translators
A comparison of program comprehension strategies by blind and sighted programmers
The problem of knowledge decoupling in software development projects
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
1st International Workshop on Replication in Empirical Software Engineering Research (RESER)
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Continuous social screencasting to facilitate software tool discovery
Comparing ISO/IEC 12207 and CMMI-DEV: Towards a mapping of ISO/IEC 15504-7
Fonte: Finding Bug Inducing Commits from Failures
Toward a unified object model for cyber-physical systems
Adopting an agile methodology: why it did not work
DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries
Comparing reliability levels of software releases
Find more bugs with QuickCheck!
DotProject+: open-source software for project management education
Characterizing Technical Debt and Antipatterns in AI-Based Systems: A Systematic Mapping Study
Agile requirement traceability matrix
On the Inference of Configuration Structures from Source Code
Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems
1st International Workshop on Software Protection (SPRO 2015)
An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques
Aspect-oriented software development beyond programming
Automated Generation of Accessibility Test Reports from Recorded User Transcripts
Improving enterprise software maintenance efficiency through mining software repositories in an industry context
FAST: A Second Generation Program Analysis System
ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications
Overcoming the NAH Syndrome for Inspection Deployment
Guiding dynamic symbolic execution toward unverified program executions
Using OCL-Queries for Debugging C++
A preliminary study of Android refactorings
Integrating Crowd Intelligence into Software
Towards Compatibly Mitigating Technical Lag in Maven Projects
Software Deployment, Past, Present and Future
Dissector: input validation for deep learning applications by crossing-layer dissection
Software security education at scale
Consolidating different views of quality attribute relationships
Please Turn Your Cameras on: Remote Onboarding of Software Developers During a Pandemic
Novice-friendly multi-armed robotics programming
Search-based energy testing of Android
Patient preference elicitation empowerment
An Exploratory Study on the Engineering of Security Features
Goal-conflict likelihood assessment based on model counting
JVM fuzzing for JIT-induced side-channel detection
Challenges in Adopting Artificial Intelligence Based User Input Verification Framework in Reporting Software Systems
Towards better utilizing static application security testing
Will my tests tell me if I break this code?
Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques
Slicing executable system-of-systems models for efficient statistical verification
Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection
Fathoming Software Evangelists with the D-Index
Though this be madness, yet there is method in it? (Keynote)
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Towards a Practical and Effective Method for Web Services Test Case Generation
Good Fences Make Good Neighbours? On the Impact of Cultural and Geographical Dispersion on Community Smells
Architecting Dependable and Secure Systems Using Virtualization
Automated Repair of Programs from Large Language Models
What Guides Our Choices? Modeling Developers' Trust and Behavioral Intentions Towards Genai
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation
Ant build maintenance with Formiga
Semantic anomaly detection in online data sources
Metamorphic Testing and Debugging of Tax Preparation Software
Proceedings of the 2018 International Conference on Technical Debt, TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018
Operation-based conflict detection and resolution
Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning
Holmes: An Intelligent System to Support Software Product Line Development
Parallel refinement for multi-threaded program verification
Experimental program analysis: a new paradigm for program analysis
CoCoSoDa: Effective Contrastive Learning for Code Search
To Get Good Student Ratings should you only Teach Programming Courses? Investigation and Implications of Student Evaluations of Teaching in a Software Engineering Context
Traceability Recovery for Innovation Processes
Systems engineering: an essential engineering discipline for the 21st century
Storm prediction in a cloud
Encoding Program Executions
Why did this code change?
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
Cognitively Sustainable ICT with Ubiquitous Mobile Services - Challenges and Opportunities
Green AI: Do Deep Learning Frameworks Have Different Costs?
TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
Log-based Anomaly Detection with Deep Learning: How Far Are We?
Professionals Are Not Superman: Failures beyond Motivation in Software Experiments
Testing service oriented architectures using stateful service visualization via machine learning
An approach to architectural analysis of product lines
AURA: a hybrid approach to identify framework evolution
Constructing Test Suites for Interaction Testing
Using the ASTRAL Model Checker to Analyze Mobile IP
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering
What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration
From Theory to Practice: Experiences of Industry-Academia Collaboration from a Practitioner
Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems
Experiences on Defining and Evaluating an Adapted Review Process
Message from the ICSE 2022 Program Chairs
Human-AI Partnerships for Chaos Engineering
Proceedings of the 2nd International Workshop on the Role of Abstraction in Software Engineering, ROA '08, Leipzig, Germany, May 11, 2008
A Case Study in Locating the Architectural Roots of Technical Debt
1st International Workshop on Advances and Applications of Problem Frames
Parallel Randomized State-Space Search
COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge
Understanding requirements for computer-aided healthcare workflows: experiences and challenges
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven
Benefits of interactive display environments in the software development process
Sensor-Based Approach for Predicting Departure Time of Smartphone Users
GridOPTICS(TM): a design for plug-and-play smart grid software architecture
Metamorphic testing 20 years later: a hands-on introduction
CATE: Concolic Android Testing Using Java PathFinder for Android Applications
Mobile app and app store analysis, testing and optimisation
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques
EarlGrey: iOS UI automation testing tool
Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices
Haemo Dialysis Software Architecture Design Experiences
"Can You Help Me?" An Experience Report of Teamwork in a Game Coding Camp for Autistic High School Students
Continuous deployment at Facebook and OANDA
Build system maintenance
FlakeSync: Automatically Repairing Async Flaky Tests
IoT-based urban security models
Assessing iterative practical software engineering courses with play money
Variant management solution for large scale software product lines
Models for model's sake: why explicit system models are also an end to themselves
Practitioners' views on good software testing practices
"Is My Mic On?" Preparing SE Students for Collaborative Remote Work and Hybrid Team Communication
An Empirical Study on Reproducible Packaging in Open-Source Ecosystems
Proceedings of the 5th International Workshop on Exception Handling, WEH 2012, Zurich, Switzerland, June 9, 2012
Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories
Evolution of Software Development Strategies
Not going to take this anymore: multi-objective overtime planning for software engineering projects
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models
Clonetracker: tool support for code clone management
Jigsaw: Large Language Models meet Program Synthesis
Preserving energy resources using an Android kernel extension: a case study
Impact analysis of database schema changes
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach
Context-based search to overcome learning barriers in software development
Sixth workshop on software quality
Researching crowdsourcing software development: perspectives and concerns
Reproducing context-sensitive crashes of mobile apps using crowdsourced monitoring
Bots for Pull Requests: The Good, the Bad, and the Promising
Towards a Design-Theoretic Characterisation of Software Development Process Models
EVA: a tool for visualizing software architectural evolution
Real-Time Monitoring of Neural State in Assessing and Improving Software Developers' Productivity
Supporting Program Comprehension Using Semantic and Structural Information
1st IEEE/ACM International Workshop on Software Vulnerability, SVM@ICSE 2023, Melbourne, Australia, May 20, 2023
In-depth measurement and analysis on densification power law of software execution
Scalable and approximate program dependence analysis
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services
Seven essentials of software process
Harnessing Multiple Source Test Cases in Metamorphic Testing: A Case Study in Bioinformatics
Efficient Scalable Verification of LTL Specifications
RAT: A Refactoring-Aware Tool for Tracking Code History
The delta maintainability model: measuring maintainability of fine-grained code changes
Static Control-Flow Analysis of User-Driven Callbacks in Android Applications
Traceclipse: an eclipse plug-in for traceability link recovery and management
Synthesis of Allowlists for Runtime Protection against SQLi
Neurological divide: an fMRI study of prose and code writing
Spotting working code examples
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
An Ensemble Method for Bug Triaging using Large Language Models
A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing
A heuristic-based approach for detecting SQL-injection vulnerabilities in web applications
Drawing Insight from Student Perceptions of Reflective Design Learning
Mining Java class identifier naming conventions
Connected health: from rural Ireland to rural India
Technical debt prioritization: a developer's perspective
Data mining library reuse patterns using generalized association rules
On mining sensor network software repositories
Automated usability evaluation of parallel programming constructs
Automatic generation of software behavioral models
Towards automated testing and fixing of re-engineered feature models
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation Mining
The importance of the use of an estimation process
Proceedings of the 3rd International Workshop on Multicore Software Engineering, IWMSE '10, Cape Town, South Africa, May 1, 2010
Lessons learned in aligning data and model evolution in collaborative information systems
Feature oriented refactoring of legacy applications
Proceedings of the 1st International Workshop on Live Programming, LIVE 2013, San Francisco, California, USA, May 19, 2013
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems
Reducing combinatorics in GUI testing of android applications
Using KIDS as a Tool Support for VDM
Automatically Identifying Parameter Constraints in Complex Web APIs: A Case Study at Adyen
VeriSIM: a learning environment for comprehending class and sequence diagrams using design tracing
Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering, CHASE 2009, Vancouver, BC, Canada, 17 May 2009
Are Students Representatives of Professionals in Software Engineering Experiments?
An architects guide to enterprise application integration with J2EE and .NET
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles
Distilling privacy requirements for mobile applications
Unrealizable Cores for Reactive Systems Specifications
SOMETHINGit: a prototyping library for live and sound improvisation
Belief & evidence in empirical software engineering
Execution Trace Reconstruction Using Diffusion-Based Generative Models
Human factors in software security risk management
A multi-year analysis of students' build errors in agile software development educational projects
Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011
3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014
Predicting Field Reliability
Social identity in software development
The ECCO Tool: Extraction and Composition for Clone-and-Own
Immutable log storage as a service
One More Step in the Direction of Modularized Integration Concerns
39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017, Buenos Aires, Argentina, May 20-28, 2017
Leaving My Fingerprints: Motivations and Challenges of Contributing to OSS for Social Good
A programming model and system for disconnected-aware applications on resource-constrained devices
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)
MoCoP: towards a model clone portal
Test factoring: focusing test suites for the task at hand
Developing use cases and scenarios in the requirements process
Design module: a modularity vision beyond code: not only program code but also a design model is a module
Nirikshan: process mining software repositories to identify inefficiencies, imperfections, and enhance existing process capabilities
ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
Cross-Inlining Binary Function Similarity Detection
Investigating Factors That Influence Developers' Experience in Mobile Software Ecosystems
Towards feature-aware retrieval of refinement traces
An immersive future for software engineering: avenues and approaches
Analyzing multi-agent systems with probabilistic model checking approach
Property oriented verification via iterative abstract interpretation
An Initial Assessment of Aspect-Oriented Programming
An Initial Exploration of the "Good First Issue" Label for Newcomer Developers
Simulation-based Testing of Automated Driving Systems
On the Pitfalls of UML 2 Activity Modeling
Software development studio: bringing industrial environment to a classroom
Developing an architecture of a knowledge-based electronic patient record
A Program Complexity Metric Based on Data Flow Information in Control Graphs
A performance evaluation of cross-platform mobile application development approaches
Architectural technical debt in microservices: a case study in a large company
An Object-Oriented Testing and Maintenance Environment
Automatic testing of sequential and concurrent substitutability
Analyzing Automatic Test Generation Tools for Refactoring Validation
SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluation
Automate the decision on best-suited UI design for mobile apps
Designing for Cognitive Diversity: Improving the GitHub Experience for Newcomers
A framework for raising the level of abstraction of explicit parallelization
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Keyword Extraction From Specification Documents for Planning Security Mechanisms
Search-Based Software Re-Modularization: A Case Study at Adyen
Third international workshop on dynamic analysis(WODA 2005)
Smartmark: Software Watermarking Scheme for Smart Contracts
A Large-Scale Evaluation of a Model for the Evaluation of Games for Teaching Software Engineering
Code duplication on stack overflow
Detecting and quantifying architectural debt: theory and practice
Understanding the impressions, motivations, and barriers of one time code contributors to FLOSS projects: a survey
Pragmatic prioritization of software quality assurance efforts
Dynamic shape analysis of program heap using graph spectra
Taming Google-Scale Continuous Testing
Software quality economics for defect-detection techniques using failure prediction
FaCoY: a code-to-code search engine
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
Alitheia Core: An extensible software quality monitoring platform
The Stream Machine: A Data Flow Architecture for Real-Time Applications
Tracking requirements evolution by using issue tickets: a case study of a document management and approval system
Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report)
From requirements to specifications: a formal approach
Why Did your PR Get Rejected?: Defining Guidelines for Avoiding PR Rejection in Open Source Projects
Language and Visualization Support for Large-Scale Concurrency
Static Test Flakiness Prediction
Instrumentation-Driven Evolution-Aware Runtime Verification
Exponential Competence of Computer Science and Software Engineering Undergraduate Students
Tracking down software bugs using automatic anomaly detection
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Identifying scalability debt in open systems
A Novel Approach to Improving the Digital Literacy of Older Adults
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
What is the value of your software?
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report
Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science
Source Code Curation on StackOverflow: The Vesperin System
Reordering tests for faster test suite execution
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015)
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
Privacy by designers: software developers' privacy mindset
Software development under bounded rationality and opportunism
Software process improvement (tutorial session): best practices and lessons learned
A Synergistic Analysis Method for Explaining Failed Regression Tests
Towards addressing the patch overfitting problem
Verification support for workflow design with UML activity graphs
Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution
The Influence of Technical Variety in Software Ecosystems
Codebook: discovering and exploiting relationships in software repositories
A model for strengthening the software engineering research capacity
An empirical study of the performance impacts of Android code smells