yusuke1997/dblp-id-title huggingface dataset:
Experience Report on Using Experiential Learning to Facilitate Learning of Bug Investigation Steps
Towards Accessibility of Covering Arrays for Practitioners of Combinatorial Testing
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Bounded Program Verification Using an SMT Solver: A Case Study
Coverage, Location, Detection, and Measurement
An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification
Automated Repair of Responsive Web Page Layouts
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs
Pruning the Search Space in Path-Based Test Generation
Early Detection with Explainability of Network Attacks Using Deep Learning
Empirical Evaluation of the Statement Deletion Mutation Operator
Peer-to-Peer Load Testing
Honeyware: A Web-Based Low Interaction Client Honeypot
A Composition-Based Method for Combinatorial Test Design
Generating Latent Space-Aware Test Cases for Neural Networks using Gradient-Based Search
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems
A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design Freedom
Requirements Dependencies-Based Test Case Prioritization for Extra-Functional Properties
Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
Summary of: Adaptive Metamorphic Testing with Contextual Bandits
Probability-Based Semantic Interpretation of Mutants
Generation of C++ Unit Tests from Abstract State Machines Specifications
Experimental Comparison of Code-Based and Model-Based Test Prioritization
Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
EarthCube Software Testing and Assessment Framework
Influence of Pure and Unit-Like Tests on SBFL Effectiveness: An Empirical Study
Towards Automated Generation of Bug Benchmark for Smart Contracts
Test Cost Reduction for 5G and Beyond using Machine Learning
Analysis and Prediction of Mandelbugs in an Industrial Software System
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing
A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools
RIDA: Cross-App Record and Replay for Android
Model-based Testing of Scratch Programs
Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation
A Stack Model for Symbolic Buffer Overflow Exploitability Analysis
Similarities Across Libraries: Making a Case for Leveraging Test Suites
Constraint handling in combinatorial test generation using forbidden tuples
Relationship between pair-wise and MC/DC testing: Initial experimental results
IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023
Using Execution Paths to Evolve Software Patches
Incorporating Testing Topics in an Object-Oriented Programming Course
How to Test in Sixteen Languages? Automation Support for Localization Testing
Automated Black Box Testing Tool for a Parallel Programming Library
On Combinatorial Security Testing for the Tor Anonymity Network Client
15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022
Modeling with Mocking
Writing unit tests: It's now or never!
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost
How to Test the Intangible Properties of Graphical User Interfaces?
An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges
A Tool for Mutation Analysis in Racket
A Developer's Guide to Building and Testing Accessible Mobile Apps
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
Practical Test Dependency Detection
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions
Supervised Learning for Test Suit Selection in Continuous Integration
Pairwise Testing Revisited for Structured Data With Constraints
Towards a unified catalog of attributes to guide industry in software testing technique selection
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
Towards a Testbed for Automotive Cybersecurity
Mutation testing of memory-related operators
SOA Grey Box Testing - A Constraint-Based Approach
Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation
YETI on the Cloud
Detecting and Evaluating Order-Dependent Flaky Tests in JavaScript
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications
Covering both stack and states while testing push-down systems
Regression Test Suite Reduction for Cloud Systems
Syntax-Tree Similarity for Test-Case Derivability in Software Requirements
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications
Minimum Pairwise Coverage Using Constraint Programming Techniques
Testing Database-Centric Applications for Causes of Database Deadlocks
Operational Profile and Software Testing: Aligning User Interest and Test Strategy
State Machine Inference in Testing Context with Long Counterexamples
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
Jaguar: A Spectrum-Based Fault Localization Tool for Real-World Software
Towards Domain-Specific Automated Testing via Behavioural Cloning
Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results
Towards Security Vulnerability Detection by Source Code Model Checking
Test Input Generation Using UML Sequence and State Machines Models
The Future of Google Testing
Alignment of Requirements Specification and Testing: A Systematic Mapping Study
Towards a Methodology for Verifying Partial Model Refinements
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
Pairwise Coverage-Based Testing with Selected Elements in a Query for Database Applications
Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment
Designing Fulfilling Test Cases with Test Aspect Model
Locating Code Omission Error due to Incorrect Polymorphic Method Call
On the Industrial Applicability of Augmented Testing: An Empirical Study
Unit Testing Model Management Operations
Protocol Security Testing with SPIN and TTCN-3
Enhancing Spectrum-Based Fault Localization in the Context of Reactive Programming
Tedsuto: A General Framework for Testing Dynamic Software Updates
Advancing Mobile UI Testing by Learning Screen Usage Semantics
Testing of Big Data Analytics Systems by Benchmark
Agile Regression Testing
On the impact of timeouts and JVM crashes in Pitest
Securing Opensource Code via Static Analysis
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
Exploring the Presence of Technical Debt in Industrial GUI-Based Testware: A Case Study
Challenges of Testing for Critical Interactive Systems
Incremental Deductive Verification for Relational Model Transformations
Model-Based Continuous Integration Testing of Responsiveness of Web Applications
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Penetration Testing with Improved Input Vector Identification
Debugging without Testing
Using Data Flow Patterns for Equivalent Mutant Detection
Towards a Method for Reducing the Test Suites of Database Applications
Prioritizing State-Based Aspect Tests
Testing Security Policies for Web Applications
Selective Test Generation Method for Evolving Critical Systems
Considering Context Events in Event-Based Testing of Mobile Applications
Automated Test Generation from Vulnerability Signatures
Efficient Automated Decomposition of Build Targets at Large-Scale
Integrating Model-Based Testing with Evolutionary Functional Testing
Test Sequence Generation from Classification Trees
Keynote Paper: Search Based Software Testing for Software Security: Breaking Code to Make it Safer
An Empirical Study on the Relation between Dependency Neighborhoods and Failures
Automated testing of IDS rules
MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing
Tool Support for Refactoring Manual Tests
Robust web element identification for evolving applications by considering visual overlaps
Formal Model-Based Test for AUTOSAR Multicore RTOS
Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation
An Experience Report on Using Code Smells Detection Tools
Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges
Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Evaluating Machine Learning-Based Test Case Prioritization in the Real World: An Experiment with SAP HANA
Does Principal Component Analysis Improve Cluster-Based Analysis?
Evolutionary Structural Testing of Software with Pointers
An Effective Regression Testing Approach for PHP Web Applications
Quantifying Correlations of Machine Learning Models
Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols
DRVN at the ICST 2025 Tool Competition - Self-Driving Car Testing Track
Messages from the InSTA 2017 Chairs
TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks
Modeling the Diagnostic Efficiency of Regression Test Suites
Research Questions for Model-Based Vulnerability Testing of Web Applications
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques
In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?
A Study in Prioritization for Higher Strength Combinatorial Testing
Source-Codeless Testing for Android Apps
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications
Automated Session Data Repair for Web Application Regression Testing
Taxonomy Based Testing Using SW91, a Medical Device Software Defect Taxonomy
Supporting Regression Test Scoping with Visual Analytics
Smoke Testing of Cloud Systems
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction
A Framework for GUI Testing Based on Use Case Design
Static analysis of mutant subsumption
X10X: Model Checking a New Programming Language with an "Old" Model Checker
Regression Testing for Web Applications Using Reusable Constraint Values
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Utilizing Ontologies for Combinatorial Testing
Poster: Test Case Prioritization Using Error Propagation Probability
BugOut: Automated Test Generation and Bug Detection for Low-Code
Test Selection for Data-Flow Reactive Systems Based on Observations
Unified Search for Multi-requirement Falsification for Cyber-Physical Systems
Semantic analysis technique of logics retrieval for software testing from specification documents
Experimental Evaluation of Mutation Testing Approaches to Python Programs
Regression Test Selection and Product Line System Testing
Software Test Architecture Definition by Analogy with Software Architecture
An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Measuring Combinatorial Coverage at Adobe
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults
Verification of UML/OCL Class Diagrams using Constraint Programming
How Test Organizations Adopt New Testing Practices and Methods?
Enumerator: An Efficient Approach for Enumerating all Valid t-tuples
Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS
A Test Architecture for Machine Learning Product
A GUI Crawling-Based Technique for Android Mobile Application Testing
ct-fuzz: Fuzzing for Timing Leaks
Estimating Fault Numbers Remaining After Testing
Are CISQ Reliability Measures Practical? A Research Perspective
Customer-Oriented Regression Testing: An Initial Discussion
Cause Reduction for Quick Testing
Mutation Operators for Actor Systems
Compression Strategies for Passive Testing
COSMO: Code Coverage Made Easier for Android
Poster: BugOss: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams
Combining Model-Based and Capture-Replay Testing Techniques of Graphical User Interfaces: An Industrial Approach
Language-Agnostic Generation of Compilable Test Programs
Symbolic Complexity Analysis Using Context-Preserving Histories
Summary of Search-based Crash Reproduction using Behavioral Model Seeding
Defect Prioritization in the Software Industry: Challenges and Opportunities
Mining process models and architectural components from test cases
Dynamic phishing content using generative grammars
Generating Test Requirements for the Service Connections based on the Layers of SOA
Using Unified Combinatorial Interaction Testing for MC/DC Coverage
Testing Resource Usage in Home Automation Systems
Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring
On the Evolution of Keyword-Driven Test Suites
Assessing the Degree of Feature Interactions that Determine a Model Prediction
A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu Search
Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems
Localizing Faults in Cloud Systems
Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications
An Empirical Analysis of Test Oracle Strategies for Model-Based Testing
Mining Software Repositories to Study Co-Evolution of Production & Test Code
Pre-trained Models for Bytecode Instructions
Tool support for secure programming by security testing
Mutating Skeletons: Learning Timed Automata via Domain Knowledge
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
Simulated Restriction of Coverage Criteria on UML State Machines
Automated Debugging: Are We There Yet?
Automatic Benchmark Generation for Object Constraint Language
Planning-Based Security Testing of the SSL/TLS Protocol
Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages
Model Driven Mutation Applied to Adaptative Systems Testing
Flaky Mutants; Another Concern for Mutation Testing
Analysing Test Basis and Deriving Test Cases Based on Data Design Documents
An Industrial Survey on Contemporary Aspects of Software Testing
Test-Driven Assessment of Access Control in Legacy Applications
TESRAC: A Framework for Test Suite Reduction Assessment at Scale
Towards an Industrial Strength Process for Timed Testing
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis
Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Intent-Preserving Test Repair
Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects
MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications
A universal management and monitoring process for testing
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection
Model Checking PLC Software Written in Function Block Diagram
Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions
RICK: Generating Mocks from Production Data
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing
Introducing a Testing Automation Framework for Basic Integrity of Java Applications in Hitachi Railway Systems
Dynamic Regression Test Selection Based on a File Cache
XACMUT: XACML 2.0 Mutants Generator
Dependency-Based Test Case Selection and Prioritization in Embedded Systems
A Benchmarking Suite for Measurement-Based WCET Analysis Tools
A JML Compiler Based on AspectJ
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Investigating NLP-Based Approaches for Predicting Manual Test Case Failure
Design principles in test suite architecture
CBR: Controlled Burst Recording
Extension-Aware Automated Testing Based on Imperative Predicates
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment
Regression Test Generation by Usage Coverage Driven Clustering on User Traces
Scaling Model Checking for Test Generation Using Dynamic Inference
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters
Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World
Re-visiting the coupling between mutants and real faults with Defects4J 2.0
Combinatorial Testing with Order Requirements
Identifying and Mitigating Flaky Tests in JavaScript
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models
IWCT 2017 Organizers
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
On Modeling of GUI Test Profile
Android Fuzzing: Balancing User-Inputs and Intents
Test Automation Challenges for Application Landscape Frameworks
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts
Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practice
TestSage: Regression Test Selection for Large-Scale Web Service Testing
Maintenance of Android Widget-Based GUI Testing: A Taxonomy of Test Case Modification Causes
Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification Error
Adversarial Testing with Reinforcement Learning: A Case Study on Autonomous Driving
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Functionality
Systematically Generated Formulas for Spectrum-Based Fault Localization
Enhancing Trust - Software Vulnerability Analysis Framework
Towards Improving Automated Testing with GraphWalker
On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation
Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer
Testing big data (Assuring the quality of large databases)
Achievements, Open Problems and Challenges for Search Based Software Testing
Session-Based Recommender Systems for Action Selection in GUI Test Generation
LBTest: A Learning-Based Testing Tool for Reactive Systems
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java
Testing Software in Production Environments with Data from the Field
Effectively Sampling Higher Order Mutants Using Causal Effect
Software Test Architectures and Advanced Support Environments for IoT
JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs
Test Case Prioritization for Compilers: A Text-Vector Based Approach
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages
Comparison of Unit-Level Automated Test Generation Tools
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems
Novel Algorithm to Solve the Constrained Path-Based Testing Problem
Model Based Testing of System Requirements using UML Use Case Models
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification
An Integrated Model-Driven Approach for Mechatronic Systems Testing
Optimal Scheduling for Combinatorial Software Testing and Design of Experiments
Fully Automated Game Testing via Neuroevolution
Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization
Applying a Pairwise Coverage Criterion to Scenario-Based Testing
Learning to Optimize the Alloy Analyzer
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
On Using k-means Clustering for Test Suite Reduction
Automatically Discovering, Reporting and Reproducing Android Application Crashes
On The Efficiency Of Combination Of Program Slicing and Spectrum-Based Fault Localization
Text2Test: Automated Inspection of Natural Language Use Cases
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution
Test Policy: Gaining Control on IT Quality and Processes
Quality Assurance of Software Applications Using the In Vivo Testing Approach
Introducing Test Case Derivation Techniques into Traditional Software Development: Obstacles and Potentialities
Statistical Model Checking Meets Property-Based Testing
Non-Intrusive Documentation-Driven Integration Testing
Statechart Analysis with Symbolic PathFinder
A System for Automated Unit Test Generation using Large Language Models and Assessment of Generated Test Suites
Automatic XACML Requests Generation for Policy Testing
Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
A Testability Analysis Framework for Non-functional Properties
Fuzzinator: An Open-Source Modular Random Testing Framework
Implementation-Oriented Mutation Testing of Statechart Models
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods
Test Case Generation for Dialogflow Task-Based Chatbots
Test generation and execution for security rules in temporal logic
Combinatorial Testing on Implementations of HTML5 Support
Web Mutation Testing
Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations
Automated Test of Interactive Applications Using Task Trees
Model-Based Exploratory Testing: A Controlled Experiment
Mutation Testing for Java Database Applications
On the Industrial Applicability of TextTest: An Empirical Case Study
An Empirical Study on Bayesian Network-based Approach for Test Case Prioritization
Predicting Attack-prone Components
Business Process Compliance via Security Validation as a Service
Combinatorial Coverage Measurement Concepts and Applications
Model-Based Testing Computer Games: Does It Work?
Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness
Mutant Subsumption Graphs
Proposal for Enhancing UTP2 with Test Aspects
An Investigation of Compression Techniques to Speed up Mutation Testing
Fast Kernel Error Propagation Analysis in Virtualized Environments
A Taint Based Approach for Smart Fuzzing
Generating Transition Probabilities for Automatic Model-Based Test Generation
Monitoring and Testing with Case Observer Automata: An Industry Report
Federated Learning under Attack: Game-Theoretic Mitigation of Data Poisoning
Lessons learnt from using DSLs for automated software testing
Generating C# Programs from CSP# Models
DITEC (DoD-Centric and Independent Technology Evaluation Capability): A Process for Testing Security