yusuke1997/dblp-id-title huggingface dataset:
Verifying IP Meters from Sampled Measurements
Testing Ambient Assisted Living Solutions with Simulations
Principles and Tools for Testing Open Distributed Systems
Runtime Verification of C Programs
Compliance of Wireless Application Protocols
LLMs Can Check Their Own Results to Mitigate Hallucinations in Traffic Understanding Tasks
Learning and Integration of Parameterized Components Through Testing
Automated Testing in Practice: The Highway Tolling System
Framework and Model for Automated Interoperability Test and Its Application to ROHC
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
Promoting the Local Test Method, GSM Protocol Conformance Test Experience
Test Prioritization Based on the Coverage of Recently Modified Source Code: An Industrial Case Study
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization
Risk-Based Interoperability Testing Using Reinforcement Learning
Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13 th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada
Experiences of TTCN-3 Test Executor Development
Towards the Third Edition of TTCN
Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993
Querying Parametric Temporal Logic Properties on Embedded Systems
Testing of Communicating Systems: Method and Applications, IFIP TC6 12 th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary
The UBC Protocol Testing Environment
Development and Application of ATM Protocol Conformance Test System
Towards Testing Self-organizing, Adaptive Systems
Automated Localisation Testing in Industry with Test ^* ∗
Testing Non-Deterministic State Machines with Fault Coverage
Design of Prioritized N-Wise Testing
Checking Test Suite Efficacy Through Dual-Channel Techniques
Test Selection, Trace Distance and Heuristics
Testing Input/Output Partial Order Automata
Testing Timed Finite State Machines with Guaranteed Fault Coverage
Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware
Different Approaches to Protocol and Service Testing
How Do Different Types of Testing Goals Affect Test Case Design?
Binary Classification Optimisation with AI-Generated Data
Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992
Machine Learning Approach in Mutation Testing
Using Ant Colony Optimisation to Select Features Having Associated Costs
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL
State Identification Problems for Timed Automata
Automatic Generation of Test Oracles from Component Based Software Architectures
A Time Series Analysis of Assertions in the Linux Kernel
Generating Test Cases for a Timed I/O Automaton Model
The Way Towards Interoperability
Observability and Controllability Issues in Conformance Testing of Web Service Compositions
Principles of Distributed Test Synthesis based on True-concurrency Models
Case Studies in Learning-Based Testing
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing
On Evaluation of Testability of Protocol Structures
Applications of Sufficient Conditions for Efficient Protocol Test Generation
A Practical Evaluation Method of Network Traffic Load for Capacity Planning
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan
A Trusted Friend in the Middle of the Night: End-User Perspectives on Artificial Intelligence Informed Software Systems as a Decision-Making Aid for Patients and Clinicians Navigating Uncertainty in Kidney Transplant
GoNoGo: An Efficient LLM-Based Multi-agent System for Streamlining Automotive Software Release Decision-Making
Using Model Learning for the Generation of Mock Components
A Compositional Testing Framework Driven by Partial Specifications
UTTOS: A Tool for Testing UEFI Code in OS Environment
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
On the Variations of ChatGPT's Response Quality for Generating Source Code Across Programming Languages
An Approach for Test Selection for EFSMs Using a Theorem Prover
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms
Mutation Testing Applied to Validate SDL Specifications
Variations over Test Suite Reduction
A Bounded Incremental Test Generation Algorithm for Finite State Machines
On Interoperability Testing
Session on Test Suite Development
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
Distribution Visualization for User Behavior Analysis on LTE Network
BCMP Performance Test with TTCN-3 Mobile Node Emulator
Test Case Minimization for Real-Time Systems Using Timed Bound Traces
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations
Interoperability Testing System of TCP/IP Based Systems in Operational Environment
Generating Tests for Control Portion of SDL Specifications
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
Automatic Grammar-Based Test Generation
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols
Empirical Verification of TQED - A New Test Design Heuristic Technique
Homing Sequence Derivation with Quantified Boolean Satisfiability
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server
On the Evaluation of Test Suites Generated by Large Language Models
Modular System Verification by Inference, Testing and Reachability Analysis
Test Automation with TTCN-3 - State of the Art and a Future Perspective
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
Applying Formal Method in Mobile Protocol Testing
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice
Customized Testing for Probabilistic Systems
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
On Inconclusive Verdict in Conformance Testing
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
The UML 2.0 Testing Profile and Its Relation to TTCN-3
Fragility-Oriented Testing with Model Execution and Reinforcement Learning
Towards a GUI Test Model Using State Charts and Programming Code
Complete Property-Oriented Module Testing
Debugging into Examples
Search-Based Testing for Embedded Telecom Software with Complex Input Structures
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Assessing Test Adequacy for Black-Box Systems without Specifications
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
Testing Multi Input/Output Transition System with All-Observer
Adaptive Testing of Non-Deterministic Communication Protocols
Model-Based Testing of Industrial Transformational Systems
An Approach to Derive Usage Models Variants for Model-Based Testing
Efficient Distributed Test Architectures for Large-Scale Systems
Methods for Live Testing of Cloud Services
Test Architectures for Distributed Systems: State of the Art and Beyond
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Specification and Derivation of OSI Conformance Test Suites
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE
EvoSuite at the Second Unit Testing Tool Competition
Issues in Testing Fast Packet Services over the Broadband ISDN
Checking Experiments for Finite State Machines with Symbolic Inputs
Distinguishing Tests for Nondeterministic Finite State Machines
An Automated, Flexible Testing Environment for UMTS
Session on TTCN Compilers
Content-Level Conformance Testing: An Information Mapping Case Study
Remote Testing of Timed Specifications
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
A Framework for Testing AIS Implementations
Automated Transition Coverage in Behavioural Conformance Testing
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Reevaluating the Small-Scope Testing Hypothesis of Answer Set Programs
Synchronizing Heuristics: Speeding up the Slowest
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Using Distinguishing and UIO Sequences Together in a Checking Sequence
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution
Automated Test of TCP Congestion Control Algorithms
What Characterizes a Good Software Tester? - A Survey in Four Norwegian Companies
Bounded Sequence Testing from Non-deterministic Finite State Machines
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Real-Time Testing with TTCN-3
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP
Towards Integration of Compositional Risk Analysis Using Monte Carlo Simulation and Security Testing
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking
Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
T3, a Combinator-Based Random Testing Tool for Java: Benchmarking
On the Use of Imbalanced Datasets for Learning-Based Vulnerability Detection
Managing Execution Environment Variability during Software Testing: An Industrial Experience
Adaptive Localizer Based on Splitting Trees
False Positive Detection in Instrumentation and Control System Testing
Applying Pairwise Combinatorial Testing to Large Language Model Testing
Advanced Testing Tools For Intelligent Network
Test Construction for Mathematical Functions
N-Gram Based Test Sequence Generation from Finite State Models
A Framework for the Design for Testability of Communication Protocols
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
CaPTIF: Comprehensive Performance TestIng Framework
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3
Reducing the Lengths of Checking Sequences by Overlapping
Towards Automatic Generation of a Coherent TTCN-3 Template Framework
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach
Reverse-Engineering EFSMs with Data Dependencies
Test Data Generation for Programs with Quantified First-Order Logic Specifications
Verification of Test Suites
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation
Execution of External Applications using TTCN-3
CATANA: Replay Testing for the Ethereum Blockchain
Loop Unrolling: Formal Definition and Application to Testing
Automated Test Case Selection Based on Test Coverage Metrics
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing
Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Chatbots Using Metamorphic Relations
Distributed Critical Test Generation for Cyber-Physical Systems
Towards Model Construction Based on Test Cases and GUI Extraction
Fault Detection within a Component of a System of Communicating FSMs
Generation of Adaptive Test Cases from Nondeterministic Finite State Models
On Test Coverage Metrics for Communication Protocols
Relating Events for Conformance Testing - a Pragmatic Approach
Metamorphic Testing of Logic Theorem Prover
mu2: A Refactoring-Based Mutation Testing Framework for Erlang
Programming Service Tests with TTCN
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
Plan It! Automated Security Testing Based on Planning
The Silence of the LANs
Automated Generation of Interoperability Tests
On Testing Partially Specified IOTS through Lossless Queues
Inferring Finite State Machines Without Reset Using State Identification Sequences
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach
Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol
Conformance Testing of Multiprotocol IUTs
Active Learning of Extended Finite State Machines
Protocol Conformance Test Generation Using a Graph Rewriting System
The Limited Power of Testing
A Graph-Based Approach for Analysis of Software Security
Test Suite Migration Experiences for B-ISUP and B-MTP
Unit Testing Tool Competitions - Lessons Learned
Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems
Logging to Facilitate Combinatorial System Testing
Model-Based Testing of Optimizing Compilers
An Intuitive TTCN-3 Data Presentation Format
Symbolic Execution Techniques for Test Purpose Definition
Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction
Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
The FITTEST Tool Suite for Testing Future Internet Applications
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
Evaluation of Test Coverage for Embedded System Testing
Application of Two Test Generation Tools to an Industrial Case Study
Fault Coverage of UIO-based Methods for Protocol Testing
A Model-Based Approach for Robustness Testing
Counting for Random Testing
A Model Checking Based Approach for Detecting SDN Races
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
Regular Expression Learning with Evolutionary Testing and Repair
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem
Searching Critical Values for Floating-Point Programs
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation
Testing of Automata: From Experiments to Representations by Means of Fragments
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks
Attack Tolerance for Services-Based Applications in the Cloud
Model-Based Testing Service on the Web
All-IP Based Ultra 3G Network/Service Development in a Competitive Market
An Open Framework for Managed Regression Testing
Test Generation for Network Security Rules
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
Status Report on ISO/IEC 9646 Standardization and Extension
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Controllable Combinatorial Coverage in Grammar-Based Testing
Eliminating Redundant Tests in a Checking Sequence
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
Experiences with Computer Aided Test Suite Generation
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646
Test Generation for Specifications Modeled by Input/Output Automata
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures
FSM Based Interoperability Testing Methods for Multi Stimuli Model
Requirements-Driven Log Analysis (Extended Abstract)
Summary of Panel Presentations and Discussion
Detecting Observability Problems in Distributed Testing
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols
Using Partial-Orders for Detecting Faults in Concurrent Systems
Reducing the Cost of Model-Based Testing through Test Case Diversity
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs
Fault Models in Testing
Formal Test Automation: The Conference Protocol with PHACT
A New Approach To Checking Sequence Generation for Finite State Machines
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing
Enabling Next-Generation Cyber Ranges with Mobile Security Components
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
Fault Diagnosis in Extended Finite State Machines
Test Templates for Test Generation
Real Effects Testing of OSI Applications
Unfolding-Based Test Selection for Concurrent Conformance
Analyzing Response Inconsistencies in Test Suites
Automatic Fairness Testing of Machine Learning Models
Implementation of TTCN-3 Test Systems using the TRI
Model-Based Firewall Conformance Testing
Safety-Complete Test Suites
Prediction = Power
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings
The Challenge of QoS Verification
Testing and Model-Checking Techniques for Diagnosis
Test Generation for Deep Reinforcement Learning Using LRP-Guided Mutation of Classified Configurations
Towards a Knowledge Graph Based Approach for Vulnerable Code Weaknesses Identification
Conformance Relations and Test Derivation
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
Automated Exploration of Conversational Agents for the Synthesis of Testing Profiles
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements
A Multi-service and Multi-protocol Validation Platform-Experimentation Results
Neural Networks as Artificial Specifications
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
A Flexible Traffic Generator for Testing PABX and Call Center Performance
TestDCat: Catalog of Test Debt Subtypes and Management Activities
Testing in Practice - OSI Test Center
New Approach for EFSM-Based Passive Testing of Web Services
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
Fast Testing of Critical Properties through Passive Testing
Generating Checking Sequences for Partial Reduced Finite State Machines
Graph Methods for Generating Test Cases with Universal and Existential Constraints
Interaction Coverage Meets Path Coverage by SMT Constraint Solving
A Dynamic Approach to Locating Memory Leaks
Compositionality in Model-Based Testing
Compositional Testing of Communication Systems
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
Implementing MSC Tests with Quiescence Observation
The IS-IS Multi-Party Conformance Test System
Automated Test Case Selection Based on Subpurposes
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs
Extracting Threats from System Descriptions with LLMs Comparing One and Two Agents Strategies
Automatic Test Generation from Interprocedural Specifications
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs
Using Data Integration for Security Testing
Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing
Achieving High Reliability for Ubiquitous Information Technology
On the Design of the New Testing Language TTCN-3
Fault-Based Testing for Refinement in CSP
Towards Modeling and Testing of IP Routing Protocols
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning
Implementation Relations for the Distributed Test Architecture
Dependence Testing: Extending Data Flow Testing with Control Dependence
Testing Real-Time Systems Using TINA
An Empirical Evaluation of Search Algorithms for App Testing
A Trace Management Platform for Risk-Based Security Testing
Improving Model Inference via W-Set Reduction
Analyzing the Impact of Protocol Changes on Tests
From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices
Testing Mobile Agents
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
A Model-Based Approach to Testing Software for Critical Behavior and Properties
Parameterized GUI Tests
A Technique for Parallel GUI Testing of Android Applications
Annotation-Based Input Modeling for Combinatorial Testing
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation
Lessons From the Establishment of U.S. GOSIP Testing Program
Structural Coverage For LOTOS - a Probe Insertion Technique
Symbolic and on the Fly Testing with Real-Time Observers
Automatic Testing of Access Control for Security Properties
Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function
Automatic Summarization Evaluation: Methods and Practices
A Bench Mark on the Design of Ferry Based Test Systems
Text Derivation for Standardised Test Methods
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks
The Epistemology of Validation and Verification Testing
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones
Testing of 3G 1xEV-DV Stack - A Case Study
Test Derivation from Non-Deterministic Finite State Machines
From Safety Verification to Safety Testing
Decision on Tester Configuration for Multiparty Testing
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams
Performance Testing at Early Design Phases
Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata
C++11/14 Mutation Operators Based on Common Fault Patterns