Towards Property Oriented Testing
From MaRDI portal
Publication:2870321
DOI10.1016/j.entcs.2007.06.001zbMath1279.68215OpenAlexW2067517605MaRDI QIDQ2870321
Daniel A. Silva, Alexandre Mota, Patrícia D. L. Machado
Publication date: 17 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.001
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items
Exhaustive property oriented model-based testing with symbolic finite state machines ⋮ Complementary Criteria for Testing Temporal Logic Properties
Uses Software
Cites Work
This page was built for publication: Towards Property Oriented Testing