Items where Division is "20 Department of Computer Science > Semantics and Verification of Concurrent Programs" and Year is [pin missing: value2]

TU Darmstadt (3)
- 20 Department of Computer Science (3)
  - Semantics and Verification of Concurrent Programs (3)

Group by: Creators | Date | Item Type | Language | No Grouping

Number of items at this level (without sub-levels): 3.

Beyer, Dirk ; Jakobs, Marie-Christine (2024)
Cooperative verifier-based testing with CoVeriTest.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023451
Article, Secondary publication, Publisher's Version

Jakobs, Marie-Christine (2024)
CoVeriTest: interleaving value and predicate analysis for test-case generation.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (6)
doi: 10.26083/tuprints-00023915
Article, Secondary publication, Publisher's Version

This list was generated on Sat Dec 21 15:58:43 2024 CET.

OAI 2.0 -Basis-URL: https://tuprints.ulb.tu-darmstadt.de/cgi /oai2 TUprints verwendet EPrints 3 .

Export as	Atom RSS 1.0 RSS 2.0