yusuke1997/dblp-id-title huggingface dataset:
Effective test generation and adequacy assessment for JavaScript-based web applications
TestMig: migrating GUI test cases from iOS to Android
Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Pattern-driven deadlock avoidance
JThreadSpy: teaching multithreading programming by analyzing execution traces
Communication-aware HW/SW co-design for heterogeneous multicore platforms
Vectorizing Program Ingredients for Better JVM Testing
Test and Analysis of Software Architectures
Cost-aware combinatorial interaction testing (doctoral symposium)
Generating test cases for specification mining
Understanding intended behavior using models of low-level signals
DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Retrieving similar code fragments based on identifier similarity for defect detection
Model-based functional conformance testing of web services operating on persistent data
Validating Multimedia Content Moderation Software via Semantic Fusion
Feedback-driven side-channel analysis for networked applications
Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Fuzzing Deep Learning Compilers with HirGen
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Towards self-adaptive service-oriented architectures
Testing, abstraction, theorem proving: better together!
Automated layout failure detection for responsive web pages without an explicit oracle
WODA 2008: the sixth international workshop on dynamic analysis
Finding permission bugs in smart contracts with role mining
UniRLTest: universal platform-independent testing with reinforcement learning via image understanding
Automated test mapping and coverage for network topologies
Retroactive aspects: programming in the past
Linear and Structural Event Sequence Analysis
Systematic Testing of the Data-Poisoning Robustness of KNN
Nearest neighbor sampling for cross company defect predictors: abstract only
Chasing rainbows: improving software testing in the real world
A proposal of operation history management system for source-to-source optimization of HPC programs
Model checking Java programs (abstract only)
Monkey see, monkey do: effective generation of GUI tests with inferred macro events
June: A Type Testability Transformation for Improved ATG Performance
Automated mobile UI test fragility: an exploratory assessment study on Android
Analysing the effect of uncertainty in airport surface operations
AEON: a method for automatic evaluation of NLP test cases
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Language, compiler, and runtime system support towards highly scalable big data application (invited talk abstract)
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract)
Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Understanding user understanding: determining correctness of generated program invariants
WEIZZ: automatic grey-box fuzzing for structured binary formats
Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Uniform random sampling of traces in very large models
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006
Scaffle: bug localization on millions of files
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics
Combining solution reuse and bound tightening for efficient analysis of evolving systems
CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Compositional Reachability Analysis Using Process Algebra
Load Testing Software Using Deterministic State Testing
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool
Tailored source code transformations to synthesize computationally diverse program variants
MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Research in concurrent software testing: a systematic review
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA
Forcing small models of conditions on program interleaving for detection of concurrent bugs
Making your crashes work for you (doctoral symposium)
RustSmith: Random Differential Compiler Testing for Rust
Finding rare numerical stability errors in concurrent computations
Application of built-in-testing in component-based embedded systems
Feedback-driven dynamic invariant discovery
Pythia reloaded: an intelligent unit testing-based code grader for education
A Constraint Solving Problem Towards Unified Combinatorial Interaction Testing
Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering
SLIME: program-sensitive energy allocation for fuzzing
CoREBench: studying complexity of regression errors
Feedback-Directed Partial Execution
SCStudio: a secure and efficient integrated development environment for smart contracts
Attack as defense: characterizing adversarial examples using robustness
PROPANE: an environment for examining the propagation of errors in software
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems
Modeling consumer-perceived web application fault severities for testing
Automated Testing of Classes
Experiences and Lessons from the Analysis of TCAS II
Multi-slicing: a compiler-supported parallel approach to data dependence profiling
Finite state verification: An emerging technology for validating software systems (abstract only)
Compiler-assisted test acceleration on GPUs for embedded software
Efficient online detection of dynamic control dependence
CoDeSe: fast deserialization via code generation
Subdomain testing of units and systems with state
Dsc+Mock: a test case + mock class generator in support of coding against interfaces
BERT: BEhavioral Regression Testing
The use of mutation in testing experiments and its sensitivity to external threats
Software fault prediction tool
Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
Robust non-intrusive record-replay with processor extraction
All-du-path Coverage for Parallel Programs
Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations
Deep specification mining
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018
Coverage and fault detection of the output-uniqueness test selection criteria
TSTL: a language and tool for testing (demo)
Software development tools for multi-core/parallel programming
TeLL: log level suggestions via modeling multi-level code block information
Efficient solving of structural constraints
Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Incremental covering array failure characterization in large configuration spaces
Silent Taint-Style Vulnerability Fixes Identification
When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Predicting Dependability by Testing
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems
Testing CPU emulators
Automated classification of actions in bug reports of mobile apps
CPR: cross platform binary code reuse via platform independent trace program
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
The case for analysis preserving language transformation
Coverage-based metrics for cloud adaptation
Runtime prevention of concurrency related type-state violations in multithreaded applications
Efficient computation of happens-before relation for event-driven programs
Symbolic path cost analysis for side-channel detection
ObjSim: lightweight automatic patch prioritization via object similarity
Classification schemes to aid in the analysis of real-time systems
Interaction testing of highly-configurable systems in the presence of constraints
Binary code is not easy
Techniques for specifying bug patterns
One test to rule them all
piCoq: parallel regression proving for large-scale verification projects
Automatically identifying critical input regions and code in applications
One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
SAMC: a fast model checker for finding heisenbugs in distributed systems (demo)
Comparison of delivered reliability of branch, data flow and operational testing: A case study
Gramatron: effective grammar-aware fuzzing
Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015
Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), WTAOP 2006, Portland, Maine, USA, July 20, 2006
Extending a search-based test generator with adaptive dynamic symbolic execution
Identifying test-suite-overfitted patches through test case generation
Experimental Comparison of Three System Test Strategies Preliminary Report
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
Automatic GUI testing of desktop applications: an empirical assessment of the state of the art
ASTOR: a program repair library for Java (demo)
Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
BrowserAudit: automated testing of browser security features
Automatic system testing of programs without test oracles
Demand-driven context-sensitive alias analysis for Java
jTrans: jump-aware transformer for binary code similarity detection
Path-oriented random testing
Dynamic recognition of synchronization operations for improved data race detection
Runtime detection of memory errors with smart status
Sapienz: multi-objective automated testing for Android applications
Variably interprocedural program analysis for runtime error detection
TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving
Lattice based modularization of static analyses
Faster mutation analysis via equivalence modulo states
Practitioners' expectations on automated fault localization
Requirements-based monitors for real-time systems
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Evaluating the Effectiveness of Decompilers
Experiments with an Improved Constrained Expression Toolset
Integrating customized test requirements with traditional requirements in web application testing
The AGEDIS tools for model based testing
Semantic differential repair for input validation and sanitization
Combining model checking and testing with an application to reliability prediction and distribution
APTE: automated pointcut testing for AspectJ programs
NJR: a normalized Java resource
Dynamic inference of likely data preconditions over predicates by tree learning
Test case filtering and prioritization based on coverage of combinations of program elements
Zero-overhead profiling via EM emanations
iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Commit Artifact Preserving Build Prediction
Compiler fuzzing through deep learning
Transforming Test Suites into Croissants
SnapFuzz: high-throughput fuzzing of network applications
Type Batched Program Reduction
Towards aggregate monitoring of spatio-temporal properties
A cost-effective strategy for software vulnerability prediction based on bellwether analysis
Collaborative testing across shared software components (doctoral symposium)
Analyzing test completeness for dynamic languages
Dynamic inference of abstract types
An Efficient State Space Generation for Analysis of Real-Time Systems
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking
Monitoring decentralized specifications
Experience report: an empirical study of PHP security mechanism usage
Separate Computation of Alias Information for Reuse
Multiple-implementation testing for XACML implementations
Empirical evaluation of smart contract testing: what is the best choice?
Deadlock prediction via generalized dependency
An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
The M3 (measure-measure-model) tool-chain for performance prediction of multi-tier applications
A human study of patch maintainability
BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach
Parema: an unpacking framework for demystifying VM-based Android packers
ArtForm: a tool for exploring the codebase of form-based websites
Theoretical Comparison of Testing Methods
Escaping dependency hell: finding build dependency errors with the unified dependency graph
Define-Use Guided Path Exploration for Better Forced Execution
Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems
Efficient white-box fairness testing through gradient search
Is ISSTA research relevant to industry?
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs
Testing Graph Database Systems with Graph-State Persistence Oracle
Proceedings of the 2008 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 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008
Are automated debugging techniques actually helping programmers?
DialTest: automated testing for recurrent-neural-network-driven dialogue systems
Specifying the worst case: orthogonal modeling of hardware errors
Precise Compositional Buffer Overflow Detection via Heap Disjointness
Time-aware test-case prioritization using integer linear programming
Automating Zero-Shot Patch Porting for Hard Forks
Interprocedual Data Flow Testing
Automated black-box testing of functional correctness using function approximation
DroidRA: taming reflection to support whole-program analysis of Android apps
An Empirical Examination of Fuzzer Mutator Performance
Experience with constructing code hunt contests
PatchScope - A Modular Tool for Annotating and Analyzing Contributions
Enhancing REST API Testing with NLP Techniques
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Performance assertions for mobile devices
The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets
LAND: a user-friendly and customizable test generation tool for Android apps
Search-Based Translations for Tensor Operations
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
NerdBug: automated bug detection in neural networks
PIT: a practical mutation testing tool for Java (demo)
On-the-fly race detection in multi-threaded programs
Izinto : a pattern-based IoT testing framework
Toward optimal mc/dc test case generation
Implementation-Based Analysis and Testing of Prolog Programs
Link: exploiting the web of data to generate test inputs
Finding common ground: choose, assert, and assume
Analyzing Refinements of State Based Specifications: The Case of TB Nets
Oracle-Guided Program Selection from Large Language Models
Automated test generation for API proxy code (invited talk abstract)
Integrating Testing Techniques Through Process Programming
Validating static warnings via testing code fragments
Designing Programs to Check Their Work (Abstract)
GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go
Verifying atomicity via data independence
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract)
Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Semantic-Based Neural Network Repair
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
The influence of size and coverage on test suite effectiveness
Panel discussion: is ISSTA testing research relevant to industrial users?
Improving cross-platform binary analysis using representation learning via graph alignment
VFQL: combinational static analysis as query language
FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Looking for bugs in all the right places
Universal symbolic execution and its application to likely data structure invariant generation
Experience paper: a study on behavioral backward incompatibilities of Java software libraries
TemPerf: temporal correlation between performance metrics and source code
Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (invited talk abstract)
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Slicing concurrent programs
Learning to detect table clones in spreadsheets
Automatic partial loop summarization in dynamic test generation
Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Automatic extraction of object-oriented component interfaces
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Towards a Structural Load Testing Tool
Minimizing reproduction of software failures
AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, Virtual Event, Denmark, 12 July 2021
Detecting and repairing performance bugs using execution and code patterns (invited talk abstract)
Black-box test reduction using input-output analysis
Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
Prioritizing test cases for regression testing
A state-of-practice questionnaire on verification and validation for concurrent programs
Validating Programs without Specifications
Tool support for randomized unit testing
Improving Bit-Blasting for Nonlinear Integer Constraints
Understanding the behavior of transactional memory applications
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
JQF: coverage-guided property-based testing in Java
Active learning for automatic classification of software behavior
Conformance testing for quality assurance of clustering architectures
Semantic matching of GUI events for test reuse: are we there yet?
DEFECTS 2008: international workshop on defects in large software systems
A suite of tools for making effective use of automatically generated tests
Experiments in Automated Analysis of Concurrent Software Systems
Replaying and isolating failing multi-object interactions
Shooting from the heap: ultra-scalable static analysis with heap snapshots
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications
Security Checking of Trigger-Action-Programming Smart Home Integrations
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
DSDSR: a tool that uses dynamic symbolic execution for data structure repair
CodeGrid: A Grid Representation of Code
Support for symmetric shadow memory in multiprocessors
CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Fault localization and repair for Java runtime exceptions
Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Analysis and testing of matlab simulink models: a systematic mapping study
Soft Verification for Actor Contract Systems
Static analysis of Java dynamic proxies
An Information Flow Model of Fault Detection
Increasing confidence in autonomous systems
Automated analysis of load testing results
Projected state machine coverage for software testing
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Is this the lifecycle we really want?: an automated black-box testing approach for Android activities
Dependent-test-aware regression testing techniques
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Practical verification of high-level dataraces in transactional memory programs
Software validation via scalable path-sensitive value flow analysis
Pytest-Smell: a smell detection tool for Python unit tests
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012
Mapping hardness of automated software testing
Mutation-driven generation of unit tests and oracles
Cross-platform feature matching for web applications
A programming model for semi-implicit parallelization of static analyses
Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, British Columbia, Canada, October 8-10, 1991
An empirical study on ARM disassembly tools
Towards a unified framework for the monitoring and recovery of BPEL processes
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator
SelfPiCo: Self-Guided Partial Code Execution with LLMs
DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization
Hybrid learning: interface generation through static, dynamic, and symbolic analysis
Formal verification of concurrent software: two case studies
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis
The Composability of ASTRAL Realtime Specifications
Scalable detection of missed cross-function refactorings
Reliable testing: detecting state-polluting tests to prevent test dependency
Automatically inferring and enforcing user expectations
Automated Test Data Generation for Programs with Procedures
Path-sensitive code embedding via contrastive learning for software vulnerability detection
PermDroid: automatically testing permission-related behaviour of Android applications
Combined static and dynamic automated test generation
Mutation Analysis Using Mutant Schemata
Targeted property-based testing
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
COME: Commit Message Generation with Modification Embedding
Automating performance bottleneck detection using search-based application profiling
The mainframe strikes back: multi tenancy in the Main memory database hyper on a TB-server
Real-Time Semantic Process Change Impact Analysis
Revolution or evolution? reflections on in-memory appliances from an enterprise information logistics perspective
Innovative Unternehmensanwendungen mit In-Memory Data Management, IMDM 2011, 2. Dezember 2011, Mainz
Business benefits and application capabilities enabled by in-memory data management
Xsellerate: supporting sales representatives with real-time information in customer dialogs
Analyse des Einsatzpotenzials von In-Memory-Technologien in Handelsinformationssystemen
Towards agile BI: applying in-memory technology to data warehouse architectures
Data-Warehousing 3.0 - Die Rolle von Data-Warehouse-Systemen auf Basis von In-Memory Technologie
Ökonomisch sinnhafte Bewertung von In-Memory-basierten betrieblichen Informationssystemen