Formal Approaches to Software Testing
From MaRDI portal
Publication:5902010
DOI10.1007/b95400zbMath1185.68233OpenAlexW2765906234MaRDI QIDQ5902010
Publication date: 4 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95400
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Repeated detection of conjunctive predicates in distributed executions ⋮ On Detecting Regular Predicates in Distributed Systems
This page was built for publication: Formal Approaches to Software Testing