Static Analysis Symposium 2024 Artifacts
Published August 12, 2024 | Version v1
Software Open

Trace Partitioning as an Optimization Problem (Artifact)

Authors/Creators

  • 1. ROR icon Laboratoire d'Intégration des Systèmes et des Technologies
  • 2. ROR icon Université de Lorraine
  • 3. ROR icon Laboratoire Lorrain de Recherche en Informatique et ses Applications
  • 4. ROR icon Université Paris-Saclay

Files

Readme.md

Files (5.6 GB)

Name Size
md5:2d74c7d6b565fdbc4d6dd99a21d7e90f
15.5 kB Preview Download
md5:347440f29b1881917fc6c8c79033de19
5.6 GB Download