yusuke1997/dblp-id-title huggingface dataset:
Sampling configurations from software product lines via probability-aware diversification and SAT solving
GPTVD: vulnerability detection and analysis method based on LLM's chain of thoughts
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
A systematic decision-making framework for tackling quantum software engineering challenges
How effective are existing Java API specifications for finding bugs during runtime verification?
Investigating the bugs in reinforcement learning programs: Insights from Stack Overflow and GitHub
SMPLearner: learning to predict software maintainability
Discriminating features-based cost-sensitive approach for software defect prediction
Exploring the potential of general purpose LLMs in automated software refactoring: an empirical study
Specification and synthesis of hybrid automata for physics-based animation
A knowledge-based framework for automated software synthesis
A survey on robustness attacks for deep code models
Static data-flow analysis for software product lines in C
Planning Proofs of Equations in CCS
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop)
RecoLibry Suite: a set of intelligent tools for the development of recommender systems
JackHare: a framework for SQL to NoSQL translation using MapReduce
Scalable satisfiability checking and test data generation from modeling diagrams
GUI visual aspect migration: a framework agnostic solution
Algorithmic Debugging and Hypothetical Reasoning
Automated system-level testing of unmanned aerial systems
A formal approach based on UML and B for the specification and development of database applications
Agents in software engineering: survey, landscape, and vision
Editorial: ASE 2009 conference trip report
Lazy buffer semantics for partial order scenarios
The impact of feature selection and feature reduction techniques for code smell detection: A comprehensive empirical study
Special Issue on Process Technology
Prediction of software fault-prone classes using ensemble random forest with adaptive synthetic sampling algorithm
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
MerIt: improving neural program synthesis by merging collective intelligence
A study on cross-project fault prediction through resampling and feature reduction along with source projects selection
On the empirical evaluation of similarity coefficients for spreadsheets fault localization
Editorial: software defect detection
ActGraph: prioritization of test cases based on deep neural network activation graph
RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements
Automated test data generation and stubbing method for C/C++ embedded projects
AI 2 : the next leap toward native language-based and explainable machine learning framework
qaAskeR + : a novel testing method for question answering software via asking recursive questions
Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor
Composition inference for UML class diagrams
C2O configurator: a tool for guided decision-making
ProRLearn: boosting prompt tuning-based vulnerability detection by reinforcement learning
Three Books for a Desert Island
DeepGuard: a framework for safeguarding autonomous driving systems from inconsistent behaviour
Enveloping Sophisticated Tools into Process-Centered Environments
Desert Island Books
JDiff: A differencing technique and tool for object-oriented programs
SPVR: syntax-to-prompt vulnerability repair based on large language models
Pipe-DBT: enhancing dynamic binary translation simulators to support pipeline-level simulation
Guest editorial: special multi-issue on selected topics in Automated Software Engineering
Towards automatic business process redesign: an NLP based approach to extract redesign suggestions
Towards a derivational style of distributed system design - An example
An approach to prioritize code smells for refactoring
Toward efficient testing of graph neural networks via test input prioritization
Prompt enhance API recommendation: visualize the user's real intention behind this query
Desert Island Column: Neglected Masterpieces
Mapping Procedural Patterns to Object-Oriented Design Patterns
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments
Finding robust solutions in requirements models
MCL-VD: Multi-modal contrastive learning with LoRA-enhanced GraphCodeBERT for effective vulnerability detection
A tool environment for quality assurance based on the Eclipse Modeling Framework
Integrating COTS Software into Systems through Instrumentation and Reasoning
Improving generality and accuracy of existing public development project selection methods: a study on GitHub ecosystem
Synchronous development in open-source projects: A higher-level perspective
Relative Debugging of Automatically Parallelized Programs
Automatic, high accuracy prediction of reopened bugs
Developing Knowledge-Based Systems with MIKE
Multi-objective code reviewer recommendations: balancing expertise, availability and collaborations
Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns
Inductively Verifying Invariant Properties of Parameterized Systems
An NLP approach for cross-domain ambiguity detection in requirements engineering
Preserving architectural decisions through architectural patterns
Interactive search-based Product Line Architecture design
Guest Editorial: XML and Software Engineering
A symbolic execution-based method to perform untargeted attack on feed-forward neural networks
Predicting software defects using an extreme gradient boosting model tuned with reinforcement learning based spider wasp optimizer
Using classes as specifications for automatic construction of programs in the NUT system
CodeDoctor: multi-category code review comment generation
Unfolding based automated testing of multithreaded programs
Correction: Automating software size measurement from python code using language models
BCGen: a comment generation method for bytecode
Being Logical About Desert Island Reading
Using software evolution to focus architectural recovery
JDExtractor: an automated approach for efficient extraction of defect-related methods in Java projects
A monitoring approach for runtime service discovery
On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems
Source code change analysis with deep learning based programming model
Vulnerability detection with graph enhancement and global dependency representation learning
On the Systematic Analysis of Natural Language Requirements with C
An automated approach to aspect-based sentiment analysis of apps reviews using machine and deep learning
To what extent could we detect field defects? An extended empirical study of false negatives in static bug-finding tools
DroidHook: a novel API-hook based Android malware dynamic analysis sandbox
Logic Program Synthesis as Problem Reduction Using Combining Forms
The design and implementation of a dataflow language for scriptable debugging
Efficient Implementations of Software Architectures via Partial Evaluation
Unveiling code clone patterns in open source VR software: an empirical study
Applying AI to Software Renovation
How to certify machine learning based safety-critical systems? A systematic literature review
Automated verification of concurrent go programs via bounded model checking
Indicators for merge conflicts in the wild: survey and empirical study
Demand-driven evaluation of collection attributes
The WTE+ framework: automated construction and runtime adaptation of service mashups
Component Verification with Automatically Generated Assumptions
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection
New failure rate model for iterative software development life cycle process
Automated QoS-oriented cloud resource optimization using containers
Automated requirement contradiction detection through formal logic and LLMs
Agile meets quantum: a novel genetic algorithm model for predicting the success of quantum software development project
An NLP-based quality attributes extraction and prioritization framework in Agile-driven software development
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Rewriting-Based Techniques for Runtime Verification
Guest editorial: selected areas in automated software engineering
HQLgen: deep learning based HQL query generation from program context
Ladle: a method for unsupervised anomaly detection across log types
Structural contrastive learning based automatic bug triaging
Reuse-Conducive Development Environments
Symbolic modular deadlock analysis
Integrating Specifications: A Similarity Reasoning Approach
A method for evaluation of learning components
WalletRadar: towards automating the detection of vulnerabilities in browser-based cryptocurrency wallets
An investigation on the feasibility of cross-project defect prediction
Birds of a feather: The DODE and domain-specific software synthesis systems
Some Reading for ASE Island
A Concept Formation Based Approach to Object Identification in Procedural Code
Mining temporal specifications from object usage
Automating Support for Software Evolution in UML
Precise slicing of concurrent programs
An exploratory and automated study of sarcasm detection and classification in app stores using fine-tuned deep learning classifiers
Desert Island Reading
Cost-aware scheduling for ensuring software performance and reliability under heterogeneous workloads of hybrid cloud
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automatically finding the control variables for complex system behavior
An extensive study of the effects of different deep learning models on code vulnerability detection in Python code
BadCodePrompt: backdoor attacks against prompt engineering of large language models for code generation
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems
Knowledge-guided large language models are trustworthy API recommenders
Designing automotive embedded systems with adaptive genetic algorithms
The Model-Composition Problem in User-Interface Generation
Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes
RFMC-CS: a representation fusion based multi-view momentum contrastive learning framework for code search
Desert Island Column: A Trip to Carthea
Large language models for qualitative research in software engineering: exploring opportunities and challenges
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
Detecting plagiarized mobile apps using API birthmarks
Guest Editorial: ASE 2000 Special Issue
Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling
Grouping related stack overflow comments for software developer recommendation
Which models of the past are relevant to the present? A software effort estimation approach to exploiting useful past models
GUITAR: an innovative tool for automated testing of GUI-driven software
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Trading-off security and performance in barrier slicing for remote software entrusting
TestEra: Specification-Based Testing of Java Programs Using SAT
The design and evaluation of a tool to support software designers at the whiteboard
CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis
Angels or demons: investigating and detecting decentralized financial traps on ethereum smart contracts
Continuous integration of architectural performance models with parametric dependencies - the CIPM approach
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations
Runtime recovery and manipulation of software architecture of component-based systems
A framework for semi-automated software evolution analysis composition
Desert Island Column: The Long Story of a Short Theorem
Genetic algorithms and heuristics hybridized for software architecture recovery
Α tool for requirements engineering using ontologies and boilerplates
Editorial: selected topics in ASE
Cost-sensitive transfer kernel canonical correlation analysis for heterogeneous defect prediction
Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing
A Rule-Based Approach to Developing Software Development Prediction Models
Editorial: analysis in software engineering
Semi-supervised and unsupervised anomaly detection by mining numerical workflow relations from system logs
Measuring the impact of predictive models on the software project: A cost, service time, and risk evaluation of a metric-based defect severity prediction model
Self-admitted technical debt in R: detection and causes
Guided pattern mining for API misuse detection by change-based code analysis
Exploring optimization and caching for efficient collection operations
Eight Desert Island Books
Specification and Animation of a Bank Transfer using KIDS/VDM
Web Application Slicing in Presence of Dynamic Code Generation
Intelligent test case generation method for fuzzing IoT protocols based on LLM
Test input reduction for result inspection to facilitate fault localization
Crowdsourced test case generation for android applications via static program analysis
Continuous validation of performance test workloads
ExtRep: a GUI test repair method for mobile applications based on test-extension
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
ReBack: recommending backports in social coding environments
Rule-based specification mining leveraging learning to rank
Domain-oriented design environments: Reply to commentaries
High-Level Views of Distributed Executions: Convex Abstract Events
Applying the Mahalanobis-Taguchi strategy for software defect diagnosis
Commentary on AbstFinder: A Prototype Natural Language Test Abstraction Finder for Use in Requirements Elicitation
BOLD: an ontology-based log debugger for C programs
Automated software license analysis
Software synthesis using generic architectures
Guest Editorial: Deep Learning in Open-Source Software Ecosystems
Apel: A Graphical Yet Executable Formalism for Process Modeling
Automated Method for Identifying and Prioritizing Project Risk Factors
Desert Island Reading: Back to the Future
mbeddr: instantiating a language workbench in the embedded software domain
Small-Scale XMI Programming: A Revolution in UML Tool Use?
XMILE: An XML Based Approach for Incremental Code Mobility and Update
The socio-economics of software architecture
Cloud - based multiple importance sampling algorithm with AI based CNN classifier for secure infrastructure
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Reasoning about programs via operational semantics: requirements for a support system
Exploiting ensemble techniques for automatic virtual machine clustering in cloud systems
Black-box tree test case generation through diversity
Requirements Engineering: An Educational Dilemma
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Guest editorial: special multi-issue on selected topics in automated software engineering
A guest editorial: special issue on search based software engineering and data mining
Exploring the impact of data preprocessing techniques on composite classifier algorithms in cross-project defect prediction
On temporal path conditions in dependence graphs
MP: motion program synthesis with machine learning interpretability and knowledge graph analogy
Guest editorial: special issue on realising artificial intelligence synergies in software engineering
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions
iALBMAD: an improved agile-based layered approach for mobile app development
Automating software size measurement from python code using language models
Desert Island Column: The Books Don't Work
Analysing the fitness landscape of search-based software testing problems
Data-driven prototyping via natural-language-based GUI retrieval
MaramaAIC: tool support for consistency management and validation of requirements
Graph neural networks for precise bug localization through structural program analysis
IIAG: a data-driven and theory-inspired approach for advising how to interact with new remote collaborators in OSS teams
Tool-assisted unit-test generation and selection based on operational abstractions
Leveraging privacy profiles to empower users in the digital society
Change impact analysis for maintenance and evolution of variable software systems
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
Deriving event-based transition systems from goal-oriented requirements models
On similarity-awareness in testing-based fault localization
An Architecture based on interactive optimization and machine learning applied to the next release problem
Editorial: ASE 2010 Conference trip report
Enhancing embedded systems development with TS -
Automated semantics-preserving parallel decomposition of finite component and connector architectures
MIRROR: multi-objective refactoring recommendation via correlation analysis
Commentary on 'Domain oriented design environments' by Gerhard Fischer
Model inference for spreadsheets
Automatic Code Generation Techniques: A Systematic Literature Review
Strategy for Verifying Security Protocols with Unbounded Message Size
Evoattack: suppressive adversarial attacks against object detection models using evolutionary search
Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms
Automated refactoring of legacy Java software to enumerated types
An empirical study on the code naturalness modeling capability for LLMs in automated patch correctness assessment
Multicast and customized deployment of large-scale operating systems
Synthetic versus real: an analysis of critical scenarios for autonomous vehicle testing
Efficient monitoring of parametric context-free patterns
Reply to Commentaries
Verification of complex dynamic data tree with mu-calculus
Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms
Extracting Architectural Features from Source Code
Syntax-Directed Amorphous Slicing
Differencing and merging of architectural views
Automatic approval prediction for software enhancement requests
A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair
Region and effect inference for safe parallelism
Predicting software refactoring opportunities using two-level TB-Stacking ensemble models
Static and Dynamic Slicing of Constraint Logic Programs
Tips: towards automating patch suggestion for vulnerable smart contracts
Automated detection of class diagram smells using self-supervised learning
A Guide to Rearing Perfect Software: A Desert Island Column
Optimized design refactoring (ODR): a generic framework for automated search-based refactoring to optimize object-oriented software architectures
A sign language to SQL query translation system for enhancing database accessibility
Towards a behavior tree-based robotic software architecture with adjoint observation schemes for robotic software development
Static window transition graphs for Android
Does sentiment help requirement engineering: exploring sentiments in user comments to discover informative comments
Alattin: mining alternative patterns for defect detection
Understanding Interleaved Code
The impact of unsupervised feature selection techniques on the performance and interpretation of defect prediction models
Semantic tagging and linking of software engineering social content
From requirements to source code: a Model-Driven Engineering approach for RESTful web services
Gradient contouring and texture modelling based CAD system for improved TB classification
Adaptive and accessible user interfaces for seniors through model-driven engineering
A comprehensive framework for inter-app ICC security analysis of Android apps
Scalable and scope-bounded software verification in Varvel
Intelligent software-driven immersive environment for online political guiding based on brain-computer interface and autonomous systems
Self-adaptive concurrent components
Guest editorial: automated techniques for migrating to the cloud (II)
Guest editorial: special issue on realizing AI synergies in software engineering (part 2)
Semantic context based coincidental correct test cases detection for fault localization
Personal reflections on automation, programming culture, and model-based software engineering
Causes and effects of fitness landscapes in system test generation: a replication study
Efficient feature envy detection and refactoring based on graph neural network
Tool-Supported Verification of Product Line Requirements
Case-Based Knowledge Management Tools for Software Development
Software Engineering Books for Desert Island Reading
Strategic real time framework for healthcare using fuzzy C-means systems
Database Reverse Engineering: From Requirements to CARE Tools
DICE simulation: a tool for software performance assessment at the design stage
Serendipity: Integrated Environment Support for Process Modelling, Enactment and Work Coordination
Improving anomaly detection in software logs through hybrid language modeling and reduced reliance on parser
Specification-Based Browsing of Software Component Libraries
AFID: an automated approach to collecting software faults
Pattern Matching for Clone and Concept Detection
A portable compiler-integrated approach to permanent checking
Editorial: ASE 2013 Conference Trip Report
Searching for a Global Search Algorithm
Introduction to Special Issue on Distributed and Mobile Software Engineering
ByteEye: A smart contract vulnerability detection framework at bytecode level with graph neural networks
Technology adoption performance evaluation applied to testing industrial REST APIs
Navigating bug cold start with contextual multi-armed bandits: an enhanced approach to developer assignment in software bug repositories
Future of software development with generative AI
Sample-based software defect prediction with active and semi-supervised learning
Comparing apples and oranges? Investigating the consistency of CPU and memory profiler results across multiple java versions
Modular Verification of Open Features Using Three-Valued Model Checking
A class integration test order generation approach based on Sarsa algorithm
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
Guest Editorial: Automation in Software Performance Engineering
Prioritizing refactorings for security-critical code
Code completion of multiple keywords from abbreviated input
Mobile application review summarization using chain of density prompting
Faults in deep reinforcement learning programs: a taxonomy and a detection approach
Vdiff: a program differencing algorithm for Verilog hardware description language
Enhancing mutation testing for deep neural networks: a novel approach to generating high-quality mutants
Natural language ambiguity resolution by intelligent semantic annotation of software requirements
Evolving scientific code adaptations with modularization frameworks
Test oracles for simulink-like models
Desert Island: Software Engineering - A Human Activity
Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis
Using data mining techniques to generate test cases from graph transformation systems specifications
Editorial: ASE 2012 conference trip report
Guest editorial: automated techniques for migrating to the Cloud (I)
Automated quantum software engineering
Fundamental Nonmodularity in Electronic Mail
Model checking agent programming languages