yusuke1997/dblp-id-title huggingface dataset:
History-driven build failure fixing: how far are we?
Generation of Multi-Formalism State-Space Analysis Tools
TimeAware test suite prioritization
Detecting multi-sensor fusion errors in advanced driver-assistance systems
Computation of Interprocedural Control Dependence
Just-in-time static analysis
Synthesis-Based Enhancement for GUI Test Case Migration
Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study
Workshop on state-space exploration for automated testing (SSEAT 2008)
Multi-modal Learning for WebAssembly Reverse Engineering
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
A theory of data race detection
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies
Efficient regression testing of ontology-driven systems
The Logic of Propagation in the Inscape Environment
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction
Using program closures to make an application programming interface (API) implementation thread safe
On the use of mutation analysis for evaluating student test suite quality
Using AOP for detailed runtime monitoring instrumentation
Refactoring Java programs using concurrent libraries
Identifying bug signatures using discriminative graph mining
Directed test generation for effective fault localization
State aware test case regeneration for improving web application test suite coverage and fault detection
Automatic test case generation: what if test code quality matters?
A platform for search-based testing of concurrent software
Predoo: precision testing of deep learning operators
GDsmith: Detecting Bugs in Cypher Graph Database Engines
Code coverage for any kind of test in any kind of transcompiled cross-platform applications
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract)
Swarm testing
Statistical debugging using compound boolean predicates
Loop-extended symbolic execution on binary programs
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Semi-valid input coverage for fuzz testing
An In-Depth Study of Runtime Verification Overheads during Software Testing
A learning-to-rank based fault localization approach using likely invariants
Combining symbolic execution and search-based testing for programs with complex heap inputs
Exposing previously undetectable faults in deep neural networks
Subtype polymorphism à la carte via machine learning on dependent types
Exploiting program dependencies for scalable multiple-path symbolic execution
Sara: self-replay augmented record and replay for Android in industrial cases
PolyTracker: Whole-Input Dynamic Information Flow Tracing
Analyzing architectural styles with alloy
Detection and classification of malicious JavaScript via attack behavior modelling
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software
Runtime verification for trustworthy secure shell deployment
Semantics driven dynamic partial-order reduction of MPI-based parallel programs
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Performance implications of design pattern usage in distributed applications: case studies in J2EE and .NET
ProFuzzBench: a benchmark for stateful protocol fuzzing
Cooperative crug isolation
Deterministic replay for MCAPI programs
SAFEVM: a safety verifier for Ethereum smart contracts
Automatically testing self-driving cars with search-based procedural content generation
Inference and enforcement of data structure consistency specifications
SimRacer: an automated framework to support testing for process-level races
DEKANT: a static analysis tool that learns to detect web application vulnerabilities
Analyzing Timing Requirements
Towards More Realistic Evaluation for Neural Test Oracle Generation
Lightweight verification of array indexing
A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Detection of high-level execution patterns in reactive behavior of control programs
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools
Interpretability Based Neural Network Repair
Reducing GUI test suites via program slicing
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC
Boosting symbolic execution via constraint solving time prediction (experience paper)
Test mimicry to assess the exploitability of library vulnerabilities
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
CUT: automatic unit testing in the cloud
A thread-aware debugger with an open interface
Testing stochastic software using pseudo-oracles
Data Flow-Based Test Adequacy Analysis for Languages with Pointers
Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too!
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
Understanding device integration bugs in smart home system
Organizing processes and threads for debugging
Crash-avoiding program repair
Reducing the Effects of Infeasible Paths in Branch Testing
Safe and sound program analysis with Flix
A static analysis tool using a three-step approach for data races in HPC programs
Echo: a middleware architecture for domain-specific UI test automation
Generating finite state machines from abstract state machines
Racer: effective race detection using aspectj
LiResolver: License Incompatibility Resolution for Open Source Software
MulticoreSDK: a practical and efficient data race detector for real-world applications
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007
Automatically translating bug reports into test cases for mobile apps
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
API Misuse Detection via Probabilistic Graphical Model
PET: continuous performance evaluation tool
RM for users' safety and security in the built environment
Electromagnetic side-channel attacks: potential for progressing hindered digital forensic analysis
Mining change history for test-plan generation (doctoral symposium)
Reversing Programs for Error Reachability Analysis
Graph Learning for Extract Class Refactoring
A Cloud Native Tool for Testing Automation in Kubernetes
Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Automatic support for the identification of infeasible testing requirements
Rare Path Guided Fuzzing
RESTest: automated black-box testing of RESTful web APIs
Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Automated repair of layout cross browser issues using search-based techniques
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing
Optional monitoring for long-lived transactions
Workshop on testing, analysis and verification of web software (TAV-WEB 2008)
Abstract Analysis with Aspect
MQueez: Specification-Driven Fuzzing for MQTT Broker (Registered Report)
Efficient predicated bug signature mining via hierarchical instrumentation
QFuzz: quantitative fuzzing for side channels
Guiding Greybox Fuzzing with Mutation Testing
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
Detecting resource utilization bugs induced by variant lifecycles in Android
Policy expression and checking in XACML, WS-Policies, and the jABC
Precise interface identification to improve testing and analysis of web applications
Search-based detection of deviation failures in the migration of legacy spreadsheet applications
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008
Automated testing for SQL injection vulnerabilities: an input mutation approach
A type system for format strings
Effective and scalable software compatibility testing
Pareto efficient multi-objective test case selection
Dependence analysis in reduction of requirement based test suites
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
Traceback: A Fault Localization Technique for Molecular Programs
RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis
An Applicable Test Data Generation Algorithm for Domain Errors
Variable and thread bounding for systematic testing of multithreaded programs
Towards a BPEL unit testing framework
Improved Serial Algorithms for Mutation Analysis
Critical Slicing for Software Fault Localization
Parameterized object sensitivity for points-to and side-effect analyses for Java
CONCORD: Clone-Aware Contrastive Learning for Source Code
Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge
Detecting code clones in binary executables
Test Data Generation and Feasible Path Analysis
The species per path approach to SearchBased test data generation
The All Program Functions Criterion for Revealing Computation Errors (Abstract)
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
DeepHyperion: exploring the feature space of deep learning-based systems through illumination search
Hybrid security analysis of web JavaScript code via dynamic partial evaluation
Testing a Safety-Critical Application
Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications
Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Adaptive random testing: an illusion of effectiveness?
Using sensitivity analysis to create simplified economic models for regression testing
SABER: smart analysis based error reduction
Green Fuzzer Benchmarking
Assessing the state and improving the art of parallel testing for C
Testing and analysis of web applications using page models
Executing association rule mining algorithms under a Grid computing environment
CoCoTest: collaborative crowdsourced testing for Android applications
When truth is efficient: analysing concurrency
Patch correctness assessment in automated program repair based on the impact of patches on production and test code
Automated repair of feature interaction failures in automated driving systems
ARROW: automated repair of races on client-side web pages
Formal verification of discrete event model
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Hunting bugs with accelerated optimal graph vertex matching
Neurosymbolic Repair of Test Flakiness
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013
X-PERT: a web application testing tool for cross-browser inconsistency detection
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE
Predictive mutation testing
Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Parallel symbolic execution for structural test generation
Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Incremental overload resolution in object-oriented programming languages
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Legend: an agile DSL toolset for web acceptance testing
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
DeepCrime: mutation testing of deep learning systems based on real faults
Pattern-Based Peephole Optimizations with Java JIT Tests
Compositional Verification by Model Checking for Counter-Examples
Verifying dereference safety via expanding-scope analysis
A formalism for specification of Java API interfaces
An Empirical Study of Static Analysis Tools for Secure Code Review
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Automated testing of stochastic systems: a statistically grounded approach
Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010
In Defense of Simple Techniques for Neural Network Test Case Selection
Covrig: a framework for the analysis of code, test, and coverage evolution in real software
Role-Based access control consistency validation
Boosting spectrum-based fault localization using PageRank
Predicting fault-prone modules based on metrics transitions
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
EnforceMOP: a runtime property enforcement system for multithreaded programs
NCScope: hardware-assisted analyzer for native code in Android apps
A new dimension of test quality: assessing and generating higher quality unit test cases
Comparing methods to identify defect reports in a change management database
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications
Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, July 17, 2006
FRAFOL: FRAmework FOr Learning mutation testing
TERA: optimizing stochastic regression tests in machine learning projects
Monotonic gradual typing in a common calculus
Distance-Aware Test Input Selection for Deep Neural Networks
Static detection of brittle parameter typing
FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
XFix: an automated tool for the repair of layout cross browser issues
jRapture: A Capture/Replay tool for observation-based testing
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Towards an integrated approach for validating qualities of self-adaptive systems
MoScan: a model-based vulnerability scanner for web single sign-on services
Shepherd: High-Precision Coverage Inference for Response-guided Blackbox Fuzzing (Registered Report)
Safe substitution for service-based applications
Are your votes really counted?: testing the security of real-world electronic voting systems
Adaptive random testing with randomly translated failure region
Generating unit tests with descriptive names or: would you name your children thing1 and thing2?
Practical program repair via bytecode mutation
CydiOS: A Model-Based Testing Framework for iOS Apps
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Impact of programming languages on machine learning bugs
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021
Parallel bounded analysis in code with rich invariants by refinement of field bounds
Discovering discrepancies in numerical libraries
Better Not Together: Staged Solving for Context-Free Language Reachability
Automatic detection of unsafe component loadings
Jolinar: analysing the energy footprint of software applications (demo)
Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Understanding Breaking Changes in the Wild
Experimental program analysis: a new program analysis paradigm
Refining interprocedural change-impact analysis using equivalence relations
Hierarchical dynamic slicing
Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only)
Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents
Mining past-time temporal rules from execution traces
Who Judges the Judge: An Empirical Study on Online Judge Tests
What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Remedying the eval that men do
Simplifying failure-inducing input
Automatic generation of system test cases from use case specifications
Certified Continual Learning for Neural Network Regression
Scalable and precise taint analysis for Android
Dynamic analysis of inefficiently-used containers
Comparing developer-provided to user-provided tests for fault localization and automated program repair
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
Specification, verification, and synthesis of concurrency control components
Interactive metamorphic testing of debuggers
Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts
Threats to the validity of mutation-based test assessment
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Practical static race detection for Java parallel loops
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
DLint: dynamically checking bad coding practices in JavaScript
Datactive: Data Fault Localization for Object Detection Systems
Type and interval aware array constraint solving for symbolic execution
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy
Testing concurrent programs on relaxed memory models
An exercise in verifying sequential programs with VerCors
iDEV: exploring and exploiting semantic deviations in ARM instruction processing
ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Saving the world wide web from vulnerable JavaScript
Automating algorithms for the identification of fault-prone files
Automated unit test generation during software development: a controlled experiment and think-aloud observations
ISSTA 2002 panel: is ISSTA research relevant to industrial users?
CIRCLE: continual repair across programming languages
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
MuCheck: an extensible tool for mutation testing of haskell programs
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Finding bugs with a constraint solver
Extending a distributed loop network to tolerate node failures
Unit testing for multi-threaded Java programs
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002
PMothra: Scheduling Mutants for Execution on a Hypercube
Automated fixing of programs with contracts
Best practice for supply chain in LLM-assisted medical applications
A variability-based testing approach for synthesizing video sequences
Detecting flaky tests in probabilistic and machine learning applications
Learning from 6, 000 projects: lightweight cross-project anomaly detection
Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996
Is adaptive random testing really better than random testing
Automatic generation of oracles for exceptional behaviors
Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code
Can automated program repair refine fault localization? a unified debugging approach
Data Flow Coverage and the C Language
Patch the Leak: Strengthening CodeLLMs Against Privacy Extraction Threats
Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs
Challenges and opportunities: an in-depth empirical study on configuration error injection testing
Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report)
Refactoring design models for inductive verification
A method facilitating integration testing of embedded software
Definition and Detection of Defects in NFT Smart Contracts
Fuzzing SMT solvers via two-dimensional input space exploration
A study on agility and testing processes in software organizations
Automatically verifying and reproducing event-based races in Android apps
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance
Search-based test and improvement of machine-learning-based anomaly detection systems
Comparison of Program Testing Strategies
Path- and index-sensitive string analysis based on monadic second-order logic
Constructing Compact Models of Concurrent Java Programs
A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models
Continuity in sofware systems
CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
Memory tagging in Charm++
Evolution-aware detection of order-dependent flaky tests
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS
Guided Retraining to Enhance the Detection of Difficult Android Malware
Iterative refinement of specification for component based embedded systems
Redesigning Soot's data-flow analysis framework for abstract interpretation
Reachability Analysis of Feature Interactions: A Progress Report
Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Detecting and fixing data loss issues in Android apps
Exploring regular expression usage and context in Python
Progress in testing component-based software (abstract only)
Generating Test Suites for Software Load Testing
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications
On the influence of multiple faults on coverage-based fault localization
Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets
An auto-review tool for model-based testing of safety-critical systems
Dynamic testing of flow graph based parallel applications
echidna-parade: a tool for diverse multicore smart contract fuzzing
Change-aware preemption prioritization
A foundation for behavioural conformance in software product line architectures
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Making data-driven porting decisions with Tuscan
SealTest: a simple library for test sequence generation
FineLock: automatically refactoring coarse-grained locks into fine-grained locks
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study
Automating component-based system assembly