yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012
Calibrating the COCOMO II Post-Architecture Model
Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada
Quality Analysis of Dependable Systems: A Developer Oriented Approach
Verification System for Formal Requirements Description
Testing Database Engines via Query Plan Guidance
Tools for Real-Time System Design
Building an expert recommender chatbot
Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences
Why use the model driven architecture to design and build distributed applications?
Patchmatch: A Tool for Locating Patches of Open Source Project Vulnerabilities
EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries
Identifying and Characterizing Silently-Evolved Methods in the Android API
A low cost positioning and visualization system using smartphones for emergency ambulance service
Do Automatic Test Generation Tools Generate Flaky Tests?
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
IntelliTC: Automating Type Changes in IntelliJ IDEA
Advancing Open Science with Version Control and Blockchains
The Impact of Pair Programming on Student Performance, Perception and Persistence
Demystifying Issues, Challenges, and Solutions for Multilingual Software Development
Proceedings of the 1st International Workshop on Emotion Awareness in Software Engineering, SEmotion@ICSE 2016, Austin, Texas, USA, May 14-22, 2016
A case study of open source software development: the Apache server
The State of Software Engineering Practice: A Preliminary Report
An end-to-end domain specific modeling and analysis platform
Understanding and Supporting the ML Supply Chain Through ML Bill of Materials
ICSE Workshop on Sharing and Reusing Architectural Knowledge, SHARK 2009, Vancouver, BC, Canada, May 16, 2009
Domain-Based Fuzzing for Supervised Learning of Anomaly Detection in Cyber-Physical Systems
Capturing and Replaying Architectural Knowledge through Derivational Analogy
Timing challenges in automotive software architectures
Bandera: a source-level interface for model checking Java programs
Toward Speeding up Mutation Analysis by Memoizing Expensive Methods
Nondeterminism in MapReduce considered harmful? an empirical study on non-commutative aggregators in MapReduce programs
Generating supportive hypotheses in introducing formal methods using a software processes improvement model
Talking about security with professional developers
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
An experimental platform to characterize software comprehension activities supported by visualization
Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscape
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Automatically Generating Single-Responsibility Unit Tests
Fuzz4All: Universal Fuzzing with Large Language Models
Teaching software engineering for AI-enabled systems
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
Modeling and model checking by modular approach
The Effects on Social Support and Work Engagement with Scrum Events
DevOps in Regulated Software Development: Case Medical Devices
Developer requirements in the PF approach
RegViz: visual debugging of regular expressions
Human factors affecting dependability in end-user programming
Robustness testing of autonomy software
InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation
Knowledge-based architectural adaptation management for self-adaptive systems
Distributed Project Governance Assessment (DPGA): Contextual, hands-on analysis for project governance across sovereign boundaries
Developing an optimizing compiler for the game boy as a software engineering project
Variability support for variability-rich software ecosystems
VIDA: Visual interactive debugging
Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods
Applying Reconfiguration Cost and Control Pattern Modeling to Self-Adaptive Systems
Hands-on sensors 101: invited session
Automating Process Discovery Through Event-Data Analysis
Distribution-Aware Testing of Neural Networks Using Generative Models
Scientific developers v/s static analysis tools: vision and position paper
Towards a framework for law-compliant software requirements
Deploying Large Scale School Census Hub: An Experience Report
Assessing model-based testing: an empirical study conducted in industry
Software engineering tools and environments: a roadmap
International Workshop on Software Transformation Systems (STS'99)
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements
The emerging role of data scientists on software development teams
The future of end user programming?
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks
Automated goal operationalisation based on interpolation and SAT solving
White-box fairness testing through adversarial sampling
OSS-LCAF: Open-Source Software License Conflict Analysis Framework
Decentralized self-adaptive computing at the edge
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development
Coordinated run-time adaptation of variability-intensive systems: an application in cloud computing
Big Data System Development: An Embedded Case Study with a Global Outsourcing Firm
Automating GUI testing for Android applications
Graph Solver as a Service
DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript
The strength of random search on automated program repair
Providing support for creating next generation software architecture languages
When students meet developers: are barcamps a format for interactive software engineering education?
Kex at the SBFT 2023 Java Tool Competition
Using the Web for Document Versioning: An Implementation Report for Delta V
Search based design of software product lines architectures
A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction
Video-based Training for Meeting Communication Skills
Guided test generation for web applications
Performance analysis of object-oriented software
Automated transplantation and differential testing for clones
Component composition (poster)
Deryaft: a tool for generating representation invariants of structurally complex data
Stages in teaching software testing
Broadening the Search in Search-Based Software Testing: It Need Not Be Evolutionary
Integrating social values into software design patterns
MAV-Vis: a notation for model uncertainty
Formal Specification Techniques (Extended Abstract)
Module Structure in an Evolving Family of Real Time Systems
Detecting Scattered and Tangled Quality Concerns in Source Code to Aid Maintenance and Evolution Tasks
Agree to disagree: security requirements are different, but mechanisms for security adaptation are not
Introduction to the Workshop on Software Engineering and Human-Computer Interaction: Joint Research Issues
Dynamic Data Flow Testing of Object Oriented Systems
FormTester: Effective Integration of Model-Based and Manually Specified Test Cases
Locking discipline inference and checking
Semantic Analysis of Macro Usage for Portability
Model Driven Architecture - An Industry Perspective
Securing a Deployment Pipeline
A conceptual meta-model for secured information systems
Detecting suspicious package updates
Do developers read compiler error messages?
Revisiting SWE-Bench: On the Importance of Data Quality for LLM-Based Code Models
SEmotion 2017 Workshop Summary
Configuring global software teams: a multi-company analysis of project productivity, quality, and profits
Inculcating invariants in introductory courses
Constrained LTL Specification Learning from Examples
If you Find Yourself in Lava, Don't Panic. Go with the Flow! Flowing between InnerSource and Open Source Development
The Design of Whole-Program Analysis Tools
ITE arbitrator: a reference architecture framework for sustainable IT ecosystems
An approach to adapt service requests to actual service interfaces
SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms
Translation Validation for JIT Compiler in the V8 JavaScript Engine
Workshop on Software Technologies for Ultra-Large Scale Systems
Mining container image repositories for software configuration and beyond
Programming Cost Estimate: Is It Reasonable?
A requirements modelling language to facilitate avionics software verification and certification
Understanding how to support architects in sharing knowledge
Exploring techniques for rationale extraction from existing documents
Automated Program Repair in an Integrated Development Environment
Deriving executable process descriptions from UML
Software industry experiments: a systematic literature review
Effective interprocedural resource leak detection
A Project on Software Defect Prevention at Commit-Time: A Success Story of University-Industry Research Collaboration
An intensional approach to the specification of test cases for database applications
Knowledge-enriched security and privacy threat modeling
4th International Workshop on Green and Sustainable Software (GREENS 2015)
Large Language Models for Test-Free Fault Localization
Exploring agile
Multi-objective integer programming approaches for solving optimal feature selection problem: a new perspective on multi-objective optimization problems in SBSE
Scheduling time-bounded dynamic software adaptation
Tool-Supported Program Abstraction for Finite-State Verification
Ad-hoc leadership in agile software development environments
A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques
Supported approach for agile methods adaptation: an adoption study
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
Reuse That Pays
A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems
A multi-touch approach to control MRI scans: a user-centered study report
Is mutation an appropriate tool for testing experiments?
Leveraging program analysis to reduce user-perceived latency in mobile applications
Supporting the developer experience with production metrics
Augmenting the Generality and Performance of Large Language Models for Software Engineering
Modeling in software engineering
Navigating the Path of Women in Software Engineering: From Academia to Industry
The Architect in the Maze: On the Effective Usage of Automated Design Exploration
FastFix: Monitoring control for remote software maintenance
Poster: Discovering Code Dependencies by Harnessing Developer's Activity
Test Intention Guided LLM-Based Unit Test Generation
Diagnosing architectural run-time failures
Which similarity metric to use for software documents?: a study on information retrieval based software engineering tasks
The Balancing Act of Policies in Developing Machine Learning Explanations
High-level multicore programming with XJava
Participatory design of a community AI intervention for scaling up adolescent access to SRHR education: Case of the TeenApp
SortingHat: wizardry on software project members
Anomaly Detection in Concurrent Programs
An Organizational Learning Approach to Domain Analysis
Going global with agile service networks
Matching and Merging of Statecharts Specifications
Why Security Defects Go Unnoticed during Code Reviews? A Case-Control Study of the Chromium OS Project
Using Experiments in Software Engineering as an Auxiliary Tool for Teaching-A Qualitative Evaluation from the Perspective of Students' Learning Process
Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces
Asam odx: syntax as semantics
OU LearningWorks: A Customized Programming Environment for Smalltalk Modules
Investigating the effects of gender bias on GitHub
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
Internet Security and Intrusion Detection
Refactoring-aware version control
Controller synthesis: from modelling to enactment
A Model Driven Approach for Software Systems Reliability
An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications
A language-independent parallel refactoring framework
Safely Managing Data Variety in Big Data Software Development
The Internet as a Medium for Software Engineering Experiments
The Green Lab: Experimentation in Software Energy Efficiency
GoalDebug: A Spreadsheet Debugger for End Users
Prioritizing design debt investment opportunities
OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions
An architectural blueprint for a pluggable version control system for software (evolution) analysis
Building apps with open data in india: an experience
Automating GUI response time measurements in mobile and web applications
Safety Verification in Murphy Using Fault Tree Analysis
Hybrid model of correlation based filter feature selection and machine learning classifiers applied on smart meter data set
UML2 activity diagram based programming of wireless sensor networks
Concern-Based Management of Software Design Complexity
Certification and regulatory challenges in medical device software development
What You See is What You Get: Attention-Based Self-Guided Automatic Unit Test Generation
Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models
Intelligent Automation for Accelerating the Repair of Software Build Failures
Theory-W Software Project Management: A Case Study
A verification system for timed interval calculus
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Object-Oriented Specification of Reactive Systems
Proceedings of the 12th International Workshop on Search-Based Software Testing, SBST@ICSE 2019, Montreal, QC, Canada, May 27, 2019
Separating Features in Source Code: An Exploratory Study
On the performance of UML state machine interpretation at runtime
Model checking flight control systems: The Airbus experience
Evaluating access control of open source electronic health record systems
Mining developers' communication to assess software quality: promises, challenges, perils
Exception handling negligence due to intra-individual goal conflicts
Predictable, Flexible or Correct: Trading off Refactoring Design Choices
The JDEvAn tool suite in support of object-oriented evolutionary development
A Bot-Based Approach to Manage Codes of Conduct in Open-Source Projects
Using consensus to automatically infer post-conditions
Automated Security Findings Management: A Case Study in Industrial DevOps
E-Slate: a software architectural style for end-user programming
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI)
Do I Belong? Modeling Sense of Virtual Community Among Linux Kernel Contributors
Does mutation testing improve testing practices?
Technical debt cripples software developer productivity: a longitudinal study on developers' daily software development work
MOBS: multi-operator observation-based slicing using lexical approximation of program dependence
A Template-Based Approach to Describing Metamorphic Relations
Disengagement in pair programming: Does it matter?
International workshop on service oriented software engineering (IW-SOSE'06)
Financially informed requirements prioritization
Software Development Governance (SDG) Workshop
An Empirical Comparison of Dynamic Impact Analysis Algorithms
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018
An empirical investigation of incident triage for online service systems
Test confessions: A study of testing practices for plug-in systems
Using hypersafety verification for proving correctness of programming assignments
Testing and debugging UML models based on fUML
Self-adaptive artificial intelligence
Specifying Software/Hardware Interactions in Distributed Systems
A New Technique for Improving the Quality of Computer Programs
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
A world full of surprises: bayesian theory of surprise to quantify degrees of uncertainty
Automated WCET Analysis Based on Program Modes
Interlocking safety cases for unmanned autonomous systems in urban environments
Using dynamic execution traces and program invariants to enhance behavioral model inference
A characteristic study on failures of production distributed data-parallel programs
Improving the Software Process
Workshop on Emerging Trends in Software Metrics (WETSoM 2010)
Wikis4SE'2009: Wikis for Software Engineering
ReAssert: a tool for repairing broken unit tests
Cross-artifact traceability using lightweight links
Combining STPA and BDD for safety analysis and verification in agile development
The Dimensions of Healthy Maintenance
Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub
Parameterising a theory of software problem solving
Evaluation of move method refactorings recommendation algorithms: are we doing it right?
PMDB - A Project Master Database for Software Engineering Environments
ClemanX: Incremental clone detection tool for evolving software
Code coverage for suite evaluation by developers
HR-auth: heart rate data authentication using consumer wearables
Exploring software supply chains from a technical debt perspective
Inference of message sequence charts
Revisit of automatic debugging via human focus-tracking analysis
Architecting Dependable Access Control Systems for Multi-domain Computing Environments
A runtime cloud efficiency software quality metric
Using Deep Learning to Generate Complete Log Statements
Automated Software Quality Monitoring in Research Collaboration Projects
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports
The fourth international workshop on software engineering for secure systems: SESS'08 -- a trusted business world
An Empirical Study into Social Success Factors for Agile Software Development
Supporting diversity with component frameworks as architectural elements
Functional abstractions for testing repository-style information systems
Improving Dependability of Component-Based Systems via Multi-versioning Connectors
Monitoring and control in scenario-based requirements analysis
Writing bidirectional model transformations as intentional updates
Entropy of the degree distribution and object-oriented software quality
Software Development Productivity Tools and Metrics
JIVE: Visualizing Java in Action Demonstration Description
Using problem frames to model the requirements ofa system for monitoring dangerous goods transportation
Technology transfer macro-process: a practical guide for the effective introduction of technology
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume
Companies' domination in FLOSS development: an empirical study of OpenStack
Patterns for cleaning up bug data
Business goals as architectural knowledge
SNIAFL: Towards a Static Non-Interactive Approach to Feature Location
Interactive model mining from embedded legacy software
Measuring Software Redundancy
Metric-Driven Analysis and Feedback Systems for Enabling Empirically Guided Software Development
7th international workshop on software clones (IWSC 2013)
Second international workshop on web 2.0 for software engineering: (Web2SE 2011)
An Exploratory Study of ML Sketches and Visual Code Assistants
How do centralized and distributed version control systems impact software changes?
ReuseSEEM: an approach to support the definition, modeling, and analysis of software ecosystems
Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria
Test case prioritization incorporating ordered sequence of program elements
Search Based Software Testing for Android
A Framework for Regression Testing of Outdoor Mobile Applications
Case studies for software engineers
Liability in software engineering: overview of the LISE approach and illustration on a case study
VeDebug: regression debugging tool for Java
Signaling in Monitors
Dynamic detection of atomic-set-serializability violations
PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Remembrances of a Graduate Student
The Dimensionality of Program Complexity
JDeodorant: clone refactoring
A business process explorer: recovering and visualizing e-commerce business processes
What you always wanted to know about agile methods but did not dare to ask
Capturing custom link semantics among heterogeneous artifacts and tools
Improving Grading Outcomes in Software Engineering Projects Through Automated Contributions Summaries
Finding XPath Bugs in XML Document Processors via Differential Testing
Symbolic model checking of software product lines
If It's Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening
Predicting components for issue reports using deep learning with information retrieval
A Meta-Model for Representing System-of-Systems Ontologies
Lessons learned from conducting industry surveys in software testing
Reverse engineering object-oriented applications into high-level domain models with reoom
Clonal plasticity: a method for decentralized adaptation in multi-agent systems
Demystifying Android Non-SDK APls: Measurement and Understanding
Automatic dimension inference and checking for object-oriented programs
What Can Software Engineering Do for Sustainability: Case of Software Product Lines
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing
Evaluation of brain activity while pair programming
Falcon: fault localization in concurrent programs
Ranking programs using black box testing
Topology of the Documentation Landscape
Identifying security issues in software development: are keywords enough?
Towards Sketch-based User Interaction with Integrated Software Development Environments
Towards refactoring-aware regression test selection
Legacy component integration by the Fujaba real-time tool suite
The Affect of Software Developers: Common Misconceptions and Measurements
Reverb: recommending code-related web pages
Distributed Objects
Aduno: Real-time collaborative work design in a shared workspace
Workshop on emerging trends in software metrics: (WETSoM 2011)
Human Factors in the Study of Automatic Software Repair: Future Directions for Research with Industry
Big data software analytics with Apache Spark
Neural Exception Handling Recommender
Making software knowledgeable
XS-1: An Integrated Interactive System and Its Kernel
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams
Handling Communication via APIs for Microservices
Testing heap-based programs with Java StarFinder
Using language clues to discover crosscutting concerns
SLIM: a Scalable Light-weight Root Cause Analysis for Imbalanced Data in Microservice
Model under design and over design on mobile applications
SOA decision making - what do we need to know
Goal-centric traceability for managing non-functional requirements
Architectural Archipelagos: Technical Debt in Long-Lived Software Research Platforms
Exposing off-nominal behaviors in multi-robot coordination
Quantitative properties of software systems: specification, verification, and synthesis
Opportunities in Software Engineering Research for Web API Consumption
On the Role of an Environment
The Current State and Future of Search Based Software Engineering
Towards usability as a first-class quality of HPC scientific software: position paper
1st International Workshop on Establishing the Community-Wide Infrecaseructure for Architecture-Based Software Engineering (ECASE 2017)
Improving software inspections by using reading techniques (tutorial session)
Twende-twende: a mobile application for traffic congestion awareness and routing