yusuke1997/dblp-id-title huggingface dataset:
Fast and Precise Application Code Analysis using a Partial Library
Deep learning UI design patterns of mobile apps
CodeS: Towards Code Model Generalization Under Distribution Shift
More Effective Test Case Generation with Multiple Tribes of AI
A Web-Based Tool for Using Storyboard of Android Apps
Improved Bounded Model Checking of Timed Automata
Invariants for Specifications
Interactive Synthesis Using Free-Form Queries
An Approach to Error-Resistant Software Design
Design and validation of variability in product lines
Teaching real-world software engineering through a capstone project course with industrial customers
Enhancing Genetic Improvement of Software with Regression Test Selection
Problems adopting metrics from other disciplines
Risk assessment on distributed software projects
Locating energy hotspots in source code
Trading robustness for maintainability: an empirical study of evolving c# programs
Elite developers' activities at open source ecosystem level
On ML-Based Program Translation: Perils and Promises
Computation for Genomics Knowledge Discovery
What are the practices used by software practitioners on technical debt payment: results from an international family of surveys
PolicyForge: a collaborative environment for formalizing privacy policies in health care
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis
Panel on master's degree programs in software engineering
Towards a Practical Security Analysis Methodology
SDA: A Novel Approach to Software Environment Design and Construction
Building Awareness of System Testing Issues
Handling Safety-Related Feature Interaction in Safety-Critical Product Lines
Non-Technological Issues in Software Engineering
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice
Model transformation of dependability-focused requirements models
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, SECM@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
Problems and Programmers: An Educational Software Engineering Card Game
Towards a constraint based approach for Self-Healing Smart Grids
Visualizing evolving requirements models with timedURN
Coming: a tool for mining change pattern instances from git commits
A Future for Software Engineering?
Babel: Representing Business Rules in XML for Application Integration
Rapidly locating and understanding errors using runtime monitoring of architecture-carrying code
Jigsaw: a tool for the small-scale reuse of source code
Service Virtualisation of Internet-of-Things Devices: Techniques and Challenges
SODOS - A Software Documentation Support Environment: Its Use
Using quantitative analysis to implement autonomic IT systems
On the use of weighted sums in the definition of measures
Using formal models to objectively judge quality of multi-threaded programs in empirical studies
Contextual Programming (Doctoral Symposium - Extended Abstract)
Use of trace link types in issue tracking systems
Towards a taxonomy of software connectors
Automatically Testing Interacting Software Components
Structuring simulink models for verification and reuse
Transitions in programming models: 2
RobOT: Robustness-Oriented Testing for Deep Learning Systems
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
Ticket Coverage: Putting Test Coverage into Context
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions
A preliminary study of apparent causes and outcomes of reported failures with patient management software
Towards the Architectural Definition of the Health Watcher System with AO-ADL
Accelerating counterexample detection in software model checking
How do system architectures affect software requirements?
Panel Description: The Role of Logic and AI in the Software Enterprise
Global consistency checking of distributed models with TReMer+
Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design
Software cost estimation meets software diversity
Security assessment of systems of systems
Striking a Balance: Pruning False-Positives from Static Call Graphs
Formal verification problems in a big data world: towards a mighty synergy
Building it together: synchronous development in OSS
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
A Language Extension for Controlling Access to Shared Data (Abstract)
A collaborative-based recommender system for configuration of extended product lines
What makes it hard to design instructional software? Towards a collaborative platform for stakeholders of instructional software
"Ignorance and Prejudice" in Software Fairness
Teaching Software Architecture to Undergraduate Students: An Experience Report
Evaluating the costs and benefits of end-user development
The implication of different learning styles on the modeling of object-oriented systems (poster)
Teaching software engineering and software project management: An integrated and practical approach
Process engineering with Spearmint TM /EPG
Predicting questions' scores on stack overflow
Permission-Based Verification of Red-Black Trees and Their Merging
Analysis and detection of information types of open source software issue discussions
RPT: Effective and Efficient Retrieval of Program Translations from Big Code
Trustworthiness of Large Language Models for Code
CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back
An Empirical Study of Deep Learning Models for Vulnerability Detection
Exemplar: EXEcutable exaMPLes ARchive
Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs
What communication tools students use in software projects and how do different tools suit different parts of project work?
FeatureIDE: taming the preprocessor wilderness
Privacy and utility for defect prediction: Experiments with MORPH
The special case of data protection and self-adaptation
Managing technical debt: an industrial case study
Measuring metadata-based aspect-oriented code in model-driven engineering
Type migration in ultra-large-scale codebases
Machine learning for constituency test of coordinating conjunctions in requirements specifications
The ABC of Pair Programming: Gender-dependent Attitude, Behavior and Code of Young Learners
Who needs doctors? (abstract of panel session)
Architectural Modeling in Industry - An Experience Report
Getting at ephemeral flaws
ProMal: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning
Industrially validating longitudinal static and dynamic analyses
Impact of process simulation on software practice: an initial report
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report
Mechanical Verification of Interactive Programs Specified by Use Cases
Applying evolution and novelty search to enhance the resilience of autonomous systems
LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment
Assurance patterns for distributed real-time embedded systems
"Large" abstractions for software engineering
A proposal for the improvement of project's cost predictability using EVM and historical data of cost
RAT: A Refactoring-Aware Traceability Model for Bug Localization
Introduction to the Wellmade Design Methodology
Dependability assessment of software-based systems: state of the art
CONFETTI: Amplifying Concolic Guidance for Fuzzers
Whither software architecture? (Keynote)
Learning Program Models from Generated Inputs
Behavior Modelling During Software Design
Programming as an Evolutionary Process
Tracking food insecurity from tweets using data mining techniques
Program Refinement by Transsformation
MUTAGEN: Faster Mutation-Based Random Testing
Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules
Succession: Measuring transfer of code and developer productivity
Measuring Reliability of Computer Center Software
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source
System Dynamics Modeling of an Inspection-Based Process
A Knowledge Base for Supporting and Intelligent Program Editor
Software Cost and Quality Analysis by Statistical Approaches
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience
"Adoption of the visual brainstorming technique in the open source software development process"
The Challenges of Shift Left Static Analysis
Faux disk encryption: realities of secure storage on mobile devices
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks
Protecting SLAs with surrogate models
GPredict: Generic Predictive Concurrency Analysis
Bounded Exhaustive Search of Alloy Specification Repairs
Improving throughput via slowdowns
Automation of Android applications functional testing using machine learning activities classification
ZenIDS: introspective intrusion detection for PHP applications
Introducng a software modeling concept in a medium-sized company
Unleashing the Power of Clippy in Real-World Rust Projects
Highlighting the challenges of model-based engineering for spaceflight software systems
Piranha: reducing feature flag debt at uber
Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications
Towards the integration of sysml and problem frames
Structural test coverage criteria for deep neural networks
Juzi: a tool for repairing complex data structures
An Empirical Study on Commit Message Generation Using LLMs via In-Context Learning
Designing a next-generation continuous software delivery system: concepts and architecture
XML conceptual modeling with XUML
idb: a tool for blackbox iOS security assessments
Invariant-based automatic testing of AJAX user interfaces
Research challenges of autonomic computing
A Management Approach to the Development of Computer-Based Systems
QoS-aware fully decentralized service assembly
Learning run-time compositions of interacting adaptations
Linecept: An Early Prototype of a Timeline-Based Design Coordination Tool
Fast Parametric Model Checking through Model Fragmentation
Code Search based on Context-aware Code Translation
Friends or foes?: a conceptual analysis of self-adaptation and it change management
Approaching runtime trust assurance in open adaptive systems
Analysis of requirements quality evolution
How much Specification is Enough? Mutation Analysis for Software Contracts
Concern modeling in the concern manipulation environment
Polymorphism Measures for Early Risk Prediction
On decentralized self-adaptation: lessons from the trenches and challenges for the future
Proceedings of the 4th International Workshop on Conducting Empirical Studies in Industry, CESI@ICSE 2016, Austin, Texas, USA, May 17, 2016
"May the fork be with you": novel metrics to analyze collaboration on GitHub
PRADA: prioritizing android devices for apps by mining large-scale usage data
Requirements fixation
Metamorphic relations for data validation: a case study of translated text messages
Toward the Analysis of Graph Neural Networks
Creating visual domain-specific modeling languages from end-user demonstration
Improving Engagement Assessment in Gameplay Testing Sessions using IoT Sensors
Intrusion-Tolerant Architectures: Concepts and Design
ComeBack!: a refactoring-based tool for binary-compatible framework upgrade
Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes
Automating Code-Related Tasks Through Transformers: The Impact of Pre-training
Integrating Hackathons into an Online Cybersecurity Course
Why is dynamic analysis not used as extensively as static analysis: an industrial study
Combining quantitative and qualitative studies in empirical software engineering research
Understanding the Challenges and Assisting Developers with Developing Spark Applications
AI-driven web API testing
Teamscale: software quality control in real-time
An enterprise perspective on technical debt
Pattern-Based Generation and Adaptation of Quantum Workflows
The design navigator: charting java programs
A just culture is fundamental: extending security ergonomics by design
Seams 2008: software engineering for adaptive and self-managing systems
GoSpeechLess: Interoperable Serverless ML-based Cloud Services
Detecting Inconsistencies in JavaScript MVC Applications
Empirical study on code smells in iOS applications
LIQDROID: towards seamlessly distributed Android applications
Revel8or: Model Driven Capacity Planning Tool Suite
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
Simplicity principles for plug-in development: the jABC approach
Maintenance of embedded systems: Supporting program comprehension using dynamic analysis
Safe Memory-Leak Fixing for C Programs
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs
Behavior-based test smells refactoring : Toward an automatic approach to refactoring Eager Test and Lazy Test smells
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement
Revisiting code ownership and its relationship with software quality in the scope of modern code review
An agile v-model for medical device software development to overcome the challenges with plan-driven software development lifecycles
We'll Fix it in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?
Protocol and tools for conducting agile software engineering research in an industrial-academic setting: a preliminary study
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
A Proposed Curriculum for Software Engineering Education
Mutant Density: A Measure of Fault-Sensitive Complexity
Software Components in a Data Structure Precompiler
On the Role of Early Architectural Assumptions in Quality Attribute Scenarios: A Qualitative and Quantitative Study
Avoiding scylla and charybdis in distributed software development course
An Algebra for Data Flow Anomaly Detection
An automated and instant discovery of concrete repairs for model inconsistencies
Precise identification of problems for structural test generation
Enhancing Deep Reinforcement Learning with Executable Specifications
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques
DroidMutator: an effective mutation analysis tool for Android applications
Adopting an Agile Approach for Reflective Learning and Teaching
Metamorphic relation patterns for query-based systems
Nico Habermann's Research: A Brief Retrospective
Commitment Development in Software Process Improvement: Critical Misconceptions
Addressing software dependability with statistical and machine learning techniques
TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions
Platform Independent GUI Builders Advance Software Engineering to Handle HCI Issues
6th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2013, San Francisco, CA, USA, May 25, 2013
Towards the verification of multi-diagram UML models
The past, present, and future of MOOCs and their relevance to software engineering
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
Check 'n' crash: combining static checking and testing
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis
DIRECTDEBUG: Automated Testing and Debugging of Feature Models
On extracting relevant and complex variability information from software descriptions with pattern structures
Autopoietic companions and correctness helpers
Guiding testing effort using mutant utility
LibD: scalable and precise third-party library detection in android markets
Automated prediction of defect severity based on codifying design knowledge using ontologies
Compiling polychronous programs into conditional partial orders for ASIP synthesis
MutaBot: A Mutation Testing Approach for Chatbots
Towards implementing product line architecture
Validating System Requirements by Functional Decomposition and Dynamic Analysis
Diversity in software engineering
Practical and Efficient Model Extraction of Sentiment Analysis APIs
Architectural reconfiguration using coordinated atomic actions
Self-adaptation made easy with blockchains
The Analyst - A Workstation for Analysis and Design
Cloudlet-based cyber-foraging for mobile systems in resource-constrained edge environments
Seventh workshop on Software Quality
An Architecture for Heterogeneous Groupware Applications
Model problem and testbed for experiments with adaptation in smart cyber-physical systems
Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008)
DETERMIN: inferring likely deterministic specifications of multithreaded programs
Function point measurement from Java programs
Negotiation Behavior During Requirements Specification
Usage-Centered Design and Software Engineering: Models for Integration
XML Technologies and Software Engineering
Data-driven requirements engineering: an update
Action Language: a specification language for model checking reactive systems
Diff and merge support for model based development
5th international workshop on software engineering in health care (SEHC 2013)
Adaptive unpacking of Android apps
A generalized program verification workflow based on loop elimination and SA form
Designing an economic-driven evaluation framework for process-oriented software technologies
A mixed methods research agenda to identify undergraduate misconceptions in software engineering, lecturers' handling, and didactical implications
Post-completion error in software development
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair
SpyWare: a change-aware development toolset
Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, RSSE 2012, Zurich, Switzerland, June 4, 2012
Integrating mobile and cloud for PPG signal selection to monitor heart rate during intensive physical exercise
Architecture-Based Quality Attribute Synergies and Conflicts
Automatic Method Refactoring Using Weighted Dependence Graphs
TETRA, as a set of techniques and tools for calculating technical debt principal and interest
Search-Based Design of Large Software Systems-of-Systems
7th International Workshop on Traceability in Emerging Forms of Software Engineering, TEFSE 2013, 19 May, 2013, San Francisco, CA, USA
An empirical evaluation of test case filtering techniques based on exercising complex information flows
Systematizing security test case planning using functional requirements phrases
ReVision: a tool for history-based model repair recommendations
Live goals for adaptive service compositions
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?
MSR 2006: the 3rd international workshop on mining software repositories
MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
Model-driven framework for runtime adaptation of web service compositions
Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988
Static ownership inference for reasoning against concurrency errors
A model transformation tool for performance simulation of complex uml models
A Clustering Technique for Early Detection of Dominant and Recessive Cross-Cutting Concerns
Inference Rules for Program Annotation
Use of Test Doubles in Android Testing: An In-Depth Investigation
Risk Management in Software Development: A Technology Overview and the Riskit Method
The "BigSE" project: lessons learned from validating industrial text mining
SemDiff: Analysis and recommendation support for API evolution
Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts
Software Engineering : As It Should Be
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
Active and Inductive Learning in Software Engineering Education
Weighted Metrics for the Development of Energy Efficient Software
Competence-confidence gap: a threat to female developers' contribution on github
Predicting developers' negative feelings about code review
Extracting Concepts from File Names: A New File Clustering Criterion
MemLock: memory usage guided fuzzing
Demystifying the Dependency Challenge in Kernel Fuzzing
Dementia and Social Sustainability: Challenges for Software Engineering
A Process for Hitting Paydirt
Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts
Need for a context-aware personalized health intervention system to ensure long-term behavior change to prevent obesity
Non-functional analysis of service choreographies
It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports
Impact of CS programs on the quality of test cases generation: an empirical study
Essential Elements of Software Engineering Education
Multilingual training for Software Engineering
Reengineering Analysis of Object-Oriented Systems via Duplication
Girls Rocking the Code: Gender-dependent Stereotypes, Engagement & Comprehension in Music Programming
The Extent of Orphan Vulnerabilities from Code Reuse in Open Source Software
Social networking applications in health care: threats to the privacy and security of health information
Fuzzing MLIR Compilers with Custom Mutation Synthesis
exLong: Generating Exceptional Behavior Tests with Large Language Models
A correlation study between automated program repair and test-suite metrics
Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course
Moda - multiple objective decision analysis: balancing quality attributes in software architectures
Feature-Oriented Programming and the AHEAD Tool Suite
Towards a Systems Engineering Pattern Language: Applying i* to Model Requirements-Architecture Patterns
On the dichotomy of debugging behavior among programmers
Exploring Large Language Models for Analyzing Open Source License Conflicts: How Far Are We?
Finding inconsistency for UML-based composition at program level
A proposal of a process model to create a test factory
Operations for Programming in the All
Rigi - A System for Programming-in-the-Large
Design patterns for monitoring adaptive ULS systems
Promoting evolution by abstracting over implementation structure
Reliability of Run-Time Quality-of-Service evaluation using parametric model checking
Local analysis for global inputs
Helping users avoid bugs in GUI applications
Grand challenges, benchmarks, and TraceLab: developing infrastructure for the software traceability research community
Proceedings of the 3rd International Workshop on Green and Sustainable Software, GREENS 2014, Hyderabad, India, June 1, 2014
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications
On the evaluation and improvement of feature-based configuration techniques in software product lines
Compositional Verification of Architectural Refactorings
WIP: Prov-SE-O: A Provenance Ontology to Support Scientists in Scientific Experimentation Process
User-centric Monitoring of Sensitive Information Access in Android Applications
Toolpack - An Experimental Software Development Environment Research Project
Mining and analysing security goal models in health information systems
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
Improving software usability through architectural patterns
Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization
Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008
Privacy dynamics: learning privacy norms for social software
Effects of Facilitation on Collaborative Modeling Sessions with a Multi-Touch UML Editor
Towards code-aware robotic simulation: vision paper