Formal Approaches to Software Testing

DOI10.1007/b106767zbMath1081.68638OpenAlexW2502633158MaRDI QIDQ5710640

Gaoyan Xie, Zhe Dang

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

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach

Uses Software

• MOCHA

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