An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology

Science of Computer Programming - Netherlands
doi 10.1016/s0167-6423(96)00032-9
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Elsevier BV

Related search

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software

IEEE Transactions on Software Engineering
Software
1995English

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Automatic Generation of Test Cases

IBM Systems Journal
1970English

Constructing Test Suites for Interaction Testing

2003English

Protocols for Watermark Verification

IEEE Multimedia
Media TechnologySignal ProcessingHardwareComputer Science ApplicationsArchitectureSoftware
2001English

Extension of Interface Signature Descriptions for Automatic Test Generation

2008English

An Automatic Verification Tool for Firewall Configurations

English

Automated Verification and Test Case Generation for Input Validation

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy