Beyer, Dirk ; Jakobs, Marie-Christine (2021)
Cooperative verifier-based testing with CoVeriTest.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00587-8
Article, Bibliographie
This is the latest version of this item.
| Item Type: | Article |
|---|---|
| Erschienen: | 2021 |
| Creators: | Beyer, Dirk ; Jakobs, Marie-Christine |
| Type of entry: | Bibliographie |
| Title: | Cooperative verifier-based testing with CoVeriTest |
| Language: | English |
| Date: | 2021 |
| Publisher: | Springer |
| Journal or Publication Title: | International Journal on Software Tools for Technology Transfer |
| Volume of the journal: | 23 |
| Issue Number: | 3 |
| DOI: | 10.1007/s10009-020-00587-8 |
| Corresponding Links: | |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Semantics and Verification of Concurrent Programs |
| Date Deposited: | 30 Nov 2021 13:50 |
| Last Modified: | 28 Mar 2024 08:53 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Available Versions of this Item
-
Cooperative verifier-based testing with CoVeriTest. (deposited 19 Mar 2024 13:49)
- Cooperative verifier-based testing with CoVeriTest. (deposited 30 Nov 2021 13:50) [Currently Displayed]
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum