TU Darmstadt / ULB / TUprints

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date
Number of items: 2.

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

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

This list was generated on Mon Dec 2 13:30:14 2024 CET.