yusuke1997/dblp-id-title huggingface dataset:
Sociodrama: one more technique to foster collaboration in software engineering
Automated combinatorial testing for detecting SQL vulnerabilities in web applications
A Hierarchical Structuring Method for Functional Software Systems
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Inferring method specifications from natural language API descriptions
Equality and hashing for (almost) free: Generating implementations from abstraction functions
Software Engineering in a Governed World: Opportunities and Challenges
Using Bayesian statistical methods to determine the level of error in large spreadsheets
An evaluation of argument patterns to reduce pitfalls of applying assurance case
SE Pioneers Symposium
Can Female Underrepresentation in Information Technology Be Solved Through an Awareness-Based Approach?
Biofeedback augmented software engineering: monitoring of programmers' mental effort
GUI Test Case Prioritization by State-Coverage Criterion
Towards automated oracles for GUI input validation
Modeling and Controlling the Software Test Process
Completeness and Consistency Analysis of State-Based Requirements
R-Fuzz at SBFT'2023
Syntax-Driven Program Verification of Matching Logic Properties
Patterns, Frameworks, and Middleware: Their Synergistic Relationships
On Automatic Parsing of Log Records
M-Perm: A Lightweight Detector for Android Permission Gaps
The TRW Software Productivity System
SecondWATCH: A workspace awareness tool based on a 3-D virtual world
Combining textual and structural analysis of software artifacts for traceability link recovery
Making System User Interactive Tests Repeatable: When and What Should We Control?
A role-based qualification and certification program for software architects: an experience report from Siemens
Why don't software developers use static analysis tools to find bugs?
Addressing the QoS drift in specification models of self-adaptive service-based systems
Automated analysis of inter-parameter dependencies in web APIs
LogExpert: Log-based Recommended Resolutions Generation using Large Language Model
Reusable execution replay: execution record and replay for source code reuse
SCORE: The first student Contest in Software Engineering
15 Years of Application of Statistical Physics Methods to the Study of Software Systems
Towards designing effective data persistence through tradeoff space analysis
Charting the market disruptive nature of open source: experiences from Sony mobile
SIMPL: A Pattern Language for Writing Efficient Kernels on GPGPU
Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance
Synthesize software product line
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR
A combinatorial approach for exposing off-nominal behaviors
Process Modelling - Where Next
Software process
Panel: Issues in Software Engineering for Survivable Systems
Object Graph Programming
An empirical approach to a general theory of software (engineering)
Clustering of defects in Java software systems
MoMTSimDP: A Differentially Private Simulator for Mobile Money Transactions
FuzzInMem: Fuzzing Programs via In-memory Structures
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
Coverage-driven test code generation for concurrent classes
SM@RT: representing run-time system data as MOF-compliant models
Understanding software changes: extracting, classifying, and presenting fine-grained source code changes
Exploration of academic and industrial evidence about architectural tactics and patterns in microservices
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization
A research agenda for service-oriented architecture
Physical computing for everyone
Twenty-Year Retrospective: The NATO Software Engineering Conferences
Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Towards consistency analysis between formal and informal software architecture artefacts
Finding Failures by Cluster Analysis of Execution Profiles
A Cloud-Based Radiological Portal for the Patients: IT Contributing to Position the Patient as the Central Axis of the 21st Century Healthcare Cycles
Situational awareness: personalizing issue tracking systems
An extended reality approach for creating immersive software project workspaces
Binary refactoring: improving code behind the scenes
A Learning Curve Based Simulation Model for Software Development
Automatic model generation from documentation for Java API functions
Proceedings of the 2006 international workshop on Software quality, WoSQ@ICSE 2006, Shanghai, China, May 21, 2006
Characterizing and Assessing a Large-Scale Software Maintenance Organization
Brazilian software quality in 2002
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference
Silverthread CodeMRI care
Beyond hacking: an SOS!
Digitally annexing desk space for software development
Enriching traditional software engineering curricula with software project management knowledge
Versioning in Cyber-physical Production System Engineering - Best-Practice and Research Agenda
Maximally stateless model checking for concurrent bugs under relaxed memory models
Verification and change-impact analysis of access-control policies
End-user development: new challenges for service oriented architectures
HumanEvo: An Evolution-Aware Benchmark for More Realistic Evaluation of Repository-Level Code Generation
Specifying Evolving Requirements Models with TimedURN
Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries
Software-Reliability-Engineered Testing Practice (Tutorial)
What kind of and how clones are refactored?: a case study of three OSS projects
A Flexible Architecture for Building Data Flow Analyzers
Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume
Engineering gender-inclusivity into software: ten teams' tales from the trenches
The Social Dynamics of Pair Programming
Forcing Behavioral Subtyping through Specification Inheritance
Shifting testing beyond the deployment boundary
TestTube: A System for Selective Regression Testing
Preventing SQL injection attacks using AMNESIA
Test data to reduce the complexity of unit test automation
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
A reference architecture for big data systems in the national security domain
From a traditional behavioral management program to an m-health app: lessons learned in developing m-health apps for existing health care programs
Model level design pattern instance detection using answer set programming
A study on the prevalence of human values in software engineering publications, 2015 - 2018
Security Threat Modeling: Are Data Flow Diagrams Enough?
Towards safety guarantees for service-oriented systems
GenderMag Improves Discoverability in the Field, Especially for Women: An Multi-Year Case Study of Suggest Edit, a Code Review Feature
Fifth International Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2010)
Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities
A survey on checkpointing web services
Mining metrics to predict component failures
BugRedux: Reproducing field failures for in-house debugging
Practical GUI testing of Android applications via model abstraction and refinement
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
By no means: a study on aggregating software metrics
Teaching reuse-driven software engineering through innovative role playing
Investigating Decreasing Energy Usage in Mobile Apps via Indistinguishable Color Changes
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006
39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, ICSE-SEET 2017, Buenos Aires, Argentina, May 20-28, 2017
Reactive Synthesis with Spectra: A Tutorial
A Perspective on the Future of Middleware-based Software Engineering
Better testing through oracle selection
GridUnit: software testing on the grid
The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers
Software Assumptions Failure Tolerance: Role, Strategies, and Visions
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Using (bio)metrics to predict code quality online
Agent-based tactics for goal-oriented requirements elaboration
GreenBundle: an empirical study on the energy impact of bundled processing
Integrating tools and frameworks in undergraduate software engineering curriculum
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
4th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
SBFT Tool Competition 2023 - Java Test Case Generation Track
A Replication of Are Machine Learning Cloud APIs Used Correctly
A Method for Asynchronous Parallelization
Neural Program Repair with Execution-based Backpropagation
Estimating footprints of model operations
Leveraging variability modeling for multi-dimensional model-driven software product lines
Towards Classification of Concurrency Bugs Based on Observable Properties
Eye of the mind: image processing for social coding
Verification of time partitioning in the DEOS scheduler kernel
Towards the Assessment of Stress and Emotional Responses of a Salutogenesis-Enhanced Software Tool Using Psychophysiological Measurements
Improving Software Team Communication Through Social Interventions in Project Management Tools
Towards the formalization of properties of cloud-based elastic systems
Configuration Service for Mobile Apps
Beyond Accuracy and Robustness Metrics for Large Language Models for Code
Overstructured Management of Software Engineering
TD classifier: automatic identification of Java classes with high technical debt
ActiveAspect: presenting crosscutting structure
Stuck in the middle: removing obstacles to new program features through batch refactoring
Principles of engineering service oriented systems
In requirements engineering, everything is an aspect
CPC: automatically classifying and propagating natural language comments via program analysis
Relating problem oriented engineering to current development processes: a research agenda
Industry application of continuous integration modeling: a multiple-case study
Model-Driven Development and Business Process Modeling Applied to Personal Productivity in the Consumer Mobile App Market
DeltaIoT: A Self-Adaptive Internet of Things Exemplar
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem
DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning
The role of domain knowledge and cross-functional communication in socio-technical coordination
Examples of Applying Software Estimate Tool
An Empirical Study on Real Bug Fixes
Testing web-based applications with the voice controlled accessibility and testing tool (VCAT)
ReposVul: A Repository-Level High-Quality Vulnerability Dataset
Tolerate Control-Flow Changes for Sound Data Race Prediction
Investigating and improving a COTS-based software development
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
Accelerating a computer vision algorithm on a mobile SoC using CPU-GPU co-processing: a case study on face detection
Runtime Performance Prediction for Deep Learning Models with Graph Neural Network
A comparison of model-based and judgment-based release planning in incremental software projects
Monitoring for control in role-oriented self-adaptive systems
Are fix-inducing changes a moving target?: a longitudinal case study of just-in-time defect prediction
Fluent-based web animation: exploring goals for requirements validation
Automated software architecture security risk analysis using formalized signatures
MigrationAdvisor: Recommending Library Migrations from Large-Scale Open-Source Data
A systematic literature review to support the selection of user acceptance testing techniques
Functional Programming and Logical Programming for the Telegram Analysis Problem
Variability mechanisms and lessons learned in practice
ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS)
Non-Intrusive Object Introspection in C++: Architecture and Application
Examining life at the code face
Teaching internet of things (IoT) literacy: a systems engineering approach
Identifying caching opportunities, effortlessly
Secure Software Development in the Era of Fluid Multi-party Open Software and Services
A Comparison of Lifecycle Models
Chopped symbolic execution
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008
Tech startup learning activities: a formative evaluation
Specification of Abstract Data Types with Partially Defined Operations
Workshop on software Engineering in Health Care (SEHC)
Proactive Libraries: Enforcing Correct Behaviors in Android Apps
Test Procedures: A New Approach to Software Verification
Imperfect Code Generation: Uncovering Weaknesses in Automatic Code Generation by Large Language Models
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
Proceedings of the International Workshop on Systems Development in SOA Environments, SDSOA '07, Minneapolis, MN, USA, May 2007
Intrusion detection using signatures extracted from execution profiles
4th IEEE/ACM International Workshop on Games and Software Engineering, GAS 2015, Florence, Italy, May 18, 2015
SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer
Analyzing Software Energy Consumption
Reusable Architectural Decision Models for Quality-Driven Decision Support: A Case Study from a Smart Cities Software Ecosystem
LSdiff: a program differencing tool to identify systematic structural differences
Linguistic Support for the Evolutionary Design of Software Architectures
The Use of Goals to Surface Requirements for Evolving Systems
A whitebox approach for automated security testing of Android applications on the cloud
Software Engineering in the Year 2001
3rd IEEE/ACM International Workshop on Rapid Continuous Software Engineering, RCoSE@ICSE 2017, Buenos Aires, Argentina, May 22, 2017
Analysis and Testing of Web Applications
Nemo: multi-criteria test-suite minimization with integer nonlinear programming
Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing
What Can Requirements Engineering Do for Emerging System of Systems? Case of Smart Local Energy
Playing with your project data in scrum retrospectives
A Measure for Composite Module Cohesion
Learning to Represent Patches
Software Engineering and the Internet
A formal systems engineering approach in practice: an experience report
Generating Security Tests in Addition to Functional Tests
LASE: an example-based program transformation tool for locating and applying systematic edits
Software engineering for millennials, by millennials
Software Process Maturity: Measuring Its Impact on Productivity and Quality
A taxonomy of software architecture-based reliability efforts
Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games
Conflict management
Making the Liskov substitution principle happy and sad
An exploratory study on reuse at google
Ensure traceability in European food supply chain by using a blockchain system
Investigating the Developer Experience of LGBTQIAPN+ People in Agile Teams
Model for Reducing Risks to Private or Sensitive Data
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re
Creating and Migrating Chatbots with Conga
ARTOO: adaptive random testing for object-oriented software
Bixie: Finding and Understanding Inconsistent Code
Perceptions of answer quality in an online technical question and answer forum
DySy: dynamic symbolic execution for invariant inference
DATm: Diderot's Automated Testing Model
Seeking Concurrency in Rule-Based Programming
SE4HPCS'15: The 2015 International Workshop on Software Engineering for High Performance Computing in Science
Model-based generation of static schedules for safety critical multi-core systems in the avionics domain
Architectural challenges of ultra large scale systems
Proceedings of the 3rd International Workshop on Refactoring, IWOR@ICSE 2019, Montreal, QC, Canada, May 28, 2019
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Attitude and usage of collaboration tools in GSE: A practitioner oriented theory
Software feature location in practice: debugging aircraft simulation systems
Improving Fault Localization and Program Repair with Deep Semantic Features and Transferred Knowledge
Scalable automated test generation using coverage guidance and random search
Mobile computing middleware for context-aware applications
Vulnerability Detection is Just the Beginning
End-user programming and the intrinsic complexity of networked artefacts
Gallery D.C.: Auto-created GUI Component Gallery for Design Search and Knowledge Discovery
Dependability Modeling of Self-healing Client-Server Applications
A comparison of junior and senior software engineering students' personalities
Multifaceted automated analyses for variability-intensive embedded systems
Characterization of Autonomy and Interdependence in Software Engineering
Towards a formal model to reason about context-aware exception handling
Assisting non-specialist developers to build energy-efficient software
On the automation of fixing software bugs
SEIM: static extraction of interaction models
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study
An exploratory study of process enactment as input to software process improvement
Predicting more from less: Synergies of learning
Designing Software for Ease of Extension and Contraction
Fastbot: A Multi-Agent Model-Based Test Generation System Beijing Bytedance Network Technology Co., Ltd
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Understanding integer overflow in C/C++
Software Engineering Education in the Modern Age, Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures
Sensitivity analysis for a scenario-based reliability prediction model
Generating performance distributions via probabilistic symbolic execution
On failure classification: the impact of "getting it wrong"
EREBA: Black-box Energy Testing of Adaptive Neural Networks
A Compact Petri Net Representation for Concurrent Programs
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013
BoF: New Directions in UK Software Engineering Research
Investigating test-and-fix processes of incremental development using hybrid process simulation
Understanding and Improving Code Review of Changes in Build Systems
Self-adaptation for cyber-physical systems: a systematic literature review
Healthy until otherwise proven: some proposals for renewing research of software ecosystem health
Software engineering research lab to airplanes, orion and beyond: one professor's journey shaped by industry-university collaboration
WL++: Code Generation of Multi-platform Mobile Clients to Restful Back-Ends
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System
PerformanceHat: augmenting source code with runtime performance traces in the IDE
Modular fault handling in a network-transparent programming language
A comparative study to benchmark cross-project defect prediction approaches
Managing Commitments and Risks: Challenges in Distributed Agile Development
A multitude of requirements and yet sole deployment architecture: Predictors of successful software deployment
QUASE - A quantitative approach to analyze the human aspects of software development projects
Continuous coordination within the context of cooperative and human aspects of software engineering
A Conceptual Model of Software Maintenance
Human-Oriented Conceptual Abstractions in the Re-engineering of Software
Enabling real-time feedback in software engineering
Interactive production performance feedback in the IDE
Why is it important to measure maintainability, and what are the best ways to do it?
Automatically testing interactive multimodal systems using task trees and fusion models
Measure confidence of assurance cases in safety-critical domains
Endogenous versus exogenous self-management
On Reliable Topologies for Computer Networks
Adapting our view of software adaptation: an architectural perspective (keynote)
Exploring social structures in Extended Team Model
Asking and answering questions about unfamiliar APIs: An exploratory study
Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
Proceedings of the 3rd Workshop on Software Engineering in Health Care, SEHC 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011
Production of Large Computer Programs
GLAD: Neural Predicate Synthesis to Repair Omission Faults
Understanding and leveraging developer inexpertise
Further investigations into the development and evaluation of reading techniques for object-oriented code inspection
Improvement of Software Process by Process Description and Benefit Estimation
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Estimating LOC for information systems from their conceptual data models
Making well-informed software design decisions
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications
Bridging the Gap Between the Theory and Practice of Software Test Automation
From ideas to implementations: closing the gaps between technical experts and software solutions
Designing control software for robot swarms: software engineering for the development of automatic design methods
Why software quality improvement fails: (and how to succeed nevertheless)
Detecting spurious counterexamples efficiently in abstract model checking
Collaboration patterns in distributed software development projects
Metamorphic Testing: Beyond Testing Numerical Computations
A Predictive Metric Based on Discriminant Statistical Analysis
Enhancing Dependability Through Flexible Adaptation to Changing Requirements
Training binary classifiers as data structure invariants
An application of metamorphic testing for testing scientific software
Metamorphic Fuzz Testing of Autonomous Vehicles
Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)
BOOTSTRAP: Four Years of Assessment Experience
Integration strategies for Computational Science & Engineering software
DStream: A Streaming-Based Highly Parallel IFDS Framework
Transferring Software Engineering Research into Industry: The Stevens Way
Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis
Disseminating architectural knowledge on open-source projects: a case study of the book "architecture of open-source applications"
On the Education of Future Software Engineers
Continuous API Design for Software Ecosystems