yusuke1997/dblp-id-title huggingface dataset:
Can AI Close the Design-Code Abstraction Gap?
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
Modeling Behavior in Compositions of Software Architectural Primitives
Reflections on, and Predictions for, Support Systems for the Development of Programs
Finding errors in components that exchange xml data
Detecting bad smells in source code using change history information
Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering
GPTZoo: A Large-scale Dataset of GPTs for the Research Community
Environment rematching: Toward dependability improvement for self-adaptive applications
Mastering combinatorial explosion with the tobias-2 test generator
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis
Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair
Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating
Entropy-based test generation for improved fault localization
A First Step Towards Detecting Human Values-violating Defects in Android APIs
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)
LEGION: Best-First Concolic Testing
Noise and heterogeneity in historical build data: an empirical study of Travis CI
A metamodel for the specification and verification of model refactoring actions
Leveraging Practitioners' Feedback to Improve a Security Linter
Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?
Evaluating the Effectiveness of Neuroevolution for Automated GUI-Based Software Testing
A Compositional Deadlock Detector for Android Java
Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems
Model-Based Tests of Truisms
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
Towards LLM-augmented multiagent systems for agile software engineering
On-the-fly Improving Performance of Deep Code Models via Input Denoising
Privacy preserving via interval covering based subclass division and manifold learning based bi-directional obfuscation for effort estimation
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods
FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt
Automatic Test Generation for LUSTRE/SCADE Programs
REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes
Increasing Test Granularity by Aggregating Unit Tests
Issues for the Automatic Generation of Safety Critical Software
VulZoo: A Comprehensive Vulnerability Intelligence Dataset
Kotless: A Serverless Framework for Kotlin
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Self-protection of Android systems from inter-component communication attacks
Scalability and Precision Improvement of Neural Program Synthesis
PLASMA: a plan-based layered architecture for software model-driven adaptation
PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code
FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing
DSInfoSearch: Supporting Experimentation Process of Data Scientists
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing
23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L'Aquila, Italy
35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020
Logical Frameworks as a Basis for Verification Tools: A Case Study
Detection of Java Basic Thread Misuses Based on Static Event Analysis
Concordance, conformance, versions, and traceability
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
Mining timed regular expressions from system traces
From Z to BON/Eiffel
Message from the Chairs: ASE 2023
Combining the Box Structure Development Method and CSP
Text mining in supporting software systems risk assurance
CIVL: Formal Verification of Parallel Programs
A reusable traceability framework using patterns
A Transformational Viewpoint on Design Patterns
CoFI: Consistency-Guided Fault Injection for Cloud Systems
The potential of polyhedral optimization: An empirical study
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
Automated Information Aggregation for Scaling Scale-Resistant Services
Boosting component-based synthesis with API usage knowledge
Sound static deadlock analysis for C/Pthreads
Classification and Retrieval of Reusable Components Using Semantic Features
Model repair and transformation with Echo
Test generation to expose changes in evolving programs
Detecting and characterizing semantic inconsistencies in ported code
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)
Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994
SemantiLog: Log-based Anomaly Detection with Semantic Similarity
Parallel Breadth-First Search LTL Model-Checking
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
Recovering model transformation traces using multi-objective optimization
Efficient Detection of Toxic Prompts in Large Language Models
Semantic Slicing of Software Version Histories (T)
Dancing, not Wrestling: Moving from Compliance to Concordance for Secure Software Development
Unveiling the Characteristics and Impact of Security Patch Evolution
Adding Examples into Java Documents
An Architecture for Generating Web-Based, Thin-Client Diagramming Tools
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback
Automatically testing implementations of numerical abstract domains
Learning DNN Abstractions using Gradient Descent
A scalable approach for malware detection through bounded feature space behavior modeling
Validating system properties exhibited in execution traces
Contrastive Learning for API Aspect Analysis
Model-driven Monitoring: Generating Assertions from Visual Contracts
Automatically documenting program changes
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
Inconsistency Detection in Distributed Model Driven Software Engineering Environments
Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications
Using information retrieval to support design of incremental change of software
From Formal Specifications to Natural Language: A Case Study
Automatically Restructuring Programs for the We
An Image-Inspired and CNN-Based Android Malware Detection Approach
Keyword programming in java
Modeling Software Processes by using Process and Object Ontologies
Automated Third-Party Library Detection for Android Applications: Are We There Yet?
A Framework for Distributed System Designs
A Programmable Client-Server Model: Robust Extensibility via DSLs
Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial Software System
Sketch-guided GUI test generation for mobile applications
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
HybriDroid: static analysis framework for Android hybrid applications
The power of probabilistic thinking
Datalog-based scalable semantic diffing of concurrent programs
Verifying simulink stateflow model: timed automata approach
MaskDroid: Robust Android Malware Detection with Masked Graph Representations
Semi-automated Cross-Component Issue Management and Impact Analysis
Code-Based Vulnerability Detection in Node.js Applications: How far are we?
Automatic Method Completion
Template-guided concolic testing via online learning
Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Learn&Fuzz: machine learning for input fuzzing
Probabilistic Quality Models to Improve Communication and Actionability
Towards an Epistemology for Software Representations
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T)
Do Regional Variations Affect the CAPTCHA User Experience? A Comparison of CAPTCHAs in China and the United States
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation
Quito: a Coverage-Guided Test Generator for Quantum Programs
Towards Gradual Multiparty Session Typing
Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013
An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs
Automated Generation of Client-Specific Backends Utilizing Existing Microservices and Architectural Knowledge
Classifying Software Components Using Design Characteristics
Mining implicit design templates for actionable code reuse
Toward automated software development
Recommending Code Understandability Improvements Based on Code Reviews
Toward Individual Fairness Testing with Data Validity
Test Case Prioritization Based on Neural Network Classification with Artifacts Traceability
Generative Design Patterns
Stateful testing: Finding more errors in code and contracts
CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples
Symbolic execution of stored procedures in database management systems
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)
GrayDuck: The Sword of Damocles for Duck Typing in Dynamic Language Deserialization
A sentence-matching method for automatic license identification of source code files
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
New Strategies to Resolve Inconsistencies between Models of Decoupled Tools
A value-based approach for understanding cost-benefit trade-offs during automated software traceability
Planware - Domain-Specific Synthesis of High-Performance Schedulers
System Testing for Object-Oriented Frameworks Using Hook Technology
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis
Automating regression verification
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions
Testing autonomous cars for feature interaction failures using many-objective search
Detecting Temporal Inconsistency in Biased Datasets for Android Malware Detection
A Configurable Automatic Instrumentation Tool for ANSI C
A similarity-aware approach to testing based fault localization
Using communicative acts in high-level specifications of user interfaces for their automated synthesis
Assigning time budgets to component functions in the design of time-critical automotive systems
DSL-maps: from requirements to design of domain-specific languages
From Testing to Diagnosis: An Automated Approach
Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion
Assertion-based repair of complex data structures
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
APIBot: question answering bot for API documentation
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation
iMashup: assisting end-user programming for the service-oriented web
Semantic crash bucketing
Incorporating social software into distributed agile development environments
Workspace updates of visual models
AutoConfig: automatic configuration tuning for distributed message systems
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N)
Call Graph Evolution Analytics over a Version Series of an Evolving Software System
Towards Augmenting Requirements Models with Preferences
Architectural refactoring as a strategic tool in the evolution of a web-based SaaS product
CoCoTest: a tool for model-in-the-loop testing of continuous controllers
mHealth4U: designing for health and wellbeing self-management
Local vs. global models for effort estimation and defect prediction
LSS: A Tool for Large Scale Scenarios
Compatibility testing using patterns-based trace comparison
Test-Suite Augmentation for Evolving Software
Evolving Object-Oriented Designs with Refactorings
CodeFu: coding competition as a tool for industry university collaboration
A Tool for Attributed Goal-Oriented Requirements Analysis
Automatic early defects detection in use case documents
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics
A threat-driven approach to modeling and verifying secure software
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)
SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces
InfeRE: Step-by-Step Regex Generation via Chain of Inference
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics
Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems
Automated Fixing of Web UI Tests via Iterative Element Matching
Specification-based Testing of Ada Units with Low Encapsulation
Towards Generating Thread-Safe Classes Automatically
Verified from Scratch: Program Analysis for Learners' Programs
Is Software Engineering Research Addressing Software Engineering Problems? (Keynote)
Issues of automated software composition in AI planning
Generating Tests to Analyse Dynamically-Typed Programs
Precomputing possible configuration error diagnoses
Seeking the user interface
Tracking down root causes of defects in simulink models
Applying Concept Formation Methods to Object Identification in Procedural Code
Move-optimized source code tree differencing
Toward a Smell-aware Prediction Model for CI Build Failures
Automated verification of pattern-based interaction invariants in Ajax applications
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code
A Unified Specification Mining Framework for Smart Contracts
Smart: a tool for application reference testing
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
Determining the cost-quality trade-off for automated software traceability
Towards Certifying Domain-Specific Properties of Synthesized Code
Optimized run-time race detection and atomicity checking using partial discovered types
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites
PARTI: a multi-interval theory solver for symbolic execution
Towards a Theory for Integration of Mathematical Verification and Empirical Testing
Automated synthesis and deployment of cloud applications
A DSL for requirements in the context of a seamless approach
Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology
Enhancing the Efficiency of Automated Program Repair via Greybox Analysis
Detecting TensorFlow Program Bugs in Real-World Industrial Environment
Synthesizing client load models for performance engineering via web crawling
Detecting and summarizing GUI changes in evolving mobile apps
JISET: JavaScript IR-based Semantics Extraction Toolchain
A Java Component Model for Evolving Software Systems
Test suite parallelization in open-source projects: a study on its usage and impact
Automating Bias Testing of LLMs
Improving spectrum-based fault localization using proximity-based weighting of test cases
V-Achilles: An Interactive Visualization of Transitive Security Vulnerabilities
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
Boosting Neural Commit Message Generation with Code Semantic Analysis
Local-based active classification of test report to assist crowdsourced testing
Context-aware statistical debugging: from bug predictors to faulty control flow paths
Accelerating OCR-Based Widget Localization for Test Automation of GUI Applications
Semantics-assisted code review: an efficient toolchain and a user study
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators
Planning Equational Verification in CCS
PhyFu: Fuzzing Modern Physics Simulation Engines
Security Specification and Verification
Statically Checkable Design Level Traits
Track assignment in an air traffic control system: a rational reconstruction of system design
How did you specify your test suite
Dompletion: DOM-aware JavaScript code completion
A Tool for Lazy Verification of Security Protocols
History slicing
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Software Library Usage Pattern Extraction Using a Software Model Checker
TzuYu: Learning stateful typestates
Humans in the traceability loop: can't live with 'em, can't live without 'em
ScriptEase: Generative Design Patterns for Computer Role-Playing Games
Log Anomaly to Resolution: AI Based Proactive Incident Remediation
Let's agree to disagree
Designing and implementing a family of intrusion detection systems
Slicer4D: A Slicing-based Debugger for Java
Project Achilles: A Prototype Tool for Static Method-Level Vulnerability Detection of Java Source Code Using a Recurrent Neural Network
Tool support for code generation from a UMLsec property
Cloud Twin: Native execution of android applications on the Windows Phone
A two-step technique for extract class refactoring
A deep learning approach to program similarity
Patching Weak Convolutional Neural Network Models through Modularization and Composition
Recommending relevant classes for bug reports using multi-objective search
XRay Views: Understanding the Internals of Classes
AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization
Learning effective query transformations for enhanced requirements trace retrieval
Correct-Schema-Guided Synthesis of Steadfast Programs
A component-based development framework for supporting functional and non-functional analysis in control system design
Refactoring for software architecture smells
Utilizing Firm-Hosted Online Communities: Research challenges and needs
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
Model Checking Embedded Control Software using OS-in-the-Loop CEGAR
Automated program repair through the evolution of assembly code
Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases
Quantification of Software Changes through Probabilistic Symbolic Execution (N)
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm
Model-driven development of content management systems based on Joomla
Explaining Synthesized Software
So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
Model-based Verification of Web Service Compositions
A knowledge-based software development environment for scientific model-building
End-to-End AutoML for Unsupervised Log Anomaly Detection
MPAnalyzer: a tool for finding unintended inconsistencies in program source code
Towards Demystifying Android Adware: Dataset and Payload Location
A Study of Oracle Approximations in Testing Deep Learning Libraries
Adapting Applications on the Fly
Training Automated Test Oracles to Identify Semantic Bugs
TransRepair: Context-aware Program Repair for Compilation Errors
Run-time systems failure prediction via proactive monitoring
T-UPPAAL: Online Model-based Testing of Real-Time Systems
Model-based whitebox fuzzing for program binaries
TestEra: A tool for testing Java programs using alloy specifications
Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T)
Evolution and Reuse of Formal Specification Using Decision Structures
OSLDetector: Identifying Open-Source Libraries through Binary Analysis
Using Graph Rewriting to Specify Software Architectural Transformations
Assessing the maturity of requirements through argumentation: A good enough approach
Formalizing hardware/software interface specifications
PACGBI: A Pipeline for Automated Code Generation from Backlog Items
Challenges & Opportunities in Automating DBMS: A Qualitative Study
Iterative model-driven development of adaptable service-based applications
A Machine Learning Based Approach to Identify SQL Injection Vulnerabilities
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
PlayGo: towards a comprehensive tool for scenario based programming
Defaultification refactoring: a tool for automatically converting Java methods to default
JPF-AWT: Model checking GUI applications
The Consistency of Web Conversations
An Automated Assessment of Android Clipboards
A unified fitness function calculation rule for flag conditions to improve evolutionary testing
Zoltar: A Toolset for Automatic Fault Localization
17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK
Dangling references in multi-configuration and dynamic PHP-based Web applications
Model-based self-monitoring embedded programs with temporal logic specifications
Dynamically transforming data structures
An experiment in applying knowledge-based software engineering technology
Using transitive changesets to support feature location
Continuous Incident Triage for Large-Scale Online Service Systems
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
Automatically Mining Negative Code Examples from Software Developer Q & A Forums
Contradiction Finding and Minimal Recovery for UML Class Diagrams
Owl Eyes: Spotting UI Display Issues via Visual Understanding
Using model checking to analyze static properties of declarative models
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996
Test input generation for red-black trees using abstraction
ContractFuzzer: fuzzing smart contracts for vulnerability detection
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Automatic Components Separation of Obfuscated Android Applications: An Empirical Study of Design Based Features
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices
MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers
Transferring an automated test generation tool to practice: from pex to fakes and code digger
REPFINDER: Finding Replacements for Missing APIs in Library Update
Mock-object generation with behavior
Towards Automating Class-Splitting Using Betweenness Clustering
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
Simulating the Gries/Dijkstra design process
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting
Wikipedia and how to use it for semantic document representation
API method recommendation without worrying about the task-API knowledge gap