yusuke1997/dblp-id-title huggingface dataset:
Correctness and Relative Correctness
The SmartSHARK ecosystem for software repository mining
Geographically Distributed Sensemaking: Developing Understanding in Forum-Based Software Development Teams
Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts
Ownership, experience and defects: a fine-grained study of authorship
Software architecture and agile software development: a clash of two cultures?
Is continuous adoption in software engineering achievable and desirable?
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums
ARepair: a repair framework for alloy
DeepLog: Deep-Learning-Based Log Recommendation
YODA: young and newcomer developer assistant
Reducing confounding bias in predicate-level statistical debugging metrics
Automating the discovery of stable domain abstractions for reusable aspects
An Early Report on Encompass
Round-Trip Engineering with Design Patterns, UML, Java and C++
Software Testing Conferences and Women
An Adaptable Generation Approach to Agenda Management
Blending freeform and managed information in tables
Multifaceted test suite generation using primary and supporting fitness functions
Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems
Gradeer: An Open-Source Modular Hybrid Grader
Mining Object Usage Models
A Unified Framework for the Comprehension of Software's Time
An algorithm and tool to infer practical postconditions
Modeling of component based systems
On vulnerability evolution in Android apps
Cross-project just-in-time bug prediction for mobile apps: an empirical assessment
Software Engineering Education: A Place in the Sun?
An Interactive Tool for Program Manipulation
Proceedings of the First International Workshop on Leadership and Management in Software Architecture, LMSA '08, Leipzig, Germany, May 11, 2008
A formal approach to sensor placement and configuration in a network intrusion detection system
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering
Seamless Variability Management With the Virtual Platform
Challenges and Opportunities when Deploying a Gender STEM Intervention During a Pandemic
Unicomp: a semantics-aware model compiler for optimised predictable software
Verification of Concurrent Software with FLAVERS
Data flow testing of service-oriented workflow applications
Centralized Generic Interfaces in Hardware/Software Co-design for AI Accelerators
HEAL ME - An Architecture for Health Software Ecosystem Evaluation
Evidence-based decision making in lean software project management
Dimensions of experientialism for software engineering education
Third ICSE workshop on web engineering
The fractal dimension metric and its use to assess object-oriented software quality
Design of Large-Scale Polylingual Systems
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity
BlockLib: a skeleton library for cell broadband engine
ImitGraphs: Towards Fmiseer Usability Tests of Graphical Model Manipulation Techniques
The Role of Environmental Assumptions in Failures of DNA Nanosystems
Customized awareness: recommending relevant external change events
VDTest: an automated framework to support testing for virtual devices
Software engineering for secure systems
Abstracting timing information in UML state charts via temporal ordering and LOTOS
Parallelizable reachability analysis algorithms for feed-forward neural networks
A/B Integrations: 7 Lessons Learned from Enabling A/B testing as a Product Feature
IntelliGen: Automatic Driver Synthesis for Fuzz Testing
Do Software Security Practices Yield Fewer Vulnerabilities?
The impact of source test case selection on the effectiveness of metamorphic testing
Automated GUI testing of Android apps: from research to practice
Toward deeply adaptive societies of digital systems
Issues in representing domain-specific concerns in model-driven engineering
Learning operational requirements from goal models
Software analytics: challenges and opportunities
On the Effectiveness of Machine Learning Experiment Management Tools
Towards having a cloud of mobile devices specialized for software testing
Software defect density variants: A proposal
Bugine: a bug report recommendation system for Android apps
Competition on inter-organizational collaboration from an organizational-social-technical perspective
Self-reported activities of Android developers
Understanding the dynamics of test-driven development
Use of software inspection inputs in practice
Automating software tests with partial oracles in integrated environments
Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering
Behavioural self-adaptation of services in ubiquitous computing environments
Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models
Measuring the energy footprint of mobile testing frameworks
Reducing the test effort of variability-rich systems by using feature interaction knowledge and variability-aware source code analysis
Estimating software fault-proneness for tuning testing activities
A qualitative study on project landscapes
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
User Interface Technology and Software Engineering Environments
Statistical Learning for Inference between Implementations and Documentation
On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs
An approach for categorizing end user programmers to guide software engineering research
From behaviour preservation to behaviour modification: constraint-based mutant generation
Human aspects, gamification, and social media in collaborative software engineering
A study on improving static analysis tools: Why are we not using them?
Design patterns for developing dynamically adaptive systems
Live feedback on behavioral changes
Jimbo: a collaborative IDE with live preview
Reuse Technologies and Their Niches
Software Research in the Department of Defense
Active Data Structures
Experience with modularity in an advanced teleconferencing service deployment
Inferring likely mappings between APIs
Extracting counterexamples from transitive-closure-based model checking
Directives of communicability: teaching students how to improve communication through software modeling
Information as a Service: Modeling and Realization
Curious, Critical Thinker, Empathetic, and Ethically Responsible: Essential Soft Skills for Data Scientists in Software Engineering
The Computer Assisted Software (Case) System
A case study of using HCI methods to improve tools for programmers
David L. Parnas Symposium
Constructing safety assurance cases for medical devices
Designing Adaptive Developer-Chatbot Interactions: Context Integration, Experimental Studies, and Levels of Automation
Cognitive complexity: an overview and evaluation
TQL: A query language to support traceability
Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models
To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers
Process instance migration: Flexible execution of distributed business processes
Articulation work in small-scale offshore software development projects
FuRong: fusing report of automated Android testing on multi-devices
Multi-platform user interface construction: a challenge for software engineering-in-the-small
UCSIM: A Tool for Simulating Use Case Scenarios
Counter play-out: executing unrealizable scenario-based specifications
Assessing transition-based test selection algorithms at Google
Program Comprehension and Code Complexity Metrics: An fMRI Study
A framework for the rigorous design of highly adaptive timed systems
Dynamic Simulation of Software Workers and Task Completion
Frequency and risks of changes to clones
Code-level model checking in the software development workflow
Summary of the ICSE 2012 workshops
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
An Experience Report on Using Video-Creation Tasks in Requirements-Engineering Education
6th international workshop on cooperative and human aspects of software engineering (CHASE 2013)
Concern patterns and analysis
RepresentThemAll: A Universal Learning Representation of Bug Reports
CodeArena: inspecting and improving code quality metrics using minecraft
Is rust used safely by software developers?
Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
The untold story of code refactoring customizations in practice
Understanding features in SOA: some experiences from distributed systems
LEAKPOINT: pinpointing the causes of memory leaks
Effects of using examples on structural model comprehension: a controlled experiment
The rise and fall of a central contributor: Dynamics of social organization and performance in the GENTOO community
A Closer Look at Iteration: The Self Stabilizing Capability of Loops
Software Reuse Myths Revisited
Experiences with place lab: an open source toolkit for location-aware computing
Watching the Detectives: An Initial Report on an Industrial Experiment to Collaborate with the Empirical Software Engineering Research Community
Third international summit on software engineering education (SSEE III): bridging the university/industry gap
How to evaluate a conflict minimizing task scheduler through a user study
Recovering variability information from the source code of similar software products
Verifying safety policies with size properties and alias controls
On Building an Automatic Identification of Country-Specific Feature Requests in Mobile App Reviews: Possibilities and Challenges
Architecting and Implementing Versatile Dependability
When and Why Your Code Starts to Smell Bad
Teaching university students Kanban with a collaborative board game
An Architectural Style for Multiple Real-Time Data Feeds
An Exploration of Object-Oriented Methodologies for System Analysis and Design
Delivering Elastic Containerized Cloud Applications to Enable DevOps
Software Visualisation for Object-Oriented Program Comprehension
Integrating reuse into the rapid, continuous software engineering cycle through test-driven search
Using Emotions to Empower the Self-Adaptation Capability of Software Services
Towards run-time testing of dynamic adaptive systems
A decision support system for the classification of software coding faults: a research abstract
Uncovering performance problems in Java applications with reference propagation profiling
Interpolated n-grams for model based testing
Test Adequacy and Program Mutation
Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles
How to Apply Human-Centered Design Process (HCDP) to Software Development Process?
Evaluating the benefits of systematic project management in large public sector projects
Refactoring-Aware Configuration Management for Object-Oriented Programs
Automatically solving NP-complete problems on a quantum computer
Town hall discussion of SE 2004 revisions (panel)
End-user requirements blogging with iRequire
Managing by the Numbers: A Tutorial on Quantitative Measurement and Control of software Projects
Towards a conceptual framework and tool support for linking long-term product and business planning with agile software development
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software
The Software Engineering Impacts of Cultural Factors on Multi-cultural Software Development Teams
Code transformation issues in move-instance-method refactorings
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
Analysis of execution log files
Kanbanize the release engineering process
Workshop on Software Engineering and Mobility
A Framework For Inferring Properties of User-Defined Functions
Second International Workshop on Software Engineering for Embedded Systems, SEES 2012, Zurich, Switzerland, June 9, 2012
Unifying execution of imperative and declarative code
Gamekins: Gamifying Software Testing in Jenkins
Injecting software architectural constraints into legacy scientific applications
A framework of greedy methods for constructing interaction test suites
Automated scalable test-suite augmentation for evolving software
Graph-Based Statistical Language Model for Code
STCML: an extensible XML-based language for socio-technical modeling
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education
An Extensible File System for Hydra
SLF: fuzzing without valid seed inputs
Strong mutation-based test data generation using hill climbing
Cross-Platform Testing of Quantum Computing Platforms
7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012
Proceedings of the 1st International Workshop on Multicore Software Engineering, IWMSE '08, Leipzig, Germany, May 11, 2008
A Software Methodology for Buidling Interactive Tools
Data Quality Matters: A Case Study of Obsolete Comment Detection
An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems
Research Summary for Dynamic Detection of Program Invariants
26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom
State of the systems security
Formal Specification and Development of an Ada Compiler - A VDM Case Study
Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
A Knowledge-Based Environment for the Development of Software Parts Composition Systems
ImpactMiner: a tool for change impact analysis
Program Decomposition and Translation with Static Analysis
CORE : A Method for Controlled Requirement Expression
Affirmative Action for Attracting Women to STEM in Chile
Scenario-based learning in a MOOC specialization capstone on software product management
From assessment to reduction: how cutter consortium helps rein in millions of dollars in technical debt
Design, Implementation and Deployment of State Machines Using a Generative Approach
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
On the Relevance of Cross-project Learning with Nearest Neighbours for Commit Message Generation
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2
Beware of disengaged user acceptance in testing software-as-a-service
SMRL: a metamorphic security testing tool for web systems
TestFul: automatic unit-test generation for Java classes
TYDR: track your daily routine. Android app for tracking smartphone sensor and usage data
An Index Organization for Applications with Highly Skewed Access Patterns
Why we engage in FLOSS: answers from core developers
Gender diversity and women in software teams: how do they affect community smells?
Modes, features, and state-based modeling for clarity and flexibility
Classifying Source Code: How Far Can Compressor-based Classifiers Go?
Workshop on Directions in Software Engineering Environments (WoDiSEE)
Digitally Evolving Models for Dynamically Adaptive Systems
Taming Timeout Flakiness: An Empirical Study of SAP HANA
APIMigrator: an API-usage migration tool for Android apps
Reducing search space of auto-tuners using parallel patterns
A Principle for Resilient Sharing of Distributed Resources
Enhancing the Learning of Database Access Programming using Continuous Integration and Aspect Oriented Programming
Analyzing, Classifying, and Interpreting Emotions in Software Users' Tweets
Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems
Agile Process Tailoring and probLem analYsis (APTLY)
A Theory of Software Complexity
Architecting Families of Software-Intensive Products
Empirical assessment of MDE in industry
JTExpert at the fourth unit testing tool competition
Modeling Software for Accurate Data Flow Representation
On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants
Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]
Automated Decomposition of Build Targets
Introduction to the Attribute Driven Design Method
In-field healing of integration problems with COTS components
Three Problems Overcome with Behavioral Models of the Software Development Process
Visualizing the effects of requirements evolution
Non-Western Perspectives on Web Inclusivity: A Study of Accessibility Practices in the Global South
Theme: An Approach for Aspect-Oriented Analysis and Design
Process Design Engineering: A Methodology for Real-Time Software Development
Debugging for reactive programming
CDI: Cost of development index
A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment
Applying formal software engineering techniques to smart grids
Early-stage software design for usability
When to extract features: towards a recommender system
What Would You do? An Ethical AI Quiz
Code red: the business impact of code quality - a quantitative study of 39 proprietary production codebases
On An Overview
Mining software engineering data
Definition and Detection of Centralization Defects in Smart Contracts
Resource usage contracts for .NET
Models of Software Development Environments
Poster: Dynamic Analysis Using JavaScript Proxies
Designing Divergent Thinking, Creative Problem Solving Exams
On Accurate Automatic Verification of Publish-Subscribe Architectures
Reconciling a Component and Process View
Knowledge transfer in collaborative teams: experiences from a two-week code camp
Using eye gaze data to recognize task-relevant source code better and more fine-grained
Building, Modifying and Using Component Generators
Leveraging Propagated Infection to Crossfire Mutants
An open test bed for medical device integration and coordination
Using application states in software testing (poster)
Transfer Learning for Improving Model Predictions in Highly Configurable Software
Tutorial: A Quick Introduction to Software Reliability Modeling
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, IWAAPF '06, Shanghai, China, May 23, 2006
AndroEvolve: Automated Update for Android Deprecated-API Usages
Object-Oriented Reengineering Patterns
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps
DEAR: A Novel Deep Learning-based Approach for Automated Program Repair
The effect of generic strategies on software ecosystem health: the case of cryptocurrency ecosystems
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis
Using spectral clustering to automate identification and optimization of component structures
Self-adaptation through incremental generative model transformations at runtime
MPI-SV: a symbolic verifier for MPI programs
Meta-heuristic Generation of Robust XPath Locators for Web Testing
Bridging the divide between software developers and operators using logs
Visual sketching: from image sketches to code
Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection
ConsCS: Effective and Efficient Verification of Circom Circuits
Generative Techniques for Product Lines
DockerKG: A Knowledge Graph of Docker Artifacts
Emotional Awareness in Software Development: Theory and Measurement
An ontological architecture for principled and automated system of systems composition
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language
Statistical translation of English texts to API code templates
Supporting swift reaction: automatically uncovering performance problems by systematic experiments
Problem frames for intelligent building services: a suitability study
Are "non-functional" requirements really non-functional?: an investigation of non-functional requirements in practice
A language based model for analysis of communication intensive processes in health care
Safeguarding DeFi Smart Contracts against Oracle Deviations
Industry-Scale IR-Based Bug Localization: A Perspective from Facebook
On Building Software Process Models Under the Lamppost
New Software Engineering Faculty Symposium (NSEFS 03)
LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
Six reasons for rejecting an industrial survey paper
Scalable thread sharing analysis
A case study on refactoring in Haskell programs
Supporting Change Impact Analysis for Service Oriented Business Applications
A simulation-based behavior analysis for MCI response system of systems
Handling system complexity in sCPS: usable design space exploration
Feature cohesion in software product lines: an exploratory study
Teaching the Scrum Master Role using Professional Agile Coaches and Communities of Practice
Automated Example Oriented REST API Documentation at Cisco
An Exact Array Reference Analysis for Data Flow Testing
How Much Blockchain Do You Need? Towards a Concept for Building Hybrid DApp Architectures
Portfolio: a search engine for finding functions and their usages
Finding concurrency exploits on smart contracts
Stochastic Dependability Analysis of System Architecture Based on UML Models
Automatic Revision of Formal Test Procedures
Consistency Checking within Embedded Design Languages
A framework for security requirements engineering
Eavesdropping and obfuscation techniques for smartphones
Executable misuse cases for modeling security concerns
FM91: Formal Methods Workshop
IdBench: Evaluating Semantic Representations of Identifier Names in Source Code
Effective specification of decision rights and accountabilities for better performing software engineering projects
Investigating user perception and comprehension of Android permission models
Lessons learned on applying design science for bridging the collaboration gap between industry and academia in empirical software engineering
Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis
ActionNet: vision-based workflow action recognition from programming screencasts
Testing nearby peer-to-peer mobile apps at large
MULAPI: a tool for API method and usage location recommendation
Practical Software Measurement
Towards a Reference Architecture for Large-Scale Smart Grids System of Systems
Software Process Support over the Internet
Inferring analyzable models from trajectories of spatially-distributed internet of things
Are software patents bad? (keynote)
Defeating denial-of-service attacks in a self-managing N -variant system
Grow fast, grow global: how the Irish software industry evolved to this business model
An empirical analysis of the mutation operator for run-time adaptive testing in self-adaptive systems
A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)
Hierarchical Modular Diagrams: An Approach to Describe Architectural Designs
The Lost Art of Abstraction
Using constraint solvers to support metamorphic testing
A recommender system for developer onboarding
Redundant loads: a software inefficiency indicator
KernelHaven: an experimentation workbench for analyzing software product lines
Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]
Barely sufficient software engineering: 10 practices to improve your CSE software
Panel: Intellectual Property Issues in Software
Anacondebt: a tool to assess and track technical debt
Evaluating and improving fault localization
Efficient test execution in end to end testing: resource optimization in end to end testing through a smart resource characterization and orchestration
SpecuSym: speculative symbolic execution for cache timing leak detection
Big data: deep learning for detecting malware
Syde: a tool for collaborative software development
A comparison of communication technologies to support novice team programming
RESTful business process management in the cloud