yusuke1997/dblp-id-title huggingface dataset:
Supporting activity based computing paradigm in global software development
Requirements Engineering and Verification using Specification Animation
Using GUI ripping for automated testing of Android applications
Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models
Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
Improving bug localization using structured information retrieval
Programming bots by synthesizing natural language expressions into API invocations
Access Control Tree for Testing and Learning
Extraction of bug localization benchmarks from history
Automatic extraction of framework-specific models from framework-based application code
Statistical debugging with elastic predicates
Effective Unit Test Generation for Java Null Pointer Exceptions
Embedding research in the industrial field: a case of a transition to a software product line
LiveRef: a Tool for Live Refactoring Java Code
Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations
Software synthesis for trade-off design
Impendulo: debugging the programmer
Unbounded data model verification using SMT solvers
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Usage, costs, and benefits of continuous integration in open-source projects
Specification and Control of Interface Responses to User Input in Rich Internet Applications
Specialization and extrapolation of software cost models
HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software
Crowdsourced Report Generation via Bug Screenshot Understanding
Extracting Visual Contracts from Java Programs (T)
Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
On essential configuration complexity: measuring interactions in highly-configurable systems
Optimizing a Structural Constraint Solver for Efficient Software Checking
Detecting Adversarial Samples with Graph-Guided Testing
Towards Generating Labeled Property Graphs for Comprehending C#-based Software Projects
RESISTing reliability degradation through proactive reconfiguration
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks
A Transferable Time Series Forecasting Service Using Deep Transformer Model for Online Systems
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
Full application of the extract interface refactoring: conceptual structures in the hands of master students
Verifying Determinism in Sequential Programs
Knowledge-Based Design
A Structured Approach for Synthesizing Planners from Specifications
Healing online service systems via mining historical issue repositories
Using automatically generated invariants for regression testing and bug localization
Test-Driven Multi-Task Learning with Functionally Equivalent Code Transformation for Neural Code Generation
Counterexample Guided Inductive Repair of Reactive Contracts
Generating Test Data for Functions with Pointer Inputs
Automated API migration in a user-extensible refactoring tool for Erlang programs
Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot
Detecting unknown inconsistencies in web applications
Horntinuum: Autonomous Testing using Constrained Horn Clauses
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
Representing Technology to Promote Reuse in the Software Design Process
Error-avoiding adaptors for black-box software components
Mining constraints for event-based monitoring in systems of systems
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection
Acquiring Software Design Schemas: A Machine Learning Perspective
Formalisation of the integration of behavior trees
Android Malware Family Labeling: Perspectives from the Industry
Automatically securing permission-based software by reducing the attack surface: an application to Android
Tag and prune: a pragmatic approach to software product line implementation
Toward improved traceability of non-functional requirements
Where Does LDA Sit for GitHub?
An Empirical Study of Malicious Code In PyPI Ecosystem
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications
Learning Contract Invariants Using Reinforcement Learning
Representing Object Models as Theories
ChatBR: Automated assessment and improvement of bug report quality using ChatGPT
Using traceability to support model-based regression testing
PtYasm: Software Model Checking with Proof Templates
A Comprehensive Evaluation of Android ICC Resolution Techniques
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications
A symbolic model checking approach to the analysis of string and length constraints
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types
Operator-based and random mutant selection: Better together
DoD's software technology plans: what do they mean for KBSE, and what does it mean for them?
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
AirMochi - A Tool for Remotely Controlling iOS Devices
Software certificate management (SoftCeMent'05)
Towards Comprehensible Representation of Controllers using Machine Learning
Proceedings of the 7th International Workshop on Software Mining, SoftwareMining@ASE 2018, Montpellier, France, September 3, 2018
The embarrassing truth about software automation and what should be done about it
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
A Linear Programming Approach for Automated Localization of Multiple Faults
Personas in the middle: automated support for creating personas as focal points in feature gathering forums
Expediting Neural Network Verification via Network Reduction
Software engineering techniques applied to relational databases
Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks
A Study of Code Clone on Open Source VR Software
Quokka: visualising interactions of enterprise software environment emulators
Evaluation of Tool Support for Architectural Evolution
A Position-Aware Approach to Decomposing God Classes
Feedback Handling in Dynamic Task Nets
Automatic summarization of API reviews
Implementation of an Activity Coordination System
Automated Verification of Go Programs via Bounded Model Checking
A Transformation System for Interactive Reformulation of Design Optimization Strategies
Mining modal scenario-based specifications from execution traces of reactive systems
Exploring caching for efficient collection operations
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models
Mining input grammars from dynamic taints
Reactive System Validation using Automated Reasoning over a Fragment Library
QATest: A Uniform Fuzzing Framework for Question Answering Systems
Visual Analytics for Concurrent Java Executions
Static Type Recommendation for Python
Evaluating Semantic Autocompletion of Business Processes with Domain Experts
Command-Form Coverage for Testing Database Applications
Visualization support for requirements monitoring in systems of systems
A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models
Domain-Specific Representations in the KBSA Concept Demo
An optimal strategy for algorithmic debugging
Locating distinguishing features using diff sets
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
Automatic Synthesis of Control Software for an Industrial Automation Control System
DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation
Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically
Managing design knowledge to provide assistance to large-scale software development
Retrenchment: Extending the Reach of Refinement
Automatic composition of data structures to represent relations
Proving Termination by k-Induction
E-MANAFA: Energy Monitoring and ANAlysis tool For Android
Quantitative Symbolic Non-Equivalence Analysis
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
Symbolic PathFinder: symbolic execution of Java bytecode
Managing App Testing Device Clouds: Issues and Opportunities
Keynote talk: EasyChair
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software
S-gram: towards semantic-aware security auditing for Ethereum smart contracts
Contextuality of Code Representation Learning
Feature location via information retrieval based filtering of a single scenario execution trace
SEDGE: Symbolic example data generation for dataflow programs
PMExec: An Execution Engine of Partial UML-RT Models
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Security-Related Commits in Open Source Web Browser Projects
Towards Explicit Representation of Architectural Design Assumptions
Practical isolation of failure-inducing changes for debugging regression faults
Automating Changes of Data Type in Functional Programs
Management of Incomplete and Inconsistent Views
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
The Software Genome Project: Unraveling Software Through Genetic Principles
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Characteristic studies of loop problems for structural test generation via symbolic execution
LLM-Based Java Concurrent Program to ArkTS Converter
Management of Evolving Specifications using Category Theory
Automata-Based Verification of Temporal Properties on Running Programs
Strategies of Structural Synthesis of Programs
Learning a dual-language vector space for domain-specific cross-lingual question retrieval
Extraction and visualization of traceability relationships between documents and source code
Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?
Intelligent Change Operators for Multi-Objective Refactoring
Automatically Deciding on the Integration of Commits Based on Their Descriptions
yagg: an easy-to-use generator for structured test inputs
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development
DESERT: a decentralized monitoring tool generator
Shaker: a Tool for Detecting More Flaky Tests Faster
Migrating cascading style sheets to preprocessors by introducing mixins
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
Observations on using empirical studies on developing a knowledge-based software engineering tool
A development process for context-aware adaptive services
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems
Object ownership profiling: a technique for finding and fixing memory leaks
Virtual Reality Enabled Human-Centric Requirements Engineering
DSSynth: an automated digital controller synthesis tool for physical plants
Incrementally slicing editable submodels
MTSA: The Modal Transition System Analyser
Detecting Precedence-Related Advice Interference
Domain-independent multi-threaded software model checking
MalWhiteout: Reducing Label Errors in Android Malware Detection
Retrieve and Refine: Exemplar-based Neural Comment Generation
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects
Array length inference for C library bindings
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints
Identifying Solidity Smart Contract API Documentation Errors
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems
Reducing irrelevant trace variations
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning
MUT4SLX: Fast Mutant Generation for Simulink
Neural Network-Based Test Case Prioritization in Continuous Integration
A Model for Decision Maintenance in the WinWin Collaboration Framework
Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation
An ML Editor Based on Proofs-As-Programs
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction
Finding relevant research solutions for practical problems: the serp taxonomy architecture
Context Debloating for Object-Sensitive Pointer Analysis
ART: A Unified Unsupervised Framework for Incident Management in Microservice Systems
Software performance self-adaptation through efficient model predictive control
FLACK: Localizing Faults in Alloy Models
Toward Improving the Robustness of Deep Learning Models via Model Transformation
jCT: A Java Code Tomograph
A First Look at LLM-powered Smartphones
Tailoring a COTS Group Support System for Software Requirements Inspection
CocoQa: Question Answering for Coding Conventions Over Knowledge Graphs
The confidence in our k-tails
A Coordination System Approach to Software Workflow Process Evolution
Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts
Empirical evaluation of the tarantula automatic fault-localization technique
Static race detection for device drivers: the Goblint approach
Social thinking to design social software: A course experience report
Semantic patch inference
Smart Cloud Broker: Finding your home in the clouds
Exploring Android Apps Using Motif Actions
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score
The IDE as a scriptable information system
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem
Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
VeriAbs : Verification by Abstraction and Test Generation
Cloud Resource Protection via Automated Security Property Reasoning
Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing
Moving Proofs-As-Programs into Practice
An Empirical Study on Obsolete Issue Reports
Feature-Interaction Aware Configuration Prioritization for Configurable Code
VulAdvisor: Natural Language Suggestion Generation for Software Vulnerability Repair
Generating Domain-Specific Visual Language Editors from High-level Tool Specifications
Unity Is Strength: Collaborative LLM-Based Agents for Code Reviewer Recommendation
Unifying testing and analysis through behavioral coverage
Test suite reduction and prioritization with call trees
Rhizome: A Feature Modeling and Generation Platform
ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large
Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations
FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method
Localization of concurrency bugs using shared memory access pairs
Checking LTL Satisfiability via End-to-end Learning
A transformer-based IDE plugin for vulnerability detection
Automated Software Tool Support for Checking the Inconsistency of Requirements
MiTV: multiple-implementation testing of user-input validators for web applications
Model Checking Software Requirement Specifications using Domain Reduction Abstraction
Tool support for essential use cases to better capture software requirements
GitBAC: Flexible access control for non-modular concerns
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation
A topic-based approach for narrowing the search space of buggy files from a bug report
Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S
Towards better understanding of agile teams through behavior change models
Understanding and Predicting Docker Build Duration: An Empirical Study of Containerized Workflow of OSS Projects
Randomizing regression tests using game theory
Complementing semi-formal specifications with Z
Empirical evaluation of code smells in open source projects: preliminary results
Introduction to doctoral symposium
Automated verification of interactive rule-based configuration systems
Dynamic and transparent analysis of commodity production systems
Potential Solutions to Challenges in C Program Repair: A Practical Perspective
αDiff: cross-version binary code similarity detection with DNN
Inference of Properties from Requirements and Automation of Their Formal Verification
An Approach for Investigating Emotion Dynamics in Software Development
GRT: An Automated Test Generator Using Orchestrated Program Analysis
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
Summary-Based Symbolic Evaluation for Smart Contracts
Developer-Applied Accelerations in Continuous Integration: A Detection Approach and Catalog of Patterns
35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020
HOBAT: Batch Verification for Homogeneous Structural Neural Networks
Tortoise: interactive system configuration repair
Automated Test-Data Generation from Formal Models of Software
Identifying domain elements from textual specifications
Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency
3rd international workshop on traceability in emerging forms of software engineering (TEFSE 2005)
Automated Environment Generation for Software Model Checking
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
CoditT5: Pretraining for Source Code and Natural Language Editing
Test Automation and Its Limitations: A Case Study
Evaluation of Version Control Merge Tools
CompAi: A Tool for GDPR Completeness Checking of Privacy Policies using Artificial Intelligence
Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps
Automated unit test generation for classes with environment dependencies
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ
Are developers aware of the architectural impact of their changes?
An Automated Contextual Collaboration Approach for Distributed Agile Delivery
Automated Requirements-based Generation of Test Cases for Product Families
Splitting, Renaming, Removing: A Study of Common Cleaning Activities in Jupyter Notebooks
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing
Measuring refactoring benefits: a survey of the evidence
SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design
Privacy-aware data-intensive applications
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016
Safe stream-based programming with refinement types
BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History Mining
Property-Oriented Test Generation from UML Statecharts
Extending UML to Support Domain Analysis
Automatic Property Checking for Software: Past, Present and Future
How Can Subgroup Discovery Help AIOps?
Towards Robust Models of Code via Energy-Based Learning on Auxiliary Datasets
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration
Keynote address: model engineering for model-driven engineering
Merging Datasets for Emotion Analysis
Towards precise metrics for predicting graph query performance
Towards a Design Assistant for Distributed Embedded Systems
Adding Value to Formal Test Oracles
Statistical Log Differencing
Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
A language model for statements of software code
An empirical study on reducing omission errors in practice
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016
Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories
XRaSE: Towards Virtually Tangible Software using Augmented Reality
AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE
Property-Based Automated Repair of DeFi Protocols
Precise Specification and Automatic Application of Design Patterns
Incremental Context-free Grammar Inference in Black Box Settings
Assessing and evaluating functional suitability of software
Code2graph: automatic generation of static call graphs for Python source code
Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations
QUICKAR: automatic query reformulation for concept location using crowdsourced knowledge
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings
A uniform deductive approach for parameterized protocol safety
Floating-point symbolic execution: a case study in n-version programming
An end-user oriented tool suite for development of mobile applications
An Industrial Experience Report on Performance-Aware Refactoring on a Database-Centric Web Application
Amphion/NAV: Deductive Synthesis of State Estimation Software
Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns
FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments
Model Checking Programs
Understanding Aspects via Implicit Invocation
Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE
Compressing Pre-trained Models of Code into 3 MB
Software reuse and evolution with generative techniques
A System for Supporting Development of Large Scaled Rich Internet Applications
FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics
Knowledge-Based Risk Assessment and Cost Estimation
Attacks and Defenses for Large Language Models on Coding Tasks
Sustainability in migrating workloads to public clouds
Automated Validation of COBOL to Java Transformation
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Big problems in industry (panel)
An Automated Approach for Supporting Software Reuse via Reverse Engineering
Facilitating an Automated Approach to Architecture-based Software Reuse
An approach to mining call-usage patternswith syntactic context
Aspectizing Server-Side Distribution
CoRA: Decomposing and Describing Tangled Code Changes for Reviewer
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018