yusuke1997/dblp-id-title huggingface dataset:
SunCat: helping developers understand and predict performance problems in smartphone applications
Semantic fuzzing with zest
Defect classification and defect types revisited
A conservative algorithm for computing the flow of permissions in Java programs
Generating analyses for detecting faults in path segments
CoCoNuT: combining context-aware neural translation models using ensemble for program repair
Shaping Test Inputs in Grammar-Based Fuzzing
Testing Graph Database Engines via Query Partitioning
Automatically repairing broken workflows for evolving GUI applications
To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Polyglot: modeling and analysis for multiple Statechart formalisms
EShield: protect smart contracts against reverse engineering
TauMed: test augmentation of deep learning in medical diagnosis
Towards a better collaboration of static and dynamic analyses for testing concurrent programs
Reasoning about functional programming in Java and C++
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000
Code hunt as platform for gamification of cybersecurity training
TBar: revisiting template-based automated program repair
Badger: complexity analysis with fuzzing and symbolic execution
An empirical study of injected versus actual interface errors
Probabilistic symbolic execution
Persuasive prediction of concurrency access anomalies
Verisim: Formal analysis of network simulations
Crowdsourced requirements generation for automatic testing via knowledge graph
Calculation coverage testing in scientific applications
State-Space Analysis as an Aid to Testing (Abstract)
Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014
Constructing Abstract Models of Concurrent Real-Time Software
Improving the adaptability of multi-mode systems via program steering
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level
A large-scale empirical analysis of the vulnerabilities introduced by third-party components in IoT firmware
Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Following the "Thread": Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Calculating source line level energy information for Android applications
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Root causing flaky tests in a large-scale industrial setting
Metric-Driven Reengineering for Static Concurrency Analysis
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08)
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
FairRec: Fairness Testing for Deep Recommender Systems
The major mutation framework: efficient and scalable mutation analysis for Java
Interprocedural Path Complexity Analysis
Testing Gremlin-Based Graph Database Systems via Query Disassembling
A Practical Approach to Semantic Configuration Management
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs
A case study of automatically creating test suites from web application field data
Exploring the relationship of history characteristics and defect count: an empirical study
Failure clustering without coverage
State-based testing of integration aspects
A lightweight framework for function name reassignment based on large-scale stripped binaries
Cooperative debugging with five hundred million test cases
Client and server verification for web services using interface grammars
Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Bench4BL: reproducibility study on the performance of IR-based bug localization
Automatic generation of smoke test suites for kubernetes
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Towards a quality modelling language for component-based systems (QML/CS)
Some Observations on Partition Testing
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking
Precise pointer reasoning for dynamic test generation
Reinforcement learning based curiosity-driven testing of Android applications
Cross-lingual transfer learning for statistical type inference
Faults on Its Sleeve: Amplifying Software Reliability Testing
Selecting Tests and Identifying Test Coverage Requirements for Modified Software
Dynamic invariant detection for relational databases
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability
Testing aspect-oriented programming Pointcut Descriptors
Effective typestate verification in the presence of aliasing
Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
NodeRT: Detecting Races in Node.js Applications Practically
Optimizing monitoring of finite state properties through monitor compaction
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft
Learning input tokens for effective fuzzing
DOM-based test adequacy criteria for web applications
Comparing software metrics tools
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Your "Notice" Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
A format string checker for Java
Producing scheduling that causes concurrent programs to fail
Ukwikora: continuous inspection for keyword-driven testing
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Translating code comments to procedure specifications
Defective error/pointer interactions in the Linux kernel
How Strong is Weak Mutation?
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis
FDI: Attack Neural Code Generation Systems through User Feedback Channel
Test Template Framework: A Specification-Based Testing Case Study
Automatic Generation of Test Scripts from Formal Test Specifications
Optimal sanitization synthesis for web application vulnerability repair
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications
Enhancing reuse of constraint solutions to improve symbolic execution
A framework-based approach for automated testing of CNC firmware
Model-based test case generation using symbolic execution
Enhancing ROS System Fuzzing through Callback Tracing
Automated framework for formal operator task analysis
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Which pointer analysis should I use?
VBSAC: a value-based static analyzer for C
Putting static analysis to work for verification: A case study
Fairness Testing for Recommender Systems
Panda: A Concurrent Scheduler for Compiler-Based Tools
Automatic, load-independent detection of performance regressions by transaction profiles
The Google FindBugs fixit
AFID: an automated fault identification tool
Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper)
Performance regression testing of concurrent classes
UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Finding Short Slow Inputs Faster with Grammar-Based Search
Proofs from tests
Improving energy efficiency of work-stealing parallel languages (invited talk abstract)
DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Approaches to Specification-Based Testing
Can data transformation help in the detection of fault-prone modules?
DeepSQLi: deep semantic learning for testing SQL injection
Detecting Build Dependency Errors in Incremental Builds
Scalable analysis of conceptual data models
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts
Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Test input generation for java containers using state matching
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing
Gamma system: continuous evolution of software after deployment
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization
Feedback-controlled random test generation
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Abstracting path conditions
Object distance and its application to adaptive random testing of object-oriented programs
Large Language Model Supply Chain: Open Problems From the Security Perspective
Dynamic cost verification for cloud applications
Exploitation of Software Test Technology (Abstract)
A system for automated testing in development of measuring devices for industrial process instrumentation
Analyzing concurrency bugs using dual slicing
DeepAtash: Focused Test Generation for Deep Learning Systems
Dytan: a generic dynamic taint analysis framework
The probabilistic program dependence graph and its application to fault diagnosis
Repositioning of static analysis alarms
Adlib: analyzer for mobile ad platform libraries
WASAI: uncovering vulnerabilities in Wasm smart contracts
A large-scale study of application incompatibilities in Android
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Can we learn some PL theory?: how to make use of a corpus of subtype checks
Under-constrained execution: making automatic code destruction easy and scalable
Memory slicing
Empirically revisiting the test independence assumption
ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
The e-ACSL perspective on runtime assertion checking
Continuous software performance assessment: detecting performance problems of software libraries on every build
Semantic table structure identification in spreadsheets
Functional code clone detection with syntax and semantics fusion learning
Energy-aware test-suite minimization for Android apps
Rescaling reliability bounds for a new operational profile
A large-scale study of usability criteria addressed by static analysis tools
COSTOTest: a tool for building and running test harness for service-based component models (demo)
Strict control dependence and its effect on dynamic information flow analyses
SQLess: Dialect-Agnostic SQL Query Simplification
Deep just-in-time defect prediction: how far are we?
DocTer: documentation-guided fuzzing for testing deep learning API functions
Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses
Codebase-adaptive detection of security-relevant methods
Bounded verification of Ruby on Rails data models
Practical experience and evaluation of continuous code static analysis with C++Test
Virtual DOM coverage for effective testing of dynamic web applications
Finding bugs in Gremlin-based graph database systems via Randomized differential testing
An Integrated General Purpose Automated Test Environment
Effective race detection for event-driven programs (invited talk abstract)
Test-case prioritization for configuration testing
Automated Testing of Networked Systems Reliability
Log-based slicing for system-level test cases
Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
ProFL: a fault localization framework for Prolog
Splendor: Static Detection of Stored XSS in Modern Web Applications
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework
ESBMC-Python: A Bounded Model Checker for Python Programs
Structured IV&V for the Space Shuttle Flight Software
Towards an architectural approach for the dynamic and automatic composition of software components
Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
Go-clone: graph-embedding based clone detector for Golang
Exception analysis and points-to analysis: better together
Faster mutation analysis with MeMu
Does automated white-box test generation really help software testers?
Detecting memory errors at runtime with source-level instrumentation
Mutode: generic JavaScript and Node.js mutation testing tool
Fixing dependency errors for Python build reproducibility
Beyond Traditional Program Slicing
One step further: evaluating interpreters using metamorphic testing
Synchronous and asynchronous stream runtime verification
Finding data compatibility bugs with JSON subschema checking
C4: the C compiler concurrency checker
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Verification support for plug-and-play architectural design
Datalution: a tool for continuous schema evolution in NoSQL-backed web applications
AtomRace: data race and atomicity violation detector and healer
Conditional dynamic partial order reduction and optimality results
Dynamically validating static memory leak warnings
FITNESS: a framework for automatic testing of ASTERIX based software systems
Dynamic tainting for automatic test case generation
OCAT: object capture-based automated testing
Feedback driven adaptive combinatorial testing
Analysis of performance regression testing data by transaction profiles
Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Detecting anomalies in the order of equally-typed method arguments
Applications of Feasible Path Analysis to Program Testing
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Random testing of formal software models and induced coverage
Differential regression testing for REST APIs
Application of automated environment generation to commercial software
Making testing product lines more efficient by improving the testability of product line architectures
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance
Interprocedural Def-Use Associations in C Programs
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
On testing and conformance relations for UML statechart diagrams behaviours
Debugging support tool for MCAPI applications
GUIDER: GUI structure and vision co-guided test script repair for Android apps
Program-aware fuzzing for MQTT applications
Scalable analysis of interaction threats in IoT systems
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020
Empirical studies of a decentralized regression test selection framework for web services
RefaFlex: safer refactorings for reflective Java programs
TAV-CPS/IoT@ISSTA 2020: Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, Virtual Event, USA, July 19, 2020
CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Hybrid test of web applications with webtest
Automated cell header generator for Jupyter notebooks
MDPFuzz: testing models solving Markov decision processes
An empirical study of profiling strategies for released software and their impact on testing activities
PerfRanker: prioritization of performance regression tests for collection-intensive software
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016
Using compression algorithms to support the comprehension of program traces
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Empirically evaluating readily available information for regression test optimization in continuous integration
Detecting algorithms using dynamic analysis
DSI: an evidence-based approach to identify dynamic data structures in C programs
Towards quality of model-based testing in the ioco framework
Automated testing with targeted event sequence generation
Isolating failure causes through test case generation
Ericsson lab Italy: is ISSTA research relevant to industrial users?
Runtime testing framework for improving quality in dynamic service-based systems
SAFELI: SQL injection scanner using symbolic execution
Call Graph Soundness in Android Static Analysis
Heuristic ranking of java program edits for fault localization
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++
How far we have come: testing decompilation correctness of C decompilers
Data model property inference and repair
HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities
Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
CGuard: Scalable and Precise Object Bounds Protection for C
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation
On the use of evaluation measures for defect prediction studies
Test oracle assessment and improvement
STATEMATE Applied to Statistical Software Testing
Generating a Test Oracle from Program Documentation (Work in Progress)
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
A Bayesian Framework for Automated Debugging
Quantitative Policy Repair for Access Control on the Cloud
CanaryAdvisor: a statistical-based tool for canary testing (demo)
Lightweight detection of physical unit inconsistencies without program annotations
Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA 2014, San Jose, CA, USA, July 21, 2014
From Large Language Models to Adversarial Malware: How far are we
Fuzzing Embedded Systems using Debug Interfaces
Scalable build service system with smart scheduling service
Finding your way in the testing jungle: a learning approach to web security testing
OASIs: oracle assessment and improvement tool
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability
Automatic Test Data Generation Using Constraint Solving Techniques
Using automatic persistent memoization to facilitate data analysis scripting
Extracting Inline Tests from Unit Tests
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
When only random testing will do
Exploiting purity for atomicity
Shaping program repair space with existing patches and similar code
Automatic mining of functionally equivalent code fragments via random testing
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013
Grammar-agnostic symbolic execution by token symbolization
Beware of the Unexpected: Bimodal Taint Analysis
Relocatable addressing model for symbolic execution
Experimental assessment of random testing for object-oriented software
Selective mutation testing for concurrent code
Formal Methods versus Software Engineering: Is There a Conflict?
Scheduling considerations for building dynamic verification tools for MPI
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities
Detecting and understanding real-world differential performance bugs in machine learning libraries
See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Automated Program Repair from Fuzzing Perspective
Efficient instrumentation for code coverage testing
Testing malware detectors
S-looper: automatic summarization for multipath string loops
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Segment-Based Test Case Prioritization: A Multi-objective Approach
NeuFair: Neural Network Fairness Repair with Dropout
An annotation assistant for interactive debugging of programs with common synchronization idioms
Version space learning for verification on temporal differentials
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects
OCFI: Make Function Entry Identification Hard Again
Evolutionary testing of classes
Efficient race detection in the presence of programmatic event loops
The Path-Wise Approach to Data Flow Testing with Pointer Variables
CrashLocator: locating crashing faults based on crash stacks
A formal analysis of requirements-based testing
Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts
Using portfolio theory for better and more consistent quality
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks
Dynamic taint tracking for Java with phosphor (demo)
Dynamic test input generation for web applications
Verification-aided regression testing
Automated and effective testing of web services for XML injection attacks
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Slicing tools for synchronous reactive programs
Case Studies on Testing Object-Oriented Programs
Confidence Oriented Software Dependability Measurement (Abstract)
An empirical study of PHP feature usage: a static analysis perspective
Synthesizing Boxes Preconditions for Deep Neural Networks
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011
Experiences in automating the testing of SS7 signalling transfer points
How Effective Are Neural Networks for Fixing Security Vulnerabilities
Mining Android crash fixes in the absence of issue- and change-tracking systems
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Intent fuzzer: crafting intents of death
Finding Cuts in Static Analysis Graphs to Debloat Software
Testing the Correctness of Tasking Supervisors with TSL Specifications
Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
eTainter: detecting gas-related vulnerabilities in smart contracts
Efficient mutation analysis by propagating and partitioning infected execution states
Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
F3: fault localization for field failures
Data loss detector: automatically revealing data loss bugs in Android apps
TeamWATCH demonstration: a web-based 3d software source code visualization for education
DICE fault injection tool
FixCheck: A Tool for Improving Patch Correctness Analysis
On test repair using symbolic execution
Multi-environment software testing on the grid
Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, USA, July 20, 2006
Finding bugs in java native interface programs
An Automated Tool for Analyzing Completeness of Equational Specifications
On subdomains: Testing, profiles, and components
Efficient Construction of Program Dependence Graphs
Deferred concretization in symbolic execution via fuzzing