Formal Approaches to Software Testing

DOI10.1007/B106767zbMath1081.68571OpenAlexW2502633158MaRDI QIDQ5710656

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

Mathematics Subject Classification ID

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

Related Items (2)

On the order of test goals in specification-based testing ⋮ Test-data generation for control coverage by proof

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