𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Testing abstract behavioral specifications

✍ Scribed by Wong, Peter Y. H.; Bubel, Richard; de Boer, Frank S.; Gómez-Zamalloa, Miguel; de Gouw, Stijn; Hähnle, Reiner; Meinke, Karl; Sindhu, Muddassar Azam

Book ID
121546607
Publisher
Springer
Year
2014
Tongue
English
Weight
1019 KB
Volume
17
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relationship between specifications and
Relationship between specifications and testing
✍ PAV Hall 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 583 KB

The relations~tip between ~speci [Jcations and testing is explored through considering what can legitimately he deduced about software given its per[ormanee on a number ~!/ test eases. Current approaches to test ease construction are sketched, and then a number ~?[alternative approaches to test theo