Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA)

Type: All

Visibility: All

Sort by: Most downloads

8 packages

artemis-javabuild
Published Mar 4, 2024 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/SWT1-Artemis-BuildContainer

297
webcorc-frontend
Published Jan 30, 2026 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/WebCorC

289
webcorc-backend
Published Jan 30, 2026 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/WebCorC

261
cfmtoolbox-webeditor-backend
Published May 23, 2025 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/cfmtoolbox-webeditor

156
cfmtoolbox-webeditor-frontend
Published May 23, 2025 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/cfmtoolbox-webeditor

128
webcorc-backend-main
Published Feb 2, 2026 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/WebCorC

114
webcorc-frontend-main
Published Feb 2, 2026 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/WebCorC

86
vari-joern
Published Jun 13, 2025 by Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA) in KIT-TVA/Vari-Joern

25