yusuke1997/dblp-id-title huggingface dataset:
Understanding cheap talk and the emergence of trust in global software engineering: An evolutionary game theory perspective
Progressing problems from requirements to specifications in problem frames
Delta-oriented model-based SPL regression testing
Domain Modeling - Overview & Ongoing Research at EDS
Smartreco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
Integrating Object-Oriented Analysis and Graphical User Interface Design
Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing
Maintaining mental models: a study of developer work habits
Promises: Limited Specifications for Analysis and Manipulation
Towards end-user enabled web service consumption for Mashups
MintHint: automated synthesis of repair hints
Making use of architecture throughout the software life cycle - How the build hierarchy can facilitate product line development
Reasoning with qualitative preferences to develop optimal component-based systems
Codebook: Social networking over code
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2018, Gothenburg, Sweden, May 27 - June 03, 2018
Refactoring towards seams in C++
What effect does distributed version control have on OSS project organization?
Beyond Functional Correctness: An Exploratory Study on the Time Efficiency of Programming Assignments
Abacus: A Tool for Precise Side-Channel Analysis
Developing scientific applications using Generative Programming
Fluid intelligence doesn't matter!: effects of code examples on the usability of crypto APIs
All-values symbolic execution
Detecting User-Perceived Failure in Mobile Applications via Mining User Traces
Automated bug reproduction from user reviews for Android applications
Cooperative API misuse detection using correction rules
A UML profile for dynamic execution persistence with monitoring purposes
GENOA: A Customizable Language- and Front-End Independent Code Analyzer
Software architecture in an open source world
Smarter smart contract development tools
Pópulo: a tool for debugging UML models
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
Maximizing refactoring coverage in an automated maintenance approach using multi-objective optimization
Mimicking user behavior to improve in-house test suites
BLOCKEYE: Hunting for DeFi Attacks on Blockchain
Parallel computing with x10
From abstract specifications to application generation
Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models
Everything is INTERRELATED: teaching software engineering for sustainability
1st International Workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS 2015)
Criteria for the evaluation of self-* systems
An effective approach for regression test case selection using pareto based multi-objective harmony search
Towards a framework for software navigation techniques
1st IEEE/ACM International Workshop on Software Engineeting for Startups, SoftStart@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
Burt: A Chatbot for Interactive Bug Reporting
FIXME: Enhance Software Reliability with Hybrid Approaches in Cloud
Documentation for Safety Critical Software
A Critical Overview of Computer Performance Evaluation
How do API documentation and static typing affect API usability?
Surveying developer knowledge and interest in code smells through online freelance marketplaces
Nimbus: improving the developer experience for serverless applications
An Introduction to the Construction and Verification of Alphard Programs (Abstract)
Towards Data Augmentation for Supervised Code Translation
Predicting Android Application Security and Privacy Risk with Static Code Metrics
Hope for the best, prepare for the worst: multi-tier control for adaptive systems
Requirements-based Test Case Specification by Using Information from Model Construction
Using Event-Based Translation to Support Dynamic Protocol Evolution
Code recommendation based on a degree-of-interest model
DockerizeMe: automatic inference of environment dependencies for python code snippets
Configuring topic models for software engineering tasks in TraceLab
Program Slicing
Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS)
High-precision Online Log Parsing with Large Language Models
39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society Track, ICSE-SEIS 2017, Bueons Aires, Argentina, May 20-28, 2017
Platform support for developing testing and analysis plug-ins
ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation
SAML goes eclipse: combining model-based safety analysis and high-level editor support
The Design of the PSI Program Synthesis System
The Second International Symposium on Constructing Software Engineering Tools (CoSET2000)
A weight-based approach to combinatorial test generation
AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
GRINDER: On Reusability of Fault Injection Tools
Using Software Model Checking for Software Component Certification
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Mind the gap: assessing the conformance of software traceability to relevant guidelines
Towards cooperative content downloading for resource-constrained mobile devices
Partition-based regression verification
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation
Version Control in Families of Large Programs
Software quality models: Purposes, usage scenarios and requirements
Self-healing web service compositions
Learning non-deterministic impact models for adaptation
Innovation and active learning for training mobile app developers
Deriving time lines from texts
Fixing deadlocks via lock pre-acquisitions
Matching logic: a new program verification approach
CIL to Java-bytecode translation for static analysis leveraging
A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks
Experiences in initiating concurrency software research efforts
An Experiment in Software Engineering: The Architecture Research Facility as a Case Study
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
Behavior Sampling: A Technique for Automated Retrieval of Reusable Components
Evaluating Bug Finders - Test and Measurement of Static Code Analyzers
Improving Diversity in Computing Research: An Overview of CRA-W Activities
Third International Workshop on Distributed Event-Based Systems - DEBS '04
Architectural smells detected by tools: a catalogue proposal
Testing Database Systems via Differential Query Execution
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL
Mobile user identification through authentication using keystroke dynamics and accelerometer biometrics
RECONTEST: Effective Regression Testing of Concurrent Programs
Summary: Empirical Studies of Software Development and Evolution
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces
Unveiling the Mystery of API Evolution in Deep Learning Frameworks: A Case Study of Tensorflow 2
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011
Using Reinforcement Learning for Load Testing of Video Games
A manga-driven system requirements development PBL exercise
From Developer Networks to Verified Communities: A Fine-Grained Approach
Toward new Techniques to Assess the Software Implementation Process
Modeling of Data-Processing Software for Generating and Reusing Their Programs
DARVIZ: Deep Abstract Representation, Visualization, and Verification of Deep Learning Models
Accelerating Change in the Nordic Software Intensive Industry: Keynote Software Engineering Research and Industrial Practice Workshop
iDice: problem identification for emerging issues
Formal Methods: An International Perspective
Informal software design knowledge reuse
Caspar: extracting and synthesizing user stories of problems from app reviews
Effective engineering of multi-robot software applications
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools
TranStrL: An automatic need-to-translate string locator for software internationalization
Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models
Towards adaptive compliance
Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests
Research Towards a technology to Support the Specification of Data Processing System Performance Requirements
A runtime architecture-based approach for the dynamic evolution of distributed component-based systems
Automated testing of healthcare document transformations in the PICASSO interoperability platform
iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies
Domain analysis for mining software repositories: Towards feature-based DSL construction
Better code search and reuse for better program repair
"I tend to view ads almost like a pestilence": On the Accessibility Implications of Mobile Ads for Blind Users
Model-based security analysis of a water treatment system
Abstractness, specificity, and complexity in software design
Recommending experts using communication history
V-SZZ: Automatic Identification of Version Ranges Affected by CVE Vulnerabilities
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2024, Lisbon, Portugal, April 14-20, 2024
Matching class diagrams: with estimated costs towards the exact solution?
Mining library specifications using inductive logic programming
A winning team: what personality has to do with software engineering
Are information retrieval-based bug localization techniques trustworthy?
From programming to modeling: our experience with a distributed software engineering course
Get Your Experience Factory Ready for the Next Decade - Ten Years after "How to Build and Run One"
On the problems with evolving Egemin's software product line
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Automated repair of HTML generation errors in PHP applications using string constraint solving
How to avoid drastic software process change (using stochastic stability)
Learning to Boost the Efficiency of Modern Code Review
Vulnerability of the day: concrete demonstrations for software engineering undergraduates
Semantic Web Accessibility Testing via Hierarchical Visual Analysis
Visual Timed Event Scenarios
Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses
Regularities in Software Systems
Static Analysis-Based Program Evolution Support in the Common Lisp Framework
Debugging crashes using continuous contrast set mining
Achieving Critical System Survivability Through Software Architectures
Customizing grgen.net for model transformation
DataLab: a version data management and analytics system
Using Playful Drawing to Support Affective Expressions and Sharing in Distributed Teams
Which bug should I fix: helping new developers onboard a new project
Randomized Differential Testing of RDF Stores
Bridging the Gap Between Clone-and-Own and Software Product Lines
Refactor4Green: a game for novice programmers to learn code smells
Conceptual Simplicity Meets Organizational Complexity: Case Study of a Corporate Metrics Program
2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES), JSOS 2017, Buenos Aires, Argentina, May 23, 2017
The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics
Detecting deadlock in programs with data-centric synchronization
Noise Reduction of Mobile Sensors Data in the Prediction of Demographic Attributes
Workflow management systems benchmarking: unfulfilled expectations and lessons learned
Digital Twins for Software Engineering Processes
An Insider's Survey on Software Development
Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation
The 3rd International Workshop on Global Software Development
The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective
FAST approaches to scalable similarity-based test case prioritization
DeepMutation: a neural mutation tool
Software Modelling Languages: A Wish List
Software startup within a university - producing industry-ready graduates
On testing quantum programs
Software engineering for mobility: a roadmap
The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6)
Scalable Call Graph Constructor for Maven
Introduction to software engineering for secure systems: SESS06 - secure by design
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Workshop on multi-dimensional separation of concerns in software engineering
Supporting sustainability with software - An industrial perspective (Keynote)
PILOT: A Prescription for Program Performance Measurement
Towards Interpreting the Behavior of Large Language Models on Software Engineering Tasks
Software Architecture in Industrial Applications
Interaction-based test-suite minimization
Artifact driven communication to improve program comprehension
Software Engineering Management
Software Engineering for Distributed Applications: The Design Project
Separation in Theory - Coordination in Practice
Commit Quality in Five High Performance Computing Projects
Estimating software-intensive projects in the absence of historical data
COASTmed: software architectures for delivering customizable, policy-based differential web services
ClauseBench: Enhancing Software License Analysis with Clause-Level Benchmarking
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Clustering Source Code Elements by Semantic Similarity Using Wikipedia
The seven sins: security smells in infrastructure as code scripts
Characterizing and Predicting Mental Fatigue during Programming Tasks
Assured and correct dynamic update of controllers
Architecture Synthesis for Optimized and Flexible Production
Delivering software projects using captive university crowd
A detailed and real-time performance monitoring framework for blockchain systems
Are our students engaged in their studies?: professional engagement vs. study engagement
Formal Concept Analysis in Software Engineering
Connecting Software Components with Declarative Glue
Which Factors Influence Practitioners' Usage of Build Automation Tools?
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers
Causal Graph Fuzzing for Fair ML Sofware Development
The role of artefact corpus in LSI-based traceability recovery
Big code != big vocabulary: open-vocabulary models for source code
SimilarAPI: mining analogical APIs for library migration
Porantim: An Approach to Support the Combination and Selection of Model-Based Testing Techniques
Automated mining of software component interactions for self-adaptation
Specification patterns for probabilistic quality properties
A first implementation of a design thinking workshop during a mobile app development course project
3rd International Workshop on Developing Tools as Plug-ins, TOPI 2013, San Francisco, CA, USA, MAy 21, 2013
Towards software-defined and self-driving cloud infrastructure: extended abstract
Reuse vs. maintainability: revealing the impact of composition code properties
The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic
To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines
Requirements interaction management in an eXtreme programming environment: a case study
A Theory about the Structure of GTSEs
Feature interaction testing of variability intensive systems
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
Efficient GUI test generation by learning from tests of other apps
Architecture leadership and management in globally distributed software development
Symbolic performance adaptation
(Requirement) evolution requirements for adaptive systems
The First International Symposium on Constructing Software Engineering Tools (CoSET'99)
A method for prioritizing end-user feedback for requirements engineering
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
Reasoning about the correctness of software development process
Putting Security on the Table: The Digitalisation of Security Tabletop Games and its Challenging Aftertaste
Statistical migration of API usages
The evolution of emotional displays in open source software development teams: an individual growth curve analysis
1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07)
Oracle-guided component-based program synthesis
Data science for software engineering
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization
Dynamic decision networks for decision-making in self-adaptive systems: a case study
Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis
Structural coverage criteria for neural networks could be misleading
Automatically detecting developer activities and problems in software development work
Energy profiles of Java collections classes
Model-based security analysis for mobile communications
Playing cupid: the IDE as a matchmaker for plug-ins
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets
Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project
Improving PSP education by pairing: An empirical study
Automated Bug Discovery in Cloud Infrastructure-as-Code Updates with LLM Agents
An exploratory study of fault-proneness in evolving aspect-oriented programs
An empirical study of early access games on the steam platform
Technology enabled continuous software development
Self-hiding behavior in Android apps: detection and characterization
Academic and Industry Training for Data Modelling: Ideas for Mutual Benefit
Search-based security testing of web applications
Assurance in software testing: a roadmap
Towards Utilizing Natural Language Processing Techniques to Assist in Software Engineering Tasks
Code Artificiality: A Metric for the Code Stealth Based on an N-Gram Model
What software engineering can learn from research on affect in social psychology
Unsuccessful story about few shot malware family classification and siamese network to the rescue
Software Process Maturity: Is Level five Enough?
EARec: leveraging expertise and authority for pull-request reviewer recommendation in GitHub
A Report on Random Testing
Specification of Time Dependencies and Synthesis of Concurrent Processes
Accelerating software development through collaboration
Improving the handsets network test process via DMAIC concepts
Crisp-A Fault Localization Tool for Java Programs
Toward Defining the Role of the Software Architect
The weHelp reference architecture for community-driven recommender systems
Micro execution
Feedback in scrum: data-informed retrospectives
Constraint-based invocation of stateful web services: The beep store (case study)
Architecture and behaviour analysis for engineering Service Modes
Useful statistical methods for human factors research in software engineering: a discussion on validation with quantitative data
SpecRover: Code Intent Extraction via LLMs
Not Real or too Soft? On the Challenges of Publishing Interdisciplinary Software Engineering Research
An Asynchronous Call Graph for JavaScript
Training Data Debugging for the Fairness of Machine Learning Software
COVID-19 vs Social Media Apps: Does Privacy Really Matter?
Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs
Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering
On the Emotion of Users in App Reviews
Open source patient-controlled analgesic pump requirements documentation
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts
8th International Workshop on Search-Based Software Testing (SBST 2015)
Dynamic round-trip GUI maintenance
Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications
SOA service reuse by design
RECoVar: A solution framework towards reverse engineering variability
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS)
LIME: a framework for debugging load imbalance in multi-threaded execution
Towards software architecture-based regression testing
Improving Software Inspections by Using Reading Techniques
Software metrics: roadmap
Combining Dynamic Analysis and Visualization to Explore the Distribution of Unit Test Suites
Causality-Based Neural Network Repair
Code Reviewer Recommendation in Tencent: Practice, Challenge, and Direction
Flakiness Repair in the Era of Large Language Models
Motivations for collaboration in software design decision making
The use of text retrieval and natural language processing in software engineering
Stress testing SMT solvers via type-aware mutation
What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines
GUI reverse engineering with machine learning
Software Engineering: Management, Personnel and Methodology
A Scalable t-wise Coverage Estimator
Learning to adapt requirements specifications of evolving systems
Software architecture and mobility: a perfect marriage or an uneasy alliance?
Regression Test Selection for AspectJ Software
Engineering Industry-Ready Anomaly Detection Algorithms
Experiences from Representing Software Architecture in a Large Industrial Project Using Model Driven Development
DIETs: Recommender Systems for Mobile API Developers
Fourth International Workshop on Software Clones (IWSC)
Towards a Green Quotient for Software Projects
MobiPlay: a remote execution based record-and-replay tool for mobile applications
A software architecture-based framework for highly distributed and data intensive scientific applications
Toward proactive refactoring: an exploratory study on decaying modules
Establishing techniques to validate the ROI of an InnerSource program
SWAP: Mitigating XSS attacks using a reverse proxy
Detecting Exception Handling Bugs in C++ Programs
A Constructive Approach to Reliable Synchronization Code
A framework for the integration of user centered design and agile software development processes
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
Towards Fully-Traceable Human-Centred Design
BugListener: Identifying and Synthesizing Bug Reports from Collaborative Live Chats
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs
Software Engineering for Automotive Systems: A Roadmap
Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching
Next Steps in LLM-Supported Java Verification
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011
Neural Knowledge Extraction From Cloud Service Incidents
Penalty policies in professional software development practice: a multi-method field study
A Generic Algorithm for Program Repair
A gamification approach for distributed agile delivery
Mobile Application Coverage: The 30% Curse and Ways Forward
EvoFM: feature-driven planning of product-line evolution