Complementary test selection criteria for model-based testing of security components

No abstract is available for this paper.

• Publication year

  2018

• Venue

  International Journal on Software Tools for Technology Transfer (STTT)

• Publication date

  2018-02-28

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/s10009-018-0489-2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model‐based security testing: a taxonomy and systematic classification

  2016cited by this paper
• Model‐based mutation testing from security protocols in HLPSL

  2015cited by this paper
• How Effective Are Code Coverage Criteria?

  2015cited by this paper
• Standard glossary of terms used in Software Testing

  2014cited by this paper
• T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols

  2014cited by this paper
• Coverage Criteria for Model-Based Testing using Property Patterns

  2014influential reference
• Why does cryptographic software fail?: a case study and open problems

  2014cited by this paper
• MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned

  2014cited by this paper
• Supporting the Combined Selection of Model-Based Testing Techniques

  2014cited by this paper
• Risk-Based Vulnerability Testing Using Security Test Patterns

  2014cited by this paper
• A test-based security certification scheme for web services

  2013cited by this paper
• Machine-Readable Privacy Certificates for Services

  2013cited by this paper
• Online Model-Based Behavioral Fuzzing

  2013cited by this paper
• Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience

  2013influential reference
• A taxonomy of model‐based testing approaches

  2012cited by this paper
• A model-based approach to automated testing of access control policies

  2012cited by this paper
• Selection of Software Testing Technique: A Multi Criteria Decision Making Approach

  2011cited by this paper
• A Classification for Model-Based Security Testing

  2011cited by this paper
• Model-Based Security Verification and Testing for Smart-cards

  2011cited by this paper
• An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project

  2010cited by this paper
• Modeling and Testing SecureWeb Applications

  2010cited by this paper
• Research on Software Security Testing

  2010cited by this paper
• Attacking and fixing PKCS#11 security tokens

  2010cited by this paper
• Generating tests from B specifications and dynamic selection criteria

  2009cited by this paper
• A Model-Based Framework for Security Policy Specification, Deployment and Testing

  2008cited by this paper
• j-POST: a Java Toolchain for Property-Oriented Software Testing

  2008cited by this paper
• Using model-checkers to generate and analyze property relevant test-cases

  2008cited by this paper
• Model-Based Tests for Access Control Policies

  2008cited by this paper
• Test-Driven Assessment of Access Control in Legacy Applications

  2008cited by this paper
• A subset of precise UML for model-based testing

  2007cited by this paper
• Model-Driven Testing: Using the UML Testing Profile

  2007cited by this paper
• An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies

  2007cited by this paper
• A survey of algebraic properties used in cryptographic protocols

  2006cited by this paper
• TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

  2005cited by this paper
• Test case generation by OCL mutation and constraint solving

  2005cited by this paper
• Model-Based Testing of Cryptographic Protocols

  2005cited by this paper
• A Characterisation Schema for Software Testing Techniques

  2005cited by this paper
• Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

  2005cited by this paper
• Specification-based testing with linear temporal logic

  2004cited by this paper
• Secure systems development with UML

  2004cited by this paper
• Automatic Test Generation with AGATHA

  2003cited by this paper
• Using a model checker to test safety properties

  2001cited by this paper
• Formally testing fail-safety of electronic purse protocols

  2001cited by this paper
• STG: a tool for generating symbolic test programs and oracles from operational specifications

  2001cited by this paper
• Patterns in property specifications for finite-state verification

  1999cited by this paper
• Using model checking to generate tests from requirements specifications

  1999cited by this paper
• Tool Supported Specification and Simulation of Distributed Systems

  1998cited by this paper
• Black Box Testing: Techniques for Functional Testing of Software and Systems

  1996cited by this paper
• Support for comprehensive reuse

  1991cited by this paper

• Cluster Analysis of Security Threats in Web Applications: A Multiphase SDLC Analysis

  2025cites this paper
• Model-Based Fuzzing Using Symbolic Transition Systems

  2020cites this paper
• PRACTICAL FRAMEWORK FOR SOFTWARE INTEGRITY MEASUREMENT BASED ON STATIC ANALYSIS

  year unknowncites this paper
• Model-Based Fuzzing Using Symbolic Transition Systems

  year unknowncites this paper