yusuke1997/dblp-id-title huggingface dataset:
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Software Entity Recognition with Noise-Robust Learning
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts
Context-Aware Automated Sprint Plan Generation for Agile Software Development
When It Breaks, It Breaks: How Ecosystem Developers Reason about the Stability of Dependencies
Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
Specification and Animation of a Bank Transfer
Source Code and Binary Level Vulnerability Detection and Hot Patching
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines
Textual and behavioral views of function changes
Learning-based testing for autonomous systems using spatial and temporal requirements
Automating CUDA Synchronization via Program Transformation
Traceability maintenance: factors and guidelines
GRIT-an extended REFINE for more executable specifications
Modeling the Application Domains of Software Engineering Technologies
Automated replay and failure detection for web applications
Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs
Detection of feature interactions using feature-aware verification
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models
38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023
Inferring Finite-State Models with Temporal Constraints
CSeq: A concurrency pre-processor for sequential C verification tools
A Modelling Language for Interactive Web Applications
Interrogative-guided re-ranking for question-oriented software text retrieval
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Compositional reasoning for port-based distributed systems
Guided test visualization: Making sense of errors in concurrent programs
Academia-industry collaboration: ways to a strong and beneficial partnership
An Incremental Approach to Task-Specific Information Delivery in SE Processe
Fine-Grain Memory Object Representation in Symbolic Execution
Analyzing temporal properties of abstract models
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Validating Automotive Control Software Using Instrumentation-Based Verification
Fine-grained and accurate source code differencing
Tool support for automatic model transformation specification using concrete visualisations
Using a Structure-based Configuration Tool for Product Derivation
Code patterns for automatically validating requirements-to-code traces
Finding access control bugs in web applications with CanCheck
How students choose names: A replication study
DC2: A framework for scalable, scope-bounded software verification
Knowledge-Based Software Assistant - Advanced Development Model Demonstrations
When and how to visualize traceability links?
Process support to help novices design software faster and better
Caprice: a tool for engineering adaptive privacy
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
Automating Requirements Traceability: Beyond the Record & Replay Paradigm
RoboSimVer: A Tool for RoboSim Modeling and Analysis
Controlled Natural Language Can Replace First-Order Logic
When to use data from other projects for effort estimation
Control flow-guided SMT solving for program verification
Precise semantic history slicing through dynamic delta refinement
Efficient Incremental Code Coverage Analysis for Regression Test Suites
Tool Support for Parametric Analysis of Large Software Simulation Systems
Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps
A common architecture to encourage reuse of natural language/text processing tools
Classification of UML Diagrams to Support Software Engineering Education
Inferring annotations for device drivers from verification histories
Expert Reviewer Panel
An Empirical Study of the Evolution of a Software System
Case Study in JML-Based Software Validation
M3: Semantic API Migrations
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation
The 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, co-located with the ASE 2005 Conference, TEFSE@ASE 2005, Long Beach, CA, USA, November 88, 2005
CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs
An Open Source-Based Approach to Software Development Infrastructures
Ranger: Parallel analysis of alloy models by range partitioning
Automatically assessing code understandability: how far are we?
Supporting domain-specific state space reductions through local partial-order reduction
Formally Testing Fail-Safety of Electronic Purse Protocols
Behavioral adaptation of component compositions based on process algebra encodings
Architectural style as an independent variable
API recommendation system for software development
Code Completion from Abbreviated Input
Combining Program Analysis and Statistical Language Model for Code Statement Completion
BProVe: tool support for business process verification
Automatic code stylizing
ExPort: Detecting and visualizing API usages in large source code repositories
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems
Break the dead end of dynamic slicing: localizing data and control omission bug
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing
AMPHION: Automatic Programming for Subroutine Libraries
Simon: modeling and analysis of design space structures
Genetic Algorithms for Dynamic Test Data Generation
Complex Objects in Knowledge-Based Requirements Engineering
Machine Learning Based Recommendation of Method Names: How Far are We
A Holistic Approach to Mobile Service Provisioning
GPP: A Graph-Powered Prioritizer for Code Review Requests
Applying combinatorial test data generation to big data applications
System for Automated Validation of Embedded Software in Multiple Operating Configurations
Systematic reduction of GUI test sequences
Automated variability analysis and testing of an E-commerce site.: an experience report
Automatic Generation of Pull Request Descriptions
Bridging Gaps in LLM Code Translation: Reducing Errors with Call Graphs and Bridged Debuggers
Replay without recording of production bugs for service oriented applications
On the Naturalness of Bytecode Instructions
Checking threat modeling data flow diagrams for implementation conformance and security
Empirical Study of Python Call Graph
Virtual humans: lessons learned in integrating a large-scale AI project
Extending Diagnosis to Debug Programs with Exceptions
An evolutionary approach for analyzing Alloy specifications
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications
CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E)
Model-Driven Allocation Engineering (T)
Crowd intelligence enhances automated mobile testing
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
Precise Data-Driven Approximation for Program Analysis via Fuzzing
Action research as a model for industry-academia collaboration in the software engineering context
Towards Programming and Verification for Activity-Oriented Smart Home Systems
Meta tools for implementing domain specific visual languages
Mapping Template Semantics to SMV
SPQR: Flexible Automated Design Pattern Extraction From Source Code
Blowtorch: a framework for firewall test automation
A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug Triaging
Automating App Review Response Generation
Automated Feedback Generation for Competition-Level Code
An informed consent model for managing the privacy paradox in smart buildings
Composing Reusable Software Components Through Views
Operations for evolving specifications
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps
PHANTA: Diversified Test Code Quality Measurement for Modern Software Development
Combined static and dynamic mutability analysis
Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T)
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web
Fuzzle: Making a Puzzle for Fuzzers
Code security analysis with assertions
An Empirical Study on Current Practices and Challenges of Core AR/VR Developers
Symbolic execution of complex program driven by machine learning based constraint solving
A methodology for automated test generation guided by functional coverage constraints at specification level
Enforcing Business Policies Through Automated Reconfiguration
Dynamic cohesion measurement for distributed system
The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000
Search-based fault localization
Investigating Program Behavior Using the Texada LTL Specifications Miner
Live versioning of web applications through refactoring
Automated Verification Tool for DHTML
Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T)
Static Test Case Prioritization Strategies for Grammar-Based Testing
Eliminating products to test in a software product line
REInDetector: a framework for knowledge-based requirements engineering
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
A Case Study on the Automatic Composition of Network Application Mashups
Fine-tuning spectrum based fault localisation with frequent method item sets
Automatically partition software into least privilege components using dynamic data dependency analysis
TiQi: a natural language interface for querying software project data
When Deep Learning Meets Smart Contracts
Variability-aware performance prediction: A statistical learning approach
Studying task allocation decisions of novice agile teams with data from agile project management tools
Test Purposes: Adapting the Notion of Specification to Testing
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
Explanation-based Scenario Generation for Reactive System Models
Heap cloning: Enabling dynamic symbolic execution of java programs
Business process adaptation using discrete event controller synthesis
Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006)
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL
End-to-End Automation of Feedback on Student Assembly Programs
How Android Apps Break the Data Minimization Principle: An Empirical Study
Effectively Analyzing Evolving Software with Differential Facts
NFRs-aware architectural evolution of component-based software
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs
Automatically Generating Test Templates from Test Names (N)
Loop path reduction by state pruning
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
Reconstructing requirements coverage views from design and test using traceability recovery via LSI
The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999
Introduction to Tool Demonstrations
Using model-based assurance to strengthen diagnostic procedures
Symbolic Verification of Fuzzy Logic Models
An automated approach to estimating code coverage measures via execution logs
Realizing architecture frameworks through megamodelling techniques
Model driven design of heterogeneous synchronous embedded systems
Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations
Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis
Estimating the number of remaining links in traceability recovery (journal-first abstract)
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach
DeepGauge: multi-granularity testing criteria for deep learning systems
Android testing via synthetic symbolic execution
Mining apps for anomalies
Formally Modeled Common Weakness Enumerations (CWEs)
Characterizing co-located insecure coding patterns in infrastructure as code scripts
Predicting Licenses for Changed Source Code
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Mutation-Based Fault Localization for Real-World Multilingual Programs (T)
A case for alloy annotations for efficient incremental analysis via domain specific solvers
Logical square-driven and state-oriented generation of behavioural models
SBFR: A search based approach for reproducing failures of programs with grammar based input
Groundhog: An Automated Accessibility Crawler for Mobile Apps
Towards a Precise Definition of the OMG/MDA Framework
BUILDFAST: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration
Testing Cross-Platform Mobile App Development Frameworks (T)
Collective intelligence for smarter neural program synthesis
Using unfoldings in automated testing of multithreaded programs
Challenges of Accurate and Efficient AutoML
Automatic Validation of Deployed J2EE Components Using Aspects
AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models
A generic approach to supporting diagram differencing and merging for collaborative design
Contextualized Data-Wrangling Code Generation in Computational Notebooks
A Conceptual Framework for the Comparison of Fully Automated GUI Testing Techniques
Automatic runtime recovery via error handler synthesis
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Program Analysis with Dynamic Precision Adjustment
Automatically detecting the quality of the query and its implications in IR-based concept location
Generating Product-Lines of Product-Families
Keynote talk: experiences from developing industrial software systems with long lifecycles
Development, Assessment, and Reengineering of Language Descriptions
Test Case Generation for Simulink Models using Model Fuzzing and State Solving
MetaMod: A Modeling Formalism with Modularity at Its Core
Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports
IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes
Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications
Observatory of trends in software related microblogs
AugIR: the conceptual design and evaluation of an augmented interaction room
Reflecting on Recurring Failures in IoT Development
Log-based Anomaly Detection Without Log Parsing
Improving software text retrieval using conceptual knowledge in source code
DoS Attacks, Human Factors, and Evidence Extraction for the Industrial Internet of Things (IIoT) Paradigm
Portability by Automatic Translation - A Large-Scale Case Study
Test Analysis: Searching for Faults in Tests (N)
Energy-Awareness in Distributed Java-Based Software Systems
Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty"
KaitoroBase: Visual Exploration of Software Architecture Documents
Data Leakage in Notebooks: Static Detection and Better Processes
Mining Software Dependency Networks for Agent-Based Simulation of Software Evolution
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
Information Retrieval-Based Fault Localization for Concurrent Programs
An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models
An Eye Tracking Perspective on How Developers Rate Source Code Readability Rules
An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software
iCoq: regression proof selection for large-scale verification projects
QDiff: Differential Testing of Quantum Software Stacks
Improving automated documentation to code traceability by combining retrieval techniques
Coverage-based Greybox Fuzzing with Pointer Monitoring for C Programs
SuperMod: tool support for collaborative filtered model-driven software product line engineering
More effective interpolations in software model checking
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
User Interface Design Assistance For Large-Scale Software Development
UMLDiff: an algorithm for object-oriented design differencing
Testing properties of dataflow program operators
Using LLM for Mining and Testing Constraints in API Testing
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992
A Case for Automated Debugging Using Data Structure Repair
ESAVE: Estimating Server and Virtual Machine Energy
Evaluating the Accuracy of Fault Localization Techniques
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving
Automatic Proofs of Properties of Simple C - Modules
Finding Performance Issues in Rust Projects
Sorry, I don't Understand: Improving Voice User Interface Testing
A Source Code Vulnerability Detection Method Based on Adaptive Graph Neural Networks
Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility
Experience Paper: Search-Based Testing in Automated Driving Control Applications
History-Guided Configuration Diversification for Compiler Test-Program Generation
A Systematic Evaluation of Large Code Models in API Suggestion: When, Which, and How
Synthesizing fault-tolerant programs from deontic logic specifications
Towards Transparency-Encouraging Partial Software Disclosure to Enable Trust in Data Usage
Towards the Automatic Assessment of Evolvability for Reusable Class Libraries
Supporting oracle construction via static analysis
Renaming Detection
ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links
Efficient Data Model Verification with Many-Sorted Logic (T)
Automatically Inferring Concern Code from Program Investigation Activities
Within-ecosystem issue linking: a large-scale study of rails
Open Source Software Tools for Data Management and Deep Model Training Automation
Interactive Component-Based Software Development with Espresso
AnswerBot: automated generation of answer summary to developersź technical questions
Speeding up GUI Testing by On-Device Test Generation
Detecting Inconsistencies in If-Condition-Raise Statements
A tool chain for generating the description files of highly available software
UI driven Android application reduction
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
Feature Model Slicing for Real-time Selection of Mission-critical Edge Applicaiton
Automated SQL query generation for systematic testing of database engines
Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis
Automating Component Adaptation for Reuse
Quality analysis of mobile applications with special focus on security aspects
Using Formal Concept Analysis to support change analysis
Simulating cyber security management: A gamified approach to executive decision making
Automated generation of testing tools for domain-specific languages
DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks
An Experiment in Scientific Program Understanding
Detecting Smart Home Automation Application Interferences with Domain Knowledge
State-Space Coverage Estimation
Automated model-based Android GUI testing using multi-level GUI comparison criteria
Context-Aware Code Certification
Analogical Matching for Specification Reuse
Automated Trainability Evaluation for Smart Software Functions
VikiBuilder: end-user specification and generation of visual wikis
Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
An XML based approach to support the evolution of model-to-model traceability links
Validating ajax applications using a delay-based mutation technique
Dependence Anti Patterns
Automatic Identification of Bug-Introducing Changes
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers
Rteq: modeling and validating infinite-state hard-real-time systems
Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments
Perceived language complexity in GitHub issue discussions and their effect on issue resolution
jStanley: placing a green thumb on Java collections
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost
Boosting complete-code tool for partial program
Statistical Analysis of Refactoring Bug Reports in Eclipse Bugzilla
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach
Emotion detection in Roman Urdu text using machine learning
VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device
Exact and approximate probabilistic symbolic execution for nondeterministic programs
Towards robust instruction-level trace alignment of binary code
py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package
Auto-locating and fix-propagating for HTML validation errors to PHP server-side code
Natural Test Generation for Precise Testing of Question Answering Software
Automatically Deriving Developers' Technical Expertise from the GitHub Social Network
On Automated Assistants for Software Development: The Role of LLMs
Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management
Automatically Tagging the "AAA" Pattern in Unit Test Cases Using Machine Learning Models
Android Malware Detection: Looking beyond Dalvik Bytecode
Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks
On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation
SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities
Action Language Verifier
Processing Natural Language Requirements
Studying Versioning in Stack Overflow
Too Much Accessibility is Harmful! Automated Detection and Analysis of Overly Accessible Elements in Mobile Apps
Model comparison with GenericDiff
Decision Support for Test Management in Iterative and Evolutionary Development
Automated requirements analysis for a molecular watchdog timer
Towards automatic model synchronization from model transformations
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
Answer Summarization for Technical Queries: Benchmark and New Approach
"I need to know I'm safe and protected and will check": Users Want Cues to Signal Data Custodians' Trustworthiness
Model-based GUI Testing For HarmonyOS Apps
Becoming responsive to service usage and performance changes by applying service feedback metrics to software maintenance
An empirical investigation into learning bug-fixing patches in the wild via neural machine translation
Rapid: Identifying Bug Signatures to Support Debugging Activities
Generating Qualifiable Avionics Software: An Experience Report (E)
Modularity Analysis of Logical Design Models
Accurate String Constraints Solution Counting with Weighted Automata
Symbolic Fixpoint Algorithms for Logical LTL Games
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
Generating realistic test models for model processing tools
A study on developer perception of transformation languages for refactoring