yusuke1997/dblp-id-title huggingface dataset:
Guest editors introduction: special issue on innovative automated software engineering tools
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs
Contractsentry: a static analysis tool for smart contract vulnerability detection
Report on the first international IEEE symposium on requirements engineering (RE93) San Diego, January 4-6, 1993
Exploring the impact of code review factors on the code review comment generation
Understanding machine learning software defect predictions
Adversarial generation method for smart contract fuzz testing seeds guided by chain-based LLM
bjXnet: an improved bug localization model based on code property graph and attention mechanism
Inferring specifications to detect errors in code
The arts and crafts of android adware across a decade
Building high assurance human-centric decision systems
Exploring output-based coverage for testing PHP web applications
Supporting model-driven development using a process-centered software engineering environment
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging
Towards digitalization of requirements: generating context-sensitive user stories from diverse specifications
A model-based approach for multiple QoS in scheduling: from models to implementation
Ethereum fraud smart contract detection using heterogeneous semantic graph
A Comparison of Computer Support Systems for Software Inspection
HGNNLink: recovering requirements-code traceability links with text and dependency-aware heterogeneous graph neural networks
Guest editors introduction: special issue on innovative automated software engineering tools - part #2
Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers
Automated user interface engineering with a pattern reflecting programming language
Graphical scenarios for specifying temporal properties: an automated approach
Automatic recognizing relevant fragments of APIs using API references
Explanation-Based Scenario Generation for Reactive System Models
FLASc: a formal algebra for labeled property graph schema
Identification and visualization of variability implementations in object-oriented variability-rich systems: a symmetry-based approach
Cluster-Based Partial-Order Reduction
Non-Intrusive Detection of Synchronization Errors Using Execution Replay
Large language model based mutations in genetic improvement
A journey to highly dynamic, self-adaptive service-based applications
Label propagation based semi-supervised learning for software defect prediction
Using model-driven engineering to automate software language translation
Guest editorial: special section on artificial intelligence for requirements engineering
Improving the prediction of continuous integration build failures using deep learning
NexuSym: Marrying symbolic path finders with large language models
Editorial: Controlling change
Convolutional neural network for stock trading using technical indicators
Multi-objective improvement of Android applications
An effective change recommendation approach for supplementary bug fixes
What information contributes to log-based anomaly detection? Insights from a configurable transformer-based approach
Detecting non-natural language artifacts for de-noising bug reports
Creating High Confidence in a Separation Kernel
Unveiling functional aspects in google play education app titles and descriptions influencing app success
Enhancing fault localization in microservices systems through span-level using graph convolutional networks
Meta-learning based selection of software reliability models
Automatically Restructuring Programs for the Web
Harnessing large language models for virtual reality exploration testing: a case study
Semantic web services for ROS: a Robot as a Service approach
SFDCloud: top-k service faults diagnosis in cloud computing
User Interface Reverse Engineering in Support of Interface Migration to the Web
Playing Detective: Reconstructing Software Architecture from Available Evidence
Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks
Optimizing software vulnerability detection using RoBERTa and machine learning
CODEWEAVE: Exploring Fine-Grained Mobility of Code
Guest editorial: emerging areas in automated software engineering research
Intelligent online guiding network regional planning based on software-driven autonomous communication system
Multiple kernel ensemble learning for software defect prediction
An experiment in ontology use for command and control interoperability
Lifting inter-app data-flow analysis to large app sets
Deep learning approach for intrusion detection in IoT-multi cloud environment
Agile Parsing in TXL
Understanding the privacy-realisticness dilemma of the metaverse
Dynamic Query-Based Debugging of Object-Oriented Programs
Automated Procedure Construction for Deductive Synthesis
A security framework for mobile agent systems
Finding conclusion stability for selecting the best effort predictor in software effort estimation
Proving Invariants of I/O Automata with TAME
Identification of generalization refactoring opportunities
Identifying and understanding header file hotspots in C/C++ build processes
Federating Process-Centered Environments: The Oz Experience
Optimizing regression testing with AHP-TOPSIS metric system for effective technical debt evaluation
Maintainability defects detection and correction: a multi-objective approach
MobiCloUP!: a PaaS for cloud services-based mobile applications
Stable rankings for different effort models
Practical verification of decision-making in agent-based autonomous systems
Bash comment generation via data augmentation and semantic-aware CodeBERT
Bug Classification in quantum software: a rule-based framework and its evaluation
Augmenting software quality assurance with AI and automation using PyTest-BDD
On the role of search budgets in model-based software refactoring optimization
Information security implications of using NLP in IT outsourcing: a Diffusion of Innovation theory perspective
Incremental test data generation for database queries
Experiences using Tedeso: an extensible and interoperable model-based testing platform
The Eighth Annual Knowledge-Based Software Engineering Conference
Cleaning up copy-paste clones with interactive merging
Automatic performance prediction of multithreaded programs: a simulation approach
Using multi-objective search and machine learning to infer rules constraining product configurations
What is software?
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Exact search-space size for the refactoring scheduling problem
Building an Organization-Specific Infrastructure to Support CASE Tools
A model-based DevOps process for development of mathematical database cost models
ConfigCrusher: towards white-box performance analysis for configurable systems
A three-valued model abstraction framework for PCTL* stochastic model checking
Requirements-driven evolution of sociotechnical systems via probabilistic reasoning and hill climbing
An empirical study of test case prioritization on the Linux Kernel
Continuous and automated evolution of architecture-to-implementation traceability links
GNet4FL: effective fault localization via graph convolutional neural network
Assisting requirements analysts to find latent concerns with REAssistant
Collaborative feature location in models through automatic query expansion
Differencing logical UML models
Automated Prototyping of User Interfaces Based on UML Scenarios
Quantifying effectiveness of team recommendation for collaborative software development
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
Decomposition then watermarking: Enhancing code traceability with dual-channel code watermarking
Detection of hidden privilege escalations in android
Behavioural Conflicts in a Causal Specification
StrSolve: solving string constraints lazily
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Parallelization of genetic algorithms for software architecture recovery
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
Design and evaluation of the ModelHealth toolchain for continuity of care web services
Guest editorial: learning to organize testing
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
The impact of the code smells of the presentation layer on the diffuseness of aesthetic defects of Android apps
Guest editorial: special issue on realizing AI synergies in software engineering
BPM supported model generation by contemplating key elements of information security
Computer-aided Support for Secure Tropos
DConfusion: a technique to allow cross study performance evaluation of fault prediction studies
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design
AutoQuery: automatic construction of dependency queries for code search
Identifying Objects in Procedural Programs Using Clustering Neural Networks
Decision support for the software product line domain engineering lifecycle
Data cleaning and machine learning: a systematic literature review
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation
Analyzing system software components using API model guided symbolic execution
PIONEER: improving the robustness of student models when compressing pre-trained models of code
Automating the Software Inspection Process
Deep imperative mutations have less impact
ANCHOR: locating android framework-specific crashing faults
DCTracVis: a system retrieving and visualizing traceability links between source code and documentation
Detecting question relatedness in programming Q&A communities via bimodal feature fusion
Executing Formal Specifications with Concurrent Constraint Programming
Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization
Extracting high-level activities from low-level program execution logs
Reconstructing and evolving software architectures using a coordinated clustering framework
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Regression test selection in test-driven development
Synthesis of probabilistic models for quality-of-service software engineering
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
BallPri: test cases prioritization for deep neuron networks via tolerant ball in variable space
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
NLCI: a natural language command interpreter
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
MalModel: hiding malicious payload in mobile deep learning models with black-box backdoor attack
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
A Debugging and Testing Tool for Supporting Software Evolution
A framework for conditional statement technical debt identification and description
Fragment-based spreadsheet debugging
Distilled GPT for source code summarization
A systematic exploration of C-to-rust code translation based on large language models: prompt strategies and automated repair
A Novel Technique for Accelerating Live Migration in Cloud Computing
DPEfficR: a data and parameter efficient approach for training neural API recommendation model
STAn: analysis of data traces using an event-driven interval temporal logic
Towards automatic detection and prioritization of pre-logging overhead: a case study of hadoop ecosystem
Enhancing search-based testing with LLMs for finding bugs in system simulators
Energy efficient resource allocation based on virtual network embedding for IoT data generation
EmoReflex: an AI-powered emotion-centric developer insights platform
UI2HTML: utilizing LLM agents with chain of thought to convert UI into HTML code
Monitoring energy hotspots in software - Energy profiling of software code
AdaComplete: improve DL-based code completion method's domain adaptability
Tsoa: a two-stage optimization approach for GCC compilation options to minimize execution time
Meta network attention-based feature matching for heterogeneous defect prediction
Machine learning based predictive modeling to effectively implement DevOps practices in software organizations
QUARE: towards a question-answering model for requirements elicitation
Inferring visual contracts from Java programs
Rethinking software design in participation cultures
Defect prediction from static code features: current results, limitations, new approaches
Graph based transfer learning with orthogonal tunning for functionality size insights
Automatic query rewriting schemes for multitenant SaaS applications
A semantic web enabled approach to reuse functional requirements models in web engineering
Assessing the effectiveness of recent closed-source large language models in fault localization and automated program repair
Multi-criteria test cases selection for model transformations
An Automated Security Concerns Recommender Based on Use Case Specification Ontology
Type safety for feature-oriented product lines
Mobile traffic flow prediction using intelligent whale optimization algorithm
Use of Methods and CASE-Tools in Norway: Results from a Survey
Precise Call Graphs for C Programs with Function Pointers
SSD based waste separation in smart garbage using augmented clustering NMS
Editorial: data mining in software engineering
Introduction to the special issue on knowledge based software engineering
Graph database benchmarking on cloud environments with XGDBench
A systematic review of refactoring opportunities by software antipattern detection
A multi-dimensional study on the state of the practice of REST APIs usage in Android apps
Adaptable, model-driven security engineering for SaaS cloud-based applications
Seeding, Evolutionary Growth and Reseeding: Constructing, Capturing and Evolving Knowledge in Domain-Oriented Design Environments
Automated verification of code automatically generated from Simulink®
Mining crowd sourcing repositories for open innovation in software engineering
An exploratory study for software change prediction in object-oriented systems using hybridized techniques
Model Checking Interactor Specifications
Inferring specifications for resources from natural language API documentation
DC-GAR: detecting vulnerabilities by utilizing graph properties and random walks to uncover richer features
Refining Model Checking by Abstract Interpretation
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts
Automating transparent learner profiling through explainable AI
l-PEES-IMP: lightweight proxy re-encryption-based identity management protocol for enhancing privacy over multi-cloud environment
A Petri net tool for software performance estimation based on upper throughput bounds
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
LMFuzz: Program repair fuzzing based on large language models
Concept extraction from business documents for software engineering projects
A Knowledge-Based Software Engineering Environment for Reusable Software Requirements and Architectures
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information
Inductive verification of data model invariants in web applications using first-order logic
Example-based model-transformation testing
SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions
How knowledge representation meets software engineering (and often databases)
Workshop Report: The Two-Day Workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (Held in conjunction with ICSE-16)
A systematic literature review on software security testing using metaheuristics
Automatic, highly accurate app permission recommendation
Process Specification Generation from Communications Service Specifications
Program-input generation for testing database applications using existing database states
Efficient Specification-Based Component Retrieval
Model Checking for Combined Logics with an Application to Mobile Systems
Commentary on AbstFinder: A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Verifying floating-point programs with constraint programming and abstract interpretation techniques
Inductive Specification Recovery: Understanding Software by Learning from Example Behaviors
Directed Artificial Bee Colony algorithm with revamped search strategy to solve global numerical optimization problems
Contextual Local Analysis in the Design of Distributed Systems
Mark, a Reasoning Kit for Mobility
Sound analysis and migration of data from Ethereum smart contracts
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005)
On the effect of test-suite reduction on automatically generated model-based tests
An object detection-based framework for automatically recognizing iStar hand drafts
The Automated Refinement of a Requirements Domain Theory
Tool report: EvoMaster - black and white box search-based fuzzing for REST, GraphQL and RPC APIs
Artificial neural networks as multi-networks automated test oracle
Towards integrated dashboards for better management of human-centric issues in software development
Heterogeneous defect prediction with two-stage ensemble learning
Parameter reference immutability: formal definition, inference tool, and comparison
Madusa: mobile application demo generation based on usage scenarios
Multidimensional modeling driven from a domain language
Reasoning about product-line evolution using complex feature model differences
Automatic B-model repair using model checking and machine learning
Code comment generation based on graph neural network enhanced transformer model for code understanding in open-source software ecosystems
Developing and evolving a DSL-based approach for runtime monitoring of systems of systems
Artificial Intelligence and Software Engineering: Breaking the Toy Mold
The future of API analytics
Machine learning approach for software defect prediction using multi-core parallel computing
Opinion mining for app reviews: an analysis of textual representation and predictive models
Transformations to Restructure and Re-engineer COBOL Programs
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
Using simulated annealing to synthesize resource-bounded software
Balancing precision and performance in structured merge
A novel automated framework for fine-grained sentiment analysis of application reviews using deep neural networks
Context-aware prompting for LLM-based program repair
On the documentation of refactoring types
An SDN architecture for patent prior art search system based on phrase embedding
Developing Ambient Intelligence Systems: A Solution based on Web Services
Efficient elicitation of software configurations using crowd preferences and domain knowledge
Desert Island Column: Saving Software Engineering
Test Case Generation as an AI Planning Problem
Automated detection of affected libraries from vulnerability reports
ARAS: adaptation requirements for adaptive systems
GenerativeGI: creating generative art with genetic improvement
A Real-Time Capable Dynamic Partial Reconfiguration System for an Application-Specific Soft-Core Processor
Exploring Many-Core Design Templates for FPGAs and ASICs
Simple Hybrid Scaling-Free CORDIC Solution for FPGAs
Leakage Immune Modified Pass Transistor Based 8T SRAM Cell in Subthreshold Region
Experiment Centric Teaching for Reconfigurable Processors
An FPGA Task Placement Algorithm Using Reflected Binary Gray Space Filling Curve
On-Chip Reconfigurable Hardware Accelerators for Popcount Computations
Exploring Online Synthesis for CGRAs with Specialized Operator Sets
A Dynamic Dual Fixed-Point Arithmetic Architecture for FPGAs
Non-Power-of-Two FFTs: Exploring the Flexibility of the Montium TP
An NoC Traffic Compiler for Efficient FPGA Implementation of Sparse Graph-Oriented Workloads
An Impulse-C Hardware Accelerator for Packet Classification Based on Fine/Coarse Grain Optimization
FPGA-Based Real-Time Moving Target Detection System for Unmanned Aerial Vehicle Application
Open SystemC Simulator with Support for Power Gating Design
An Accelerating Solution for N-Body MOND Simulation with FPGA-SoC
Multilevel Simulation of Heterogeneous Reconfigurable Platforms
An Efficient Evolutionary Task Scheduling/Binding Framework for Reconfigurable Systems
SystemC Transaction-Level Modeling of an MPSoC Platform Based on an Open Source ISS by Using Interprocess Communication
Exploring Shared SRAM Tables in FPGAs for Larger LUTs and Higher Degree of Sharing
A Decision-Making Method Providing Sustainability to FPGA-Based SoCs by Run-Time Structural Adaptation to Mode of Operation, Power Budget, and Die Temperature Variations
Software Toolchain for Large-Scale RE-NFA Construction on FPGA
An FPGA-Based Adaptable 200 MHz Bandwidth Channel Sounder for Wireless Communication Channel Characterisation
FPGA-Based Implementation of All-Digital QPSK Carrier Recovery Loop Combining Costas Loop and Maximum Likelihood Frequency Estimator
Configurable Transmitter and Systolic Channel Estimator Architectures for Data-Dependent Superimposed Training Communications Systems
Exploiting Partial Reconfiguration through PCIe for a Microphone Array Network Emulator
A Methodology for an FPGA Implementation of a Programmable Logic Controller to Control an Atomic Layer Deposition System
A Dynamically Reconfigured Multi-FPGA Network Platform for High-Speed Malware Collection
Fully Pipelined Implementation of Tree-Search Algorithms for Vector Precoding
Scalable Fixed Point QRD Core Using Dynamic Partial Reconfiguration
An FPGA-Based Quantum Computing Emulation Framework Based on Serial-Parallel Architecture
Reconfigurable Multiprocessor Systems: A Review
A Game-Theoretic Approach for Run-Time Distributed Optimization on MP-SoC
Exposing End-to-End Delay in Software-Defined Networking
Timing-Driven Nonuniform Depopulation-Based Clustering
The "Chimera": An Off-The-Shelf CPU/GPGPU/FPGA Hybrid Computing Platform
AC_ICAP: A Flexible High Speed ICAP Controller
FPGA-Based Embedded Motion Estimation Sensor
Hardware-Efficient Design of Real-Time Profile Shape Matching Stereo Vision Algorithm on FPGA
Design of FPGA-Based Accelerator for Convolutional Neural Network under Heterogeneous Computing Framework with OpenCL
Dimension Reduction Using Quantum Wavelet Transform on a High-Performance Reconfigurable Computer
Selected Papers from SPL 2008: Programmable Logic and Applications
FPGA Acceleration of Communication-Bound Streaming Applications: Architecture Modeling and a 3D Image Compositing Case Study
Reducing Reconfiguration Overheads in Heterogeneous Multicore RSoCs with Predictive Configuration Management
Multidimensional Costas Arrays and Their Enumeration Using GPUs and FPGAs
XOR-FREE Implementation of Convolutional Encoder for Reconfigurable Hardware
Exploring Trade-Offs between Specialized Dataflow Kernels and a Reusable Overlay in a Stereo Matching Case Study
Efficient Realization of BCD Multipliers Using FPGAs
Efficient Scheme for Implementing Large Size Signed Multipliers Using Multigranular Embedded DSP Blocks in FPGAs
Selected Papers from the Symposium on Integrated Circuits and Systems Design (SBCCI 2011)
Self-Awareness in Computer Networks
The Coarse-Grained/Fine-Grained Logic Interface in FPGAs with Embedded Floating-Point Arithmetic Units
Power Characterisation for Fine-Grain Reconfigurable Fabrics
IP-Enabled C/C++ Based High Level Synthesis: A Step towards Better Designer Productivity and Design Performance
Hardware Accelerated Sequence Alignment with Traceback