yusuke1997/dblp-id-title huggingface dataset:
Effective and efficient API misuse detection via exception propagation and search-based testing
Optimal context-sensitive dynamic partial order reduction with observers
Limits of parallelism using dynamic dependency graphs
Using automated program repair for evaluating the effectiveness of fault localization techniques
Towards a UML profile for data intensive applications
iFixDataloss: a tool for detecting and fixing data loss issues in Android apps
Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Detection of Transactional Memory anomalies using static analysis
Selecting peers for execution comparison
Automated mobile apps testing from visual perspective
The Weak Mutation Hypothesis
Efficient Mutation Analysis: A New Approach
COOLer: A Language Support Extension for COOL in VS Code
The Coupling Effect: Fact or Fiction
Confirmation of deadlock potentials detected by runtime analysis
Identifying implementation bugs in machine learning based image classifiers using metamorphic testing
On Benchmarking Code LLMs for Android Malware Analysis
PhysCov: Physical Test Coverage for Autonomous Vehicles
Automatic generation of program specifications
Towards supporting the architecture design process through evaluation of design alternatives
Accelerating array constraints in symbolic execution
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
WebEvo: taming web application evolution via detecting semantic structure changes
Seed selection for successful fuzzing
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016
An actionable performance profiler for optimizing the order of evaluations
Statically-directed dynamic automated test generation
Randomized stress-testing of link-time optimizers
Type Automata
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019
The distirubtion of faults in a large industrial software system
Specifying Operational Profiles for Modules
Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014
Automated Regression Test Generation
GitcProc: a tool for processing and classifying GitHub commits
TAOS: Testing with Analysis and Oracle Support
Empirically revisiting and enhancing IR-based test-case prioritization
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Eliminating timing side-channel leaks using program repair
Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
The Most Influential Papers from the ISSTA Research Community (Panel)
Domain partitioning for open reactive systems
High coverage testing of Haskell programs
FDG: a precise measurement of fault diagnosability gain of test cases
Generation of Java programs properties from test purposes
AVA: automated interpretation of dynamically detected anomalies
Delta execution for efficient state-space exploration of object-oriented programs
Test execution checkpointing for web applications
Decomposition of Deep Neural Networks into Modules via Mutation Analysis
TauJud: test augmentation of machine learning in judicial documents
Optimal strategies for testing nondeterministic systems
Patch based vulnerability matching for binary programs
Decentralized Near-Synchronous Local-First Programming Collaboration
CiD: automating the detection of API-related compatibility issues in Android apps
Isolation-Based Debugging for Neural Networks
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects
An Incremental Approach to Structural Testing of Concurrent Software
Practical detection of concurrency issues at coding time
Model-based testing in legacy software modernization: an experience report
Finding errors in .net with feedback-directed random testing
Verifying process models built using parameterized state machines
Effective online software anomaly detection
Collaboration to Repository-Level Vulnerability Detection
Finding bugs in dynamic web applications
Product-line verification with feature-oriented contracts
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software
What Can We Learn by Testing a Program?
Faster constraint solving with subtypes
Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform
Generating parameterized unit tests
Generation of test databases using sampling methods
Module Test Case Generation
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android
Healing data races on-the-fly
Orthogonal exploration of the search space in evolutionary test case generation
Geometric encoding: forging the high performance context sensitive points-to analysis for Java
TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
An observation-based model for fault localization
Feasible and stressful trajectory generation for mobile robots
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Detecting cache-related bugs in Spark applications
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007
A tool for verification of big-data applications
Debugging the performance of Maven's test isolation: experience report
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs
Systematic evaluation of the unsoundness of call graph construction algorithms for Java
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Using binary decision diagrams for combinatorial test design
Continuous test suite failure prediction
SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Automating Software Analysis and Testing Using a Program Transformation System
A formal approach for modeling and verification of RTCORBA-based applications
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011
Coverage metrics for requirements-based testing
Model-based testing of networked applications
Practical blended taint analysis for JavaScript
Verifying properties of process definitions
Integrated Concurrency Analysis in a Software Development Enviornment
WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Evaluating the usefulness of IR-based fault localization techniques
Context-sensitive delta inference for identifying workload-dependent performance bottlenecks
Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion
Identifying Java calls in native code via binary scanning
On the applicability of combinatorial testing to web application security testing: a case study
TOBAC: A Test Case Browser for Testing Object-Oriented Software
Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution
API2Vec: Learning Representations of API Sequences for Malware Detection
ProCrawl: mining test models from multi-user web applications
Static and dynamic analysis of call chains in Java
ModelDiff: testing-based DNN similarity comparison for model reuse detection
Dynamic test input generation for database applications
Characterizing failure-causing parameter interactions by adaptive testing
A classification of concurrency bugs in java benchmarks by developer intent
DeLink: Source File Information Recovery in Binaries
Practitioners' Expectations on Automated Test Generation
Constructing coding duels in Pex4Fun and code hunt
A report on a survey and study of static analysis users
Regression mutation testing
Detecting and diagnosing energy issues for mobile applications
Model checking XML manipulating software
Expressing and checking intended changes via software change contracts
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Forward Computation of Dynamic Program Slices
JFIX: semantics-based repair of Java programs via symbolic PathFinder
Static memory leak detection using full-sparse value-flow analysis
Dependency-Aware Metamorphic Testing of Datalog Engines
Efficient flow profiling for detecting performance bugs
PrIntFuzz: fuzzing Linux drivers via automated virtual device simulation
PerfFuzz: automatically generating pathological inputs
Testing mobile computing applications: toward a scenario language and tools
Automating commutativity analysis at the design level
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998
A Logic-Model Semantics for SCR Software Requirements
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites
Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
Dynamic detection of event handlers
Mitigating the effects of flaky tests on mutation testing
Revisiting Test-Case Prioritization on Long-Running Test Suites
Instrumenting where it hurts: an automatic concurrent debugging technique
Proceedings of the 2008 Workshop on Defects in Large Software Systems, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), DEFECTS 2008, Seattle, Washington, USA, July 20, 2008
A dynamic tool for finding redundant computations in native code
A framework for testing database applications
Data Constraint Mining for Automatic Reconciliation Scripts Generation
Mutation-aware fault prediction
On the Limit of Control Flow Analysis for Regression Test Selection
Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses
Quantitative Symbolic Similarity Analysis
HAMPI: a solver for string constraints
Scalable program analysis through proof caching (doctoral symposium)
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation
An Empirical Study on Kubernetes Operator Bugs
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
On Random and Partition Testing
Testing for buffer overflows with length abstraction
DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications
A runtime environment for online processing of operating system kernel events
A metric for software readability
Dynamic Slicing in the Presence of Unconstrained Pointers
NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps
Identifying optimal trade-offs between CPU time usage and temporal constraints using search
The raise of machine learning hyperparameter constraints in Python code
Covering arrays for efficient fault characterization in complex configuration spaces
SymRustC: A Hybrid Fuzzer for Rust
Testing system virtual machines
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
Tests from traces: automated unit test extraction for R
Views on Software Testability (Panel Abstract)
Verdict machinery: on the need to automatically make sense of test results
A Semantic Model of Program Faults
Faster mutation testing inspired by test prioritization and reduction
Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Bugs in Pods: Understanding Bugs in Container Runtime Systems
Proceedings of the 2nd International Workshop on User Interface Test Automation, INTUITEST@ISSTA 2016, Saarbrücken, Germany, July 21, 2016
Memoized symbolic execution
Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
Testing patterns for software transactional memory engines
Model-driven continuous deployment for quality DevOps
Improving distributed memory applications testing by message perturbation
Testing methods used in the automotive industry: results from a survey
An optimizing compiler for batches of temporal logic formulas
XAVIER: Grammar-Based Testing for XML Injection Attacks
An Approach to Verification and Validation of a Reliable Multicasting Protocol
Reinforcement learning for automatic test case prioritization and selection in continuous integration
Unit testing for concurrent business code
IPA: improving predictive analysis with pointer analysis
A comparative study of programmer-written and automatically inferred contracts
Automatic fault injection for driver robustness testing
An empirical study of the robustness of MacOS applications using random testing
Consistency checking in requirements analysis
A CHR-Based Solver for Weak Memory Behaviors
ωTest: WebView-Oriented Testing for Android Applications
Documenting database usages and schema constraints in database-centric applications
Customization change impact analysis for erp professionals via program slicing
Automated API-usage update for Android apps
OMEN: A strategy for testing object-oriented software
Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space
Random testing and model checking: building a common framework for nondeterministic exploration
Efficient DNN-Powered Software with Fair Sparse Models
Identifying semantic differences in AspectJ programs
ObjSim: efficient testing of cyber-physical systems
Fast bit-vector satisfiability
A Meaningful Bound for Branch Testing (Abstract)
A debugger for flow graph based parallel applications
ARC++: effective typestate and lifetime dependency analysis
On the probabilistic analysis of software (invited talk abstract)
Search-based system testing: high coverage, no false alarms
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Efficient mutation testing by checking invariant violations
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
Simulation-Based Validation for Autonomous Driving Systems
Reusing constraint proofs in program analysis
Running symbolic execution forever
Efficient statistical debugging via hierarchical instrumentation
ATR: template-based repair for Alloy specifications
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
ASSURE: automated support for secure and usable requirements engineering
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012
Impact of tool support in patch construction
Test migration for efficient large-scale assessment of mobile app coding assignments
Model checking Java programs using structural heuristics
(Quickly) testing the tester via path coverage
CTRAS: a tool for aggregating and summarizing crowdsourced test reports
Towards a fault model for AspectJ programs: step 1 -- pointcut faults
Towards scalable defense of information flow security for distributed systems
Specification of concretization and symbolization policies in symbolic execution
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015
JNI program analysis with automatically extracted C semantic summary
AdvDoor: adversarial backdoor attack of deep learning system
Synthesize solving strategy for symbolic execution
Concept-Based Automated Grading of CS-1 Programming Assignments
Open virtualization framework for testing ground systems
FLOWER: optimal test suite reduction as a network maximum flow
SAND: a static analysis approach for detecting SQL antipatterns
DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Testing concurrent programs to achieve high synchronization coverage
Design of a Modified Concolic Testing Algorithm with Smaller Constraints
Isolating failure-inducing thread schedules
FuseApplyBench: Multilingual Benchmark for Trustworthy Code Edit Applying Task
An Empirical Study of Functional Bugs in Android Apps
Semantic modelling of Android malware for effective malware comprehension, detection, and classification
CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Practical pluggable types for java
Finding errors in multithreaded GUI applications
Improving random GUI testing with image-based widget detection
ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Formal analysis of the effectiveness and predictability of random testing
ROME: Testing Image Captioning Systems via Recursive Object Melting
CPSDebug: a tool for explanation of failures in cyber-physical systems
Dynamic detection of inter-application communication vulnerabilities in Android
Generating focused random tests using directed swarm testing
Experience with fluid: analysis, design intent, and assurance for concurrency
Echidna: effective, usable, and fast fuzzing for smart contracts
Automated Program Flaw Finding Using Simulated Annealing
Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Improving the precision of INCA by preventing spurious cycles
Extended program invariants: applications in testing and fault localization
Residual investigation: predictive and precise bug detection
Generalized Concurrency Testing Tool for Distributed Systems
Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
GUI scalability issues of windows desktop applications and how to find them
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006
Visualization using Timelines
WuKong: a scalable and accurate two-phase approach to Android app clone detection
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Differentially testing soundness and precision of program analyzers
Learning user interface element interactions
Oracle problem in software testing
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
ParTeCL: parallel testing using OpenCL
Run-Time Consistency Checking of Algebraic Specifications
Feature-level phase detection for execution trace using object cache
The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them)
Inconsistencies in TeX-Produced Documents
Static specification mining using automata-based abstractions
Automatic Verification of Requirements Implementation
Efficient runtime invariant checking: a framework and case study
Structural Specification-Based Testing with ADL
Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation
On the correctness of GPU programs
Reliability, Sampling, and Algorithmic Randomness
Higher income, larger loan? monotonicity testing of machine learning models
An empirical study on TensorFlow program bugs
The impact of product development on the lifecycle of defects
A quantitative study of accuracy in system call-based malware detection
Interval constraint-based mutation testing of numerical specifications
Debugging Optimized Code Via Tailoring (Abstract)
Symbolic execution with mixed concrete-symbolic solving
UML-Based integration testing
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software
The real value of testing
Conformance test experiments for distributed real-time systems
Test input generation with Java PathFinder: then and now (invited talk abstract)
Debugging non-deadlock concurrency bugs
THeME: a system for testing by hardware monitoring events
An extensive study on pre-trained models for program understanding and generation
Systematic concurrency testing using CHESS
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008
An empirical study on the effectiveness of static C code analyzers for vulnerability detection
Automated software transplantation
Quantitative Robustness Analysis of Neural Networks
When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions
Management challenges for DevOps adoption within UK SMEs
Collecting a heap of shapes
Towards an automated approach to use expert systems in the performance testing of distributed systems
Blended analysis for performance understanding of framework-based applications
FLUCCS: using code and change metrics to improve fault localization
Efficient, sensitivity resistant binary instrumentation
Software assurance by bounded exhaustive testing
Toward understanding compiler bugs in GCC and LLVM
Pitfalls in teaching development and testing of concurrent programs and how to overcome them
A model and sensitivity analysis of the quality economics of defect-detection techniques
Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Mining constraints for grammar fuzzing
On the importance of common sense in program synthesis
SZZ revisited: verifying when changes induce fixes
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010
Theory and practice of string solvers (invited talk abstract)
Configuration-aware regression testing: an empirical study of sampling and prioritization
Large Language Models for Equivalent Mutant Detection: How Far Are We?
Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Exploring Missed Optimizations in WebAssembly Optimizers
BET: black-box efficient testing for convolutional neural networks
AGORA: Automated Generation of Test Oracles for REST APIs
Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities
Understanding and finding system setting-related defects in Android apps
A Comprehensive Study on Quality Assurance Tools for Java
Active fuzzing for testing and securing cyber-physical systems
Automatic detection and validation of race conditions in interrupt-driven embedded software
Declarative mocking
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017
P: a domain-specific language for asynchronous event-driven programming (invited talk abstract)
Cooperative types for controlling thread interference in Java