yusuke1997/dblp-id-title huggingface dataset:
Communicating continuous integration servers for increasing effectiveness of automated testing
Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information
Modeling bug report quality
Refactoring C with Conditional Compilation
Synthetic data generation for statistical testing
Foundations for long-term collaborative research
Diagnosis of software failures using computational geometry
Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study
Arcade.PLC: a verification platform for programmable logic controllers
Automatically Fixing Breaking Changes of Data Science Libraries
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing
Concolic testing
On the Runtime and Energy Performance of WebAssembly: Is WebAssembly superior to JavaScript yet?
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Multi-user variability configuration: A game theoretic approach
Automatic Generation of IFTTT Mashup Infrastructures
Automated Approach for System-level Testing of Unmanned Aerial Systems
Decompositional Verification of Component-based Systems-A Hybrid Approach
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
Automatic Generation of Visualizations for Machine Learning Pipelines
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
Mining file histories: should we consider branches?
A Hybrid Editor for Fast Robot Mission Prototyping
Static Window Transition Graphs for Android (T)
Improving automatic source code summarization via deep reinforcement learning
Automatic microbenchmark generation to prevent dead code elimination and constant folding
Automated Negotiation - Preliminary Results of a Systematic Mapping Study
The Role of Analogy in Specification Derivation
TDroid: exposing app switching attacks in Android with control flow specialization
Refactoring verification using model transformation
Revisiting Textual Feature of Bug-Triage Approach
Using n-grams to rapidly characterise the evolution of software code
Structured merge with auto-tuning: balancing precision and performance
Exploiting Heap Symmetries in Explicit-State Model Checking of Software
B2SFinder: Detecting Open-Source Software Reuse in COTS Software
Augur: Dynamic Taint Analysis for Asynchronous JavaScript
Causality-Aided Trade-Off Analysis for Machine Learning Fairness
Software Connectors for Highly Distributed and Voluminous Data Intensive Systems
Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation
Towards Effective Static Type-Error Detection for Python
Extending design environments to software architecture design
Scalable automatic test data generation from modeling diagrams
LEAP: Efficient and Automated Test Method for NLP Software
A framework and tool supports for testing modularity of software design
An Empirical Study on Groupware Support for Software Inspection Meetings
Assumption Generation for Software Component Verification
Automatic recovery of statecharts from procedural code
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
Identifying Mutation Subsumption Relations
A Human-Centric Cyber Security Training Tool for Prioritizing MSNAs
SMT Solver Validation Empowered by Large Pre-Trained Language Models
From Early Requirements to User Interface Prototyping: A Methodological Approach
The KBSA Requirements/Specifications Facet: ARIES
CodeCrawler - Polymetric Views in Action
An automated approach to monitoring and diagnosing requirements
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
The Plastic Surgery Hypothesis in the Era of Large Language Models
AgoneTest: Automated creation and assessment of Unit tests leveraging Large Language Models
Diagrams for software synthesis
GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models
A First Look at Self-Admitted Miscommunications in GitHub Issues
Synergizing Specification Miners through Model Fissions and Fusions (T)
MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains
Property-based Test for Part-of-Speech Tagging Tool
Identification and Mitigation of Toxic Communications Among Open Source Software Developers
Motivating Adoption of KBSA: Issues, Arguments, and Strategies
Towards Exploring the Limitations of Active Learning: An Empirical Study
Predicting software complexity by means of evolutionary testing
An Analysis-Revision Cycle to Evolve Requirements Specifications
Nekara: Generalized Concurrency Testing
Compositional Security Analysis of Dynamic Component-based Systems
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
PIEtrace: Platform independent executable trace
BLITZ: Compositional bounded model checking for real-world programs
Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation
Managing Models through Macromodeling
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
Fuzzing Methods Recommendation Based on Feature Vectors
An automated approach for finding variable-constant pairing bugs
Do software engineers benefit from source code navigation with traceability? - An experiment in software change management
Automating Just-In-Time Comment Updating
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
Predicting common web application vulnerabilities from input validation and sanitization code patterns
Automated Dynamic Reconfiguration using AI Planning
Improving missing issue-commit link recovery using positive and unlabeled data
Automatic Inference of Frame Axioms Using Static Analysis
UNA Based Iterative Test Data Generation and Its Evaluation
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan
Multi-objective Optimization-based Bug-fixing Template Mining for Automated Program Repair
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis
LISSA: Lazy Initialization with Specialized Solver Aid
A rigorous approach for proving model refactorings
Safe asynchronous multicore memory operations
Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression
Increasing the Responsiveness of Web Applications by Introducing Lazy Loading
A comparative analysis of software architecture recovery techniques
Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration
Mapping textual feedback to process model elements
DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities
Automatic recommendation of API methods from feature requests
Mining for Mutation Operators for Reduction of Information Flow Control Violations
Automated planning for feature model configuration based on stakeholders' business concerns
Checking roundoff errors using counterexample-guided narrowing
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes
Algorithms for efficient symbolic detection of faults in context-aware applications
CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space
Namesake: A Checker of Lexical Similarity in Identifier Names
Computational Framework for Supporting Software Inspections
SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering
Proceedings of the 2nd International Workshop on Refactoring, IWoR@ASE 2018, Montpellier, France, September 4, 2018
Detect Hidden Dependency to Untangle Commits
A knowledge base for software test refinement
Synthesizing Smart Solving Strategy for Symbolic Execution
Systematic Incremental Validation of Rule-Based Reactive Systems
A Formal Automated Approach for Reverse Engineering Programs with Pointers
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair
Understanding Performance Concerns in the API Documentation of Data Science Libraries
Improving the effectiveness of spectra-based fault localization using specifications
Automatic inference of abstract type behavior
A Petri Net Based Debugging Environment for QVT Relations
Toward consistency checking of natural language temporal requirements
Automated translation among EPSILON languages for performance-driven UML software model refactoring
Critical Success Factors for Knowledge-Based Software Engineering Applications
CoqPilot, a plugin for LLM-based generation of proofs
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers
The impact of continuous integration on other software development practices: a large-scale empirical study
The ARIES Simulation Component (ASC)
HUSACCT: architecture compliance checking with rich sets of module and rule types
Goal-Based Testing of Semantic Web Services
Saying 'hi!' is not enough: mining inputs for effective test generation
Migration from Procedural Programming to Aspect Oriented Paradigm
BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction
Integrating and Scheduling an Open Set of Static Analyses
Performance Testing for Cloud Computing with Dependent Data Bootstrapping
Do Android App Developers Accurately Report Collection of Privacy-Related Data?
Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions
Software model checking for distributed systems with selector-based, non-blocking communication
Genetic Optimisation of C++ Applications
Automated Web Performance Analysis
Semantic-aware Source Code Modeling
Characterizing and identifying misexposed activities in Android applications
Vulnerability discovery strategies used in software projects
SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing
Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2024, Sacramento, CA, USA, 27 October 2024 - 1 November 2024
Too much automation? the bellwether effect and its implications for transfer learning
Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy
Automated Software Engineering Using Concurrent Class Machines
ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps
Automated Software Entity Matching Between Successive Versions
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction
Assisting potentially-repetitive small-scale changes via semi-automated heuristic search
Graph based Incident Extraction and Diagnosis in Large-Scale Online Systems
Identifying refactoring sequences for improving software maintainability
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences
UMLAUT: An Extendible UML Transformation Framework
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification
Exploring the Architectural Impact of Possible Dependencies in Python Software
The eureka tool for software model checking
ConfTainter: Static Taint Analysis For Configuration Options
Towards Extracting Ethical Concerns-related Software Requirements from App Reviews
Generating simpler AST edit scripts by considering copy-and-paste
Generating Variable Explanations via Zero-shot Prompt Learning
1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997
Towards Using Data-Influence Methods to Detect Noisy Samples in Source Code Corpora
Identifying Refactorings from Source-Code Changes
Towards Leveraging LLMs for Reducing Open Source Onboarding Information Overload
Towards contextual and on-demand code clone management by continuous monitoring
Factoring requirement dependencies in software requirement selection using graphs and integer programming
Automating Relative Debugging
A fault injection platform for learning AIOps models
MELT: Mining Effective Lightweight Transformations from Pull Requests
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, MASES@ASE 2018, Montpellier, France, September 3, 2018
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
Timesheet assistant: mining and reporting developer effort
Code migration with statistical machine translation
Visualizing clone detection results
Learning to Locate and Describe Vulnerabilities
Goal-conflict detection based on temporal satisfiability checking
How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications
Compiler Testing using Template Java Programs
Concolic testing for deep neural networks
Achieving test automation with testers without coding skills: an industrial report
Tackling Build Failures in Continuous Integration
Unifying Analysis Tools with Rosetta
Leveraging existing tests in automated test generation for web applications
Iterative mining of resource-releasing specifications
Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
RepMine: A System for Transferrable Analyses of Collaboration Activities in Software Engineering
A new web browser including a transferable function to Ajax codes
On the Evaluation of Large Language Models in Unit Test Generation
Combining and Adapting Software Quality Predictive Models by Genetic Algorithms
Architectural Element Matching Using Concept Analysis
A Group Critic System for Object-Oriented Analysis and Design
AOWP: Web-Specific AOP Framework for PHP
Code Understanding Linter to Detect Variable Misuse
Distributed Cooperative Formal Methods Tools
Self-healing strategies for component integration faults
Enabling Continuous Improvement of a Continuous Integration Process
Traceability in viewpoint merging: a model management perspective
Task Oriented Software Understanding
Collaborative Tools for Mobile Requirements Acquisition
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)
Automated Refactoring to Reactive Programming
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017
Accelerated test execution using GPUs
Model/code co-refactoring: An MDE approach
A proposal for revisiting coverage testing metrics
Explainable AI for Software Engineering
Active Assistance for Domain Modeling
Automated Configuration of Distributed Applications from Reusable Software Architectures
Efficient temporal-logic query checking for presburger systems
Comprehensive failure characterization
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
Scaling exact multi-objective combinatorial optimization by parallelization
The Rearranger - A New Assembler Utility
A neural framework for retrieval and summarization of source code
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
Enhanced Compiler Bug Isolation via Memoized Search
Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures
The Feature Signatures of Evolving Programs
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component
Prufrock: a framework for constructing polytypic theorem provers
Readability and Understandability of Snippets Recommended by General-purpose Web Search Engines: A Comparative Study
Predicting Compilation Resources for Adaptive Build in an Industrial Setting
Specification and automated processing of security requirements (SAPS'05)
SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices
Using dependency model to support software architecture evolution
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects
Verifying C++ with STL containers via predicate abstraction
Deriving behavior of multi-user processes from interactive requirements validation
FixKit: A Program Repair Collection for Python
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems
Improving uml profile design practices by leveraging conceptual domain models
Pex4Fun: A web-based environment for educational gaming via automated test generation
Enhancing Annotation Visibility for Software Inspection
SpyREST in Action: An Automated RESTful API Documentation Tool
Automated Analysis of Timing Information in UML Diagrams
The challenges of verification and validation of automated planning systems (keynote)
Metamorphic Testing on Multi-module UAV Systems
Heuristics for Scalable Dynamic Test Generation
Recommendation system for software refactoring using innovization and interactive dynamic optimization
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices
Solving string constraints lazily
An Automated Passive Testing Approach for the IMS PoC Service
A Formal Treatment of Performance Bugs
Synthesis of Infinite-State Systems with Random Behavior
Automatic verification of design patterns in Java
Generating Test Data for Branch Coverage
Evaluating Usability as a Key Human Factor in Agile SPM Tools Through Expert-Based Techniques
Multi-objective optimization in rule-based design space exploration
A knowledge based framework for developing and customizing schedulers
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT
A tool for automatic UML model consistency checking
Behavioral resource-aware model inference
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Test suite selection based on traceability annotations
DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators
Software Supply Chain Risk: Characterization, Measurement & Attenuation
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
Deep learning based feature envy detection
A Two-Step Approach for Modelling Flexibility in Software Processes
A tale of two cities: how WebView induces bugs to Android applications
Energy efficiency in robotics software: a systematic literature review
cegar-pt: A Tool for Abstraction by Program Transformation
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms
JTDog: a Gradle Plugin for Dynamic Test Smell Detection
On feature traceability in object oriented programs
An Automated Formal Approach to Managing Dynamic Reconfiguration
Neural SZZ Algorithm
ReAssert: Suggesting Repairs for Broken Unit Tests
DRAT: An Unobtrusive, Scalable Approach to Large Scale Software License Analysis
Software analytics for incident management of online services: An experience report
Cluster-Based I/O-Efficient LTL Model Checking
Coverage Metrics to Measure Adequacy of Black-Box Test Suites
Composition of Qualitative Adaptation Policies
RuMoR: monitoring and recovery for BPEL applications
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Automating Developer Chat Mining
The PLUSS toolkit - extending telelogic DOORS and IBM-rational rose to support product line use case modeling
What makes killing a mutant hard
AUSERA: Automated Security Vulnerability Detection for Android Apps
Defect Prediction Guided Search-Based Software Testing
Random unit-test generation with MUT-aware sequence recommendation
AutoDebloater: Automated Android App Debloating
Separating Concerns in Direct Manipulation User Interfaces
Software engineering without borders
VUML : a Viewpoint oriented UML Extension
LARGE Software System Maintenance
End-to-End Rationale Reconstruction
Interactive Cross-language Code Retrieval with Auto-Encoders
Specifying and detecting meaningful changes in programs
Neural-machine-translation-based commit message generation: how far are we?
Automated web application testing using search based software engineering
RPCover: Recovering gRPC Dependency in Multilingual Projects
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
Towards Discovery, Specification, and Verification of Component Usage
Syntactic Resilience in Greybox Fuzzing: Automated Error Recovery
Binary Code Similarity Detection
Automated documentation inference to explain failed tests
Reverse Engineering of Design Patterns from Java Source Code
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
Preference-Guided Refactored Tuning for Retrieval Augmented Code Generation
Parameterized Interfaces for Open System Verification of Product Lines
A framework for managing uncertainty in self-adaptive software systems
Demystifying Diehard Android Apps
An Empirical Study of Long Method and God Method in Industrial Projects
Accelerating browsing by automatically inferring a user's search goal
BeAFix: An Automated Repair Tool for Faulty Alloy Models
Automatic verification of interactions in asynchronous systems with unbounded buffers
Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
An Empirical Study on Code Smells Co-occurrences in Android Applications
Enhancing Lexical Representation of Test Coverage for Failure Clustering
Isomorphism in model tools and editors
Statistical analysis of large sets of models
Study and Refactoring of Android Asynchronous Programming (T)
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs
Simultaneous Checking of Completeness and Ground Confluence
Design-Space Exploration for Decision-Support Software
Service Substitution Revisited
PRECIS: Inferring invariants using program path guided clustering
Enhanced Automation for Managing Model and Metamodel Inconsistency
AutoDW: Automatic Data Wrangling Leveraging Large Language Models
Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding
An Approach to Automatic Code Generation for Safety-Critical Systems
Improvement of applications' stability through robust APIs
Program Synthesis with Algorithm Pseudocode Guidance
Variability-aware change impact analysis of multi-language product lines
Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing
Learning to Synthesize Relational Invariants
SentiCR: a customized sentiment analysis tool for code review interactions
Automatic Test Data Generation for Programs with Integer and Float Variables
Systematic Bridging the Gap between Requirements and OO Design
Certifying Domain-Specific Policies
Efficient data race prediction with incremental reasoning on time-stamped lock history
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions
Security-driven model-based dynamic adaptation
Notes on Refinement, Interpolation and Uniformity
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
2nd Workshop on the state of the art in automated software engineering
CodeGenie: using test-cases to search and reuse source code
Generalizing evolutionary coupling with stochastic dependencies
Type-Checking Software Product Lines - A Formal Approach
Detecting system use cases and validations from documents
ZC 3 : Zero-Shot Cross-Language Code Clone Detection
How Program History Can Improve Code Completion
A Generalized Approach for Solving Web Form Constraints
JFlow: Practical refactorings for flow-based parallelism
Set differentiation: a method for the automatic generation of filtering algorithms