yusuke1997/dblp-id-title huggingface dataset:
A Data-driven Approach for Mining Software Features based on Similar App Descriptions and User Reviews Analysis
Rebuilding games at runtime
Context-Aware Browsing of Large Component Repositories
Firecrow: a tool for web application analysis and reus
Identifying Pre-Conditions with the Z/EVES Theorem Prover
MCDA Framework for Edge-Aware Multi-Cloud Hybrid Architecture Recommendation
DRIVER - A Platform for Collaborative Framework Understanding
Applying AutoBayes to the Analysis of Planetary Nebulae Images
Enforcing Structural Regularities in Source Code using IntensiVE
XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap
Automated Support for Framework Selection and Customization
Bugram: bug detection with n-gram language models
Understanding and detecting callback compatibility issues for Android applications
Build Issue Resolution from the Perspective of Non-Contributors
Generating EDI Message Translations from Visual Specifications
Ensuring consistency in long running transactions
Hot Patching Hot Fixes: Reflection and Perspectives
Greedy combinatorial test case generation using unsatisfiable cores
Inferring structural patterns for concern traceability in evolving software
Demystifying Loops in Smart Contracts
Improving Test Case Generation for REST APIs Through Hierarchical Clustering
Skyeye: Detecting Imminent Attacks via Analyzing Adversarial Smart Contracts
Statistical learning approach for mining API usage mappings for code migration
Generating model transformation rules from examples using an evolutionary algorithm
Automated Test Case Generation for Service Composition from Event Logs
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning
Consistency-preserving edit scripts in model versioning
Fault Localization With Nearest Neighbor Queries
To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools
Transformational approach to transportation scheduling
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models
An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems
PrefFinder: getting the right preference in configurable software systems
Automatic Comment Generation via Multi-Pass Deliberation
V2: Fast Detection of Configuration Drift in Python
Towards supporting awareness of indirect conflicts across software configuration management workspaces
A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering
Vision Paper: Proof-Carrying Code Completions
Process Support for Tools Interoperability
Advancing Android Privacy Assessments with Automation
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
DyTRec: A Dynamic Testing Recommendation tool for Unity-based Virtual Reality Software
TestEra: A Novel Framework for Automated Testing of Java Programs
The Capture Calculus Toolset
Deep GUI: Black-box GUI Input Generation with Deep Learning
Automated model grouping
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
Automated game testing using computer vision methods
Towards requirements aware systems: Run-time resolution of design-time assumptions
Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues
On the feasibility of detecting cross-platform code clones via identifier similarity
Analyzing temporal API usage patterns
Automated directed fairness testing
Program analysis for secure big data processing
DiffGen: Automated Regression Unit-Test Generation
Automating experimentation on distributed testbeds
Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat
Can Large Language Models Comprehend Code Stylometry?
A comprehensive study of real-world numerical bug characteristics
Flexible design pattern detection based on feature types
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
Model-driven run-time enforcement of complex role-based access control policies
RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis
Emergence of A Novel Domain Expert: A Generative AI-based Framework for Software Function Point Analysis
RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System
FEMIR: a tool for recommending framework extension examples
An Investigation of Compound Variable Names Toward Automated Detection of Confusing Variable Pairs
Parallel bug-finding in concurrent programs via reduced interleaving instances
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Automatic detection of nocuous coordination ambiguities in natural language requirements
Covering array sampling of input event sequences for automated gui testing
Automating the performance management of component-based enterprise systems through the use of redundancy
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
An Integration of Deductive Retrieval into Deductive Synthesis
From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining
A dynamic birthmark for java
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements
Industrial Applications of Software Synthesis via Category Theory
An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling
Which Exception Shall We Throw?
Adding context to fault localization with integration coverage
Enhancing Code Safety in Quantum Intermediate Representation
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Automating Non-Blocking Synchronization In Concurrent Data Abstractions
Analyzing security architectures
The Synthesis of a Java Card Tokenization Algorithm
AWARE: Aspect-Based Sentiment Analysis Dataset of Apps Reviews for Requirements Elicitation
Efficient Code Causes Inefficiency in Compiler Optimizations
Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem
NeuralVis: Visualizing and Interpreting Deep Learning Models
Knowledge requirements for the automatic generation of project management reports
Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching
Developer targeted analytics: supporting software development decisions with runtime information
Universal Design for Website Authentication: Views and Experiences of Senior Citizens
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011
Diversity maximization speedup for fault localization
Duplicate bug report detection with a combination of information retrieval and topic modeling
Model-Driven Development of Mobile Personal Health Care Applications
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks
Understanding and detecting evolution-induced compatibility issues in Android apps
Software design by reusing architectures
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
RCAT: A Performance Analysis Tool
Locus: locating bugs from software changes
Modeling Web-Based Dialog Flows for Automatic Dialog Control
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA
Configuration Lifting: Verification meets Software Configuration
Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests
Finding HTML presentation failures using image comparison techniques
ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks
PatchTrack: Analyzing ChatGPT's Impact on Software Patch Decision-Making in Pull Requests
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
8Cage: lightweight fault-based test generation for simulink
A Learning-Based Software Engineering Environment
Scaling Arbitrary Android App Analyses
Reducing delay penalty of multiple concurrent software projects based on overtime planning
Flexible and scalable consistency checking on product line variability models
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations
A Formal Approach to Domain-Oriented Software Design Environments
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
Towards High-Level Deductive Program Synthesis Based on Type Theory
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Formal support for merging and negotiation
Testing in resource constrained execution environments
HyperGI: Automated Detection and Repair of Information Flow Leakage
PFix: fixing concurrency bugs based on memory access patterns
ICO: A Platform for Optimizing Highly Configurable Systems
Educating knowledge-based software engineers
LiSum: Open Source Software License Summarization with Multi-Task Learning
ASSISTing Exit Decisions in Software Inspection
Automatic test factoring for java
An Empirical Study of Bugs in WebAssembly Compilers
ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs
Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language
Directed test generation using symbolic grammars
Personalized teammate recommendation for crowdsourced software developers
SymInfer: inferring program invariants using symbolic states
Synthesis of local search algorithms by algebraic means
Search-carrying code
Automating UI Generation by Model Composition
Software Development Analytics: Experiences and the Way Forward
MoDisco: a generic and extensible framework for model driven reverse engineering
OCRA: A tool for checking the refinement of temporal contracts
MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for Large-scale Contents Recommendation
Meta-Model validation and verification with MetaBest
Self-Elicitation of Requirements with Automated GUI Prototyping
An Automated Tool for Analyzing Petri Nets Using SPIN
Automatically quantifying the impact of a change in systems (journal-first abstract)
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations
Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments
Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports (N)
Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence
Effective API recommendation without historical software repositories
Testing concurrent programs using value schedules
Leveraging Artificial Intelligence on Binary Code Comprehension
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
CLAMI: Defect Prediction on Unlabeled Datasets (T)
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
Identify and Update Test Cases When Production Code Changes: A Transformer-Based Approach
On the Engineering of AI-Powered Systems
Predicting software design patterns from text using neural embedding
Relda2: an effective static analysis tool for resource leak detection in Android apps
Overview of OpenModel-based Validation with Partial Information
A Formal Approach to Reusing More General Components
Deviation Analysis Through Model Checking
Constructing interaction test suites with greedy algorithms
Automated unit testing of large industrial embedded software using concolic testing
Design Rule Hierarchies and Parallelism in Software Development Tasks
Testing advanced driver assistance systems using multi-objective search and neural networks
A genetic algorithm for goal-conflict identification
Automated Code Refactoring upon Database-Schema Changes in Web Applications
Patching as Translation: the Data and the Metaphor
Understanding feature requests by leveraging fuzzy method and linguistic analysis
Mining branching-time scenarios
Scene-Driven Exploration and GUI Modeling for Android Apps
AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection
First International Workshop on Social Software Engineering and Applications (SoSEA 2008)
Towards Automatic Assertion Refinement for Separation Logic
Sieve: A Tool for Automatically Detecting Variations Across Program Versions
Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction
Towards a Live Environment for Code Refactoring
An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps
Docovery: toward generic automatic document recovery
AGATE, Access Graph-Based Tools for Handling Encapsulation
Model checking concurrent linux device drivers
Implementing Effective Automatic Cryptographic Protocol Analysis
Automated Reasoning on Aspects Interactions
Combining environment generation and slicing for modular software model checking
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components
Fast and Reliable Program Synthesis via User Interaction
Towards search-based modelling and analysis of requirements and architecture decisions
Opiner: an opinion search and summarization engine for APIs
An Interface Between Different Software Development Environments
CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing
How Do Developers Reuse StackOverflow Answers in Their GitHub Projects?
Computing Interfaces in Java
Low-Resources Project-Specific Code Summarization
Data Mining Methods and Cost Estimation Models: Why is it So Hard to Infuse New Ideas?
TestCov: Robust Test-Suite Execution and Coverage Measurement
An Automated Pipeline for Privacy Leak Analysis of Android Applications
Imperceptible Content Poisoning in LLM-Powered Applications
A web based UML modeling tool with touch screens
Task Distribution and Human Resource Management Using Reinforcement Learning
GUI Test Repair Based on Test-Extension
Inferring Specifications to Detect Errors in Code
A model-driven framework for guided design space exploration
How Useful is Code Change Information for Fault Localization in Continuous Integration?
Recovering inter-project dependencies in software ecosystems
Localizing SQL faults in database applications
Differencing and Merging of Architectural Views
Static analysis to enable verification and transformation of data-intensive business applications
Context-aware integrated development environment command recommender systems
Test Case Recommendations with Distributed Representation of Code Syntactic Features
Trusting your assistant
42 variability bugs in the linux kernel: a qualitative analysis
Addressing complexity, coordination, and automation in software development with the KBSA/ADM
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues
Introduction to the 4th international ERCIM workshop on software evolution and evolvability (Evol '08)
Towards an Evolutionary Formal Software Development
Constructing transition models of AI planner behavior
Distributed Constraints Maintenance in Collaborative UML Modeling Environments
A Joint Learning Model with Variational Interaction for Multilingual Program Translation
API Design Implications of Boilerplate Client Code
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection
Adaptable Concern-Based Framework Specialization in UML
RJoules: An Energy Measurement Tool for R
DroneWiS: Automated Simulation Testing of small Unmanned Aerial System in Realistic Windy Conditions
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems
Exploiting predicate structure for efficient reachability detection
Tutorial on JML, the java modeling language
Towards Autonomous Testing Agents via Conversational Large Language Models
Building recommenders for modelling languages with Droid
A vision on a methodology for the application of an Intrusion Detection System for satellites
Predicting Defects with Latent and Semantic Features from Commit Logs in an Industrial Setting
Automated Mapping from Goal Models to Self-Adaptive Systems
34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019
Automatic assessment of software documentation quality
Unit testing concurrent software
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Griffin : Grammar-Free DBMS Fuzzing
Round-up: Runtime checking quasi linearizability of concurrent data structures
BProVe: a formal verification framework for business process models
QuCAT: A Combinatorial Testing Tool for Quantum Software
Model Checking for an Executable Subset of UML
ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014
A Role Based Model Template for Specifying Virtual Reality Software
Automated Conversion from a Requirements Document to an Executable Formal Specification
A static analysis tool with optimizations for reachability determination
UNDEAD: detecting and preventing deadlocks in production software
Keynote talk: the logic of information design
Towards self-healing smartphone software via automated patching
String Analysis of Android Applications (N)
CogniCrypt: supporting developers in using cryptography
Effective Generation of Interface Robustness Properties for Static Analysis
Efficient Test Generation Guided by Field Coverage Criteria
Roman Urdu reviews dataset for aspect based opinion mining
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
Theoretical Foundations of Updating Systems
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
JCCD: a flexible and extensible API for implementing custom code clone detectors
ASTOR: An Approach to Identify Security Code Reviews
Detecting Malicious Accounts in Web3 through Transaction Graph
SRRTA: Regression Testing Acceleration via State Reuse
Ares: Inferring Error Specifications through Static Analysis
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Semantic Abstraction Rules for Class Diagrams
A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
flowR: A Static Program Slicer for R
Towards Automated Configuration Documentation
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
LED: Tool for Synthesizing Web Element Locators
Tools Supporting the Creation and Evolution of Software Development Knowledge
Learning GraphQL Query Cost
Higher Order Function Synthesis Through Proof Planning
LLM4Workflow: An LLM-based Automated Workflow Model Generation Tool
Can automated pull requests encourage software developers to upgrade out-of-date dependencies?
An automated model-based debugging approach
Towards Automated Security Design Flaw Detection
Shared Variables Interaction Diagrams
Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning
Adaptation 2 : Adapting Specification Learners in Assured Adaptive Systems
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert
A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications
Differential precondition checking: A lightweight, reusable analysis for refactoring tools
Translating Use Cases to Sequence Diagrams
A Qualitative Analysis of Android Taint-Analysis Results
Knowledge-based constraint-driven software synthesis
Knowledge Base Approach to Consistency Management of UML Specification
Assessing and Restoring Reproducibility of Jupyter Notebooks
Radius aware probabilistic testing of deadlocks with guarantees
Securing Smart Contracts in Blockchain
A Longitudinal Analysis Of Replicas in the Wild Wild Android
On CASE Tool Usage at Nokia
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)
SimilarTech: automatically recommend analogical libraries across different programming languages
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
Understanding the Implications of Changes to Build Systems
A unified lattice model and framework for purity analyses
Non-Interference Analysis for Mixed Criticality Code in Avionics Systems
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution
Communicating Requirements Using End-User GUI Constructions with Argumentation
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
TreeCen: Building Tree Graph for Scalable Semantic Code Clone Detection
LLMs and Prompting for Unit Test Generation: A Large-Scale Evaluation
NaturalFuzz: Natural Input Generation for Big Data Analytics
Identifying execution points for dynamic analyses
Implementing efficient model validation in EMF tools
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T)
RCFG2Vec: Considering Long-Distance Dependency for Binary Code Similarity Detection
Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development
Looper: Lightweight Detection of Infinite Loops at Runtime
Improving the accuracy of oracle verdicts through automated model steering
Precise (Un)Affected Version Analysis for Web Vulnerabilities
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets
NAVCo: Negotiation-based Adaptive View Coordination
Mining Scenario-Based Triggers and Effects
Trimmer: Context-Specific Code Reduction
Search-based inference of polynomial metamorphic relations
Composite System Design: The Good News and the Bad News
Software design sketching with calico
Reverse Engineering Mobile Application User Interfaces with REMAUI (T)
Automatic query performance assessment during the retrieval of software artifacts
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
Finding relevant answers in software forums
Automated path generation for software fault localization
Architecting for evolvability by means of traceability and features
Prioritizing Test Inputs for DNNs Using Training Dynamics
Performance Prediction of Configurable Software Systems by Fourier Learning (T)
SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically
Lattice-based adaptive random testing
A Method to Evaluate Estimates Produced by the Capture-Recapture Model
Understanding Code Changes Practically with Small-Scale Language Models