yusuke1997/dblp-id-title huggingface dataset:
Seeking information superiority: strategies for business in the commercial application of information operations
Taxonomy of WRT54G(S) Hardware and Custom Firmware
Securing Web Services with XML aware Digital Signatures
SOHO Wireless Intrusion Detection Systems - Cure or Placebo
Computer Security Research: Approaches and Assumptions
Benchmarking E-business Security: A Model and Framework
Detecting Rogue Access Points that endanger the Maginot Line of Wireless Authentication
Risk Management and Organisational Culture: The Implications of Computer Network Attacks and Malware Incidents on Organizational Risk Management
An investigation into the paradox of organisational flexibility versus security: A research project overview
Architecture for Self-Estimation of Security Level in Ad Hoc Network Nodes
Information Security: a Misnomer
Supporting efficient test automation using lightweight MBT
Risk-Driven Model-Based Testing of Washing Machine Software: An Industrial Case Study
An Initial Study of Customer-Reported GUI Defects
Prioritized Variable-length Test Cases Generation for Finite State Machines
IFRIT: Focused Testing through Deep Reinforcement Learning
The Art of Managing Flaky Tests at Scale
Show Me New Counterexamples: A Path-Based Approach
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing
Automatic Generation of Capability Leaks' Exploits for Android Applications
SAT Solvers for Queries over Tree Automata with Constraints
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing
Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010
Testing Processes
Challenges in Audit Testing of Web Services
Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMs
Using Property-Based Oracles when Testing Embedded System Applications
Towards a Test Automation Improvement Model (TAIM)
Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
Challenging Autonomy with Combinatorial Testing
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages
Simulation-Based Safety Testing Brake-by-Wire
Finding Minimum Locating Arrays Using a SAT Solver
CDM-Suite: An Attributed Test Selection Tool
Scaled Agile Framework: Presentation and real world example
Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings
Harnessing Test Call Structures for Improved Fault Localization Effectiveness
Property-Driven Software Engineering Approach
ODACE: An Appium-based Testing Automation Platform for Android Mobile Devices Certification
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?
Analysis of the Logical Consistency in Cassandra
Numerical Constraints for Combinatorial Interaction Testing
Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework
Automation Method for Testing XML/DB/XML Layers
FusionFL: A Statement-Level Feature Fusion Based Fault Localization Approach
A Case Study on the Efficiency of Model-Based Testing at the European Space Agency
Combinatorial Interaction Testing of a Java Card Static Verifier
Message from the Mutation 2017 Chairs
Improving Automated Testing of Multi-threaded Software
Testing Predictive Software in Mobile Devices
Mutation-Based Test Generation from Security Protocols in HLPSL
On the Predictability of Random Tests for Object-Oriented Software
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Migrating Autonomic Self-Testing to the Cloud
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study
Prediction of Undetected Faults in Safety-Critical Software
Overcoming Obstacles to Test-Driven Learning on Day One
Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions
Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings
Impact of Large Language Models of Code on Fault Localization
Mull It Over: Mutation Testing Based on LLVM
Random Mutant Selection and Equivalent Mutants Revisited
When Does My Program Fail?
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations
Using Multi-Locators to Increase the Robustness of Web Test Cases
A Language Framework for Test(-ware) Architecture
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
Pseudo-Exhaustive Testing of Attribute Based Access Control Rules
Techniques for Evolution-Aware Runtime Verification
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions
Empirical Studies on Test Effectiveness for Database Applications
On the Current State of Academic Software Testing Education in Sweden
A Comparison of Test Case Prioritization Criteria for Software Product Lines
Challenges for Addressing Quality Factors in Model Transformation
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking
Towards systematic mutations for and with ATL model transformations
Rank: A Tool to Check Program Termination and Computational Complexity
SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders
Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs
Test Instrumentation and Pattern Matching for Automatic Failure Identification
Test Conglomeration - Proposal for Test Design Notation Like Class Diagram
Improving Regression Testing Transparency and Efficiency with History-Based Prioritization - An Industrial Case Study
Smartesting CertifyIt: Model-Based Testing for Enterprise IT
MutaLog: A Tool for Mutating Logic Formulas
Prioritising Refactoring Using Code Bad Smells
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach
Software Product Line Testing - A 3D Regression Testing Problem
State of the Practice in Software Testing Teaching in Four European Countries
An Empirical Study on the Use of Defect Prediction for Test Case Prioritization
The Use of Intra-Release Product Measures in Predicting Release Readiness
SYSMODIS: A Systematic Model Discovery Approach
Poster: Improving Spectrum Based Fault Localization For Python Programs Using Weighted Code Elements
On model-based testing advanced GUIs
Test Design with the Classification Tree Method in Presence of Variants
An Initial Characterization of Industrial Graphical User Interface Systems
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
Organization of Testing Activities in Norwegian Software Companies
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Computing Sequence Covering Arrays using Unified Combinatorial Interaction Testing
Optimization of automated executions based on integration test configurations of embedded software
Effective Partial Order Reduction in Model Checking Database Applications
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System
Looking for Patterns in Code Bad Smells Relations
Multi-objective Test Suite Optimization for Incremental Product Family Testing
Semantic-Preserving Transformations as Mutation Operators: A Study on Their Effectiveness in Defect Detection
Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review
Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events
We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
Analysis of Mistakes as a Method to Improve Test Case Design
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization
Reusing Automated Regression Tests for Multiple Variants of a Software Product Line
On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs
IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023
Evaluation of the Choice of LLM in a Multi-Agent Solution for GUI-Test Generation
An Analysis of OO Mutation Operators
PALM at the ICST 2025 Tool Competition - UAV Testing Track
Poster: Unit Testing Past vs. Present: Examining LLMs' Impact on Defect Detection and Efficiency
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study
Validating Service Value Propositions Regarding Stakeholder Preferences
Automatic Model Inference of Web Applications for Security Testing
Online Test Generation with PathCrawler: Tool Demo
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
Identifying Randomness related Flaky Tests through Divergence and Execution Tracing
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool
A Topic Model and Test History-Based Test Case Recommendation Method for Regression Testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Verified Firewall Policy Transformations for Test Case Generation
Differential Testing of Concurrent Classes
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level
ML-Based Test Case Prioritization: A Research and Production Perspective in CI Environments
Process Mining on a Robotic Mechanism
Dissecting Strongly Subsuming Second-Order Mutants
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment
Profiting from Unit Tests for Integration Testing
Applying Combinatorial Testing to Data Mining Algorithms
Parallel Many-Objective Search for Unit Tests
Detecting Higher-Order Merge Conflicts in Large Software Projects
Reconstructing Core Dumps
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker
Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application
Improving Mobile User Interface Testing with Model Driven Monkey Search
Security policy testing using vulnerability exploit chaining
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing
An Empirical Comparison of Mutant Selection Assessment Metrics
LiFT: Driving Development Using a Business-Readable DSL for Web Testing
Causal Test Adequacy
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation
Grammar-Based Testing Using Realistic Domains in PHP
Search-Based Application Security Testing: Towards a Structured Search Space
Applying Pattern-Based Graphical Validation Rules to Business Process Models
An Industrial Case Study of Bypass Testing on Web Applications
Software Testing Using Test Sheets
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems
Automatic Test Generation for Coverage Analysis of ERTMS Software
IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
Challenges in Automated Testing Through Graphical User Interface
Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
ITS4SDC at the ICST 2025 Tool Competition - Self-Driving Car Testing Track
IPEG: Utilizing Infeasibility
A study on an approach for analysing test basis using I/O test data patterns
The Impact of List Reduction for Language Agnostic Test Case Reducers
Test Agents: The Next Generation of Test Cases
Efficient JavaScript Mutation Testing
Automated Fault-Tolerance Testing
Agents for Automated User Experience Testing
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Test Automation with Grad-CAM Heatmaps - A Future Pipe Segment in MLOps for Vision AI?
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
Poster: Repair Cross Browser Layout Issues by Combining Learning and Search-based technique
Automated Client-Side Monitoring for Web Applications
Search-Based Propagation of Regression Faults in Automated Regression Testing
IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays
AIs Understanding of Software Test Architecture
Identifying Pitfalls of System Integration - An Exploratory Study
Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information
Privacy-Preserving in Federated Learning: A Comparison between Differential Privacy and Homomorphic Encryption across Different Scenarios
An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams
Uncertainty-Driven Black-Box Test Data Generation
AutoKG - An Automotive Domain Knowledge Graph for Software Testing: A position paper
Automatically Removing Unnecessary Stubbings from Test Suites
Summary of Model Checking C++ Programs
E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-Level Tests
An environment for benchmarking combinatorial test suite generators
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects
A Practical Method for API Testing in the Context of Continuous Delivery and Behavior Driven Development
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite
MOST: A Multi-objective Search-Based Testing from EFSM
Towards mutation analysis of Android apps
Testing cyber-physical systems with explicit output coverage
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles
Teaching Test-Driven Development and Object-Oriented Design by Example
Challenges of End-to-End Testing with Selenium WebDriver and How to Face Them: A Survey
The Inversive Relationship Between Bugs and Patches: An Empirical Study
Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault
Does Hardware Configuration and Processor Load Impact Software Fault Observability?
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System
Automated Testing of Basic Recognition Capability for Speech Recognition Systems
Defining and Matching Test-Based Certificates in Open SOA
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow
A Case Against Coverage-Based Program Spectra
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations
Testing Natural Language Grammars
IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024
We're Finding Most of the Bugs, but What are We Missing?
CARIAL: Cost-Aware Software Reliability Improvement with Active Learning
PIT-HOM: an Extension of Pitest for Higher Order Mutation Analysis
A Method of Making Single Function Tests for Constituting Scenario Tests
Trial of Organizing Software Test Strategy via Software Test Perspectives
Test Optimization Using Combinatorial Test Design: Real-World Experience in Deployment of Combinatorial Testing at Scale
Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
An Empirical Evaluation of Assertions as Oracles
Improving IPOG's vertical growth based on a graph coloring scheme
Summary of: A Federated Society of Bots for Smart Contract Testing
Speculative Testing at Google with Transition Prediction
Searching the Boundaries of a Modeling Space to Test Metamodels
Exhaustive Exploration of Ajax Web Applications with Selective Jumping
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker
Clustering and Tailoring User Session Data for Testing Web Applications
Testing Cache Side-Channel Leakage
An analysis of widget layout attributes to support Android GUI-based testing
Automatic exploratory performance testing using a discriminator neural network
Automating Test Oracles for Systems with Complex Outputs
15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022
Fault sTypes of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs
Proposal of Testing Diagrams for Visualizing Test Cases
On the Automation of Testing a Logic-Based Diagnosis System
Automated Hybrid Fuzzing of Web APIs
14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021
Efficient Mutation Killers in Action
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps
Combinatorial Methods for Event Sequence Testing
Prioritizing Runtime Verification Violations
Win GUI Crawler: A tool prototype for desktop GUI image and metadata collection
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Overview of the ICST International Software Testing Contest
A Crosstab-based Statistical Method for Effective Fault Localization
Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial Project
The Impact of Concurrent Coverage Metrics on Testing Effectiveness
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
Broadcast vs. Unicast Review Technology: Does It Matter?
A Model-Based Approach to Generate Dynamic Synthetic Test Data
A Toolkit for Testing Stochastic Simulations against Statistical Oracles
Weighted Combinatorial Sequence Testing for the TLS Protocol
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning
Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries
Addressing Data Leakage in HumanEval Using Combinatorial Test Design
The Keystone to Support a Generic Test Process: Separating the "What" from the "How"
Automated security testing of Android applications for secure mobile development
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
Generation of All-Paths Unit Test with Function Calls
The Seed is Strong: Seeding Strategies in Search-Based Software Testing
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach
Automated compatibility testing method for software logic by using symbolic execution
PySE: Automatic Worst-Case Test Generation by Reinforcement Learning
Test Case Generation and Prioritization: A Process-Mining Approach
Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help
Poster: Towards Understanding Root Causes of Real Failures in Healthcare Machine Learning Applications
Test Quality Measurement Using TBPP-R
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios
From Nondeterministic UML Protocol Statemachines to Class Contracts
STILE: a Tool for Parallel Execution of E2E Web Test Scripts
A Theoretical Framework for Understanding Mutation-Based Testing Methods
EvoSuite at the SBST 2013 Tool Competition
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios Using Projectional Editing
A C++ implementation of the IPO algorithm
Lossless Reduction of Execution Profiles Using a Genetic Algorithm
Localizing Faults in SQL Predicates
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression Testing
Message from the A-MOST 2017 Chairs
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection
"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs
Accelerating Search-Based Program Repair
Identifying Failure-Inducing Combinations in a Combinatorial Test Set
CPT Manager: An Open Environment for Constrained Path-Based Testing
Mutating aspect-oriented models to test cross-cutting concerns
Practical Considerations in Control-Flow Integrity Monitoring
Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering
Black-Box Multi-Robustness Testing for Neural Networks
Refactoring as Testability Transformation
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
A Comparison Infrastructure for Fault Characterization Algorithms
Detecting Concurrency Errors in Client-Side Java Script Web Applications
Teaching Software Testing with Free and Open Source Software
Formally comparing user and implementer model-based testing methods
Documentation-based functional constraint generation for library methods
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects
Generating concrete test cases from vehicle data using models obtained from clustering
Combinatorial Test Architecture Design Using Viewpoint Diagram
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process
On the Effectiveness of Test Extraction without Overhead
Towards a Language and Framework for Penurious Testing
Optimization of Combinatorial Testing by Incremental SAT Solving
Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry
Search-Based Stress Testing of Wireless Network Protocol Stacks
EvoMaster: Evolutionary Multi-context Automated System Test Generation
Detecting Security Vulnerabilities with Software Architecture Analysis Tools
Industry-academia collaboration in software testing: An overview of TAIC PART 2015
A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants
Cloudify the RAN System Test Strategy
U-Fuzz: A Tool Prototype for Stateful Fuzzing of IoT Protocols on COTS Devices
Automated Generation of Constraints from Use Case Specifications to Support System Testing
Test Case Generation with Regular Expressions and Combinatorial Techniques
Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study
Modelling Requirements to Support Testing of Product Lines
Generic Approach for Security Error Detection Based on Learned System Behavior Models for Automated Security Tests
Investigating the dimensionality problem of Adaptive Random Testing incorporating a local search technique
Model-Based Mutation Testing of Real-Time Systems via Model Checking