Formal Approaches to Software Testing

DOI10.1007/B106767zbMATH Open1081.68571OpenAlexW2502633158MaRDI QIDQ5710656FDOQ5710656

Authors: Hyoung Seok Hong, Hasan Ural 

Publication date: 2 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106767

Recommendations

• Using Model Checking to Generate Fault Detecting Tests
• scientific article; zbMATH DE number 2102699
• Combining model checking and testing
• Model Checking Using Generalized Testing Automata
• scientific article; zbMATH DE number 2038698
• scientific article; zbMATH DE number 1614699
• Model checking, testing and verification working together

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Automatic software test data generation for spanning sets coverage using genetic algorithms
• Test-data generation for control coverage by proof
• Theoretical Aspects of Computing - ICTAC 2004
• On the order of test goals in specification-based testing
• Title not available (Why is that?)

This page was built for publication: Formal Approaches to Software Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5710656)