Prevalence and Evolution of License Violations in npm and RubyGems Dependency Networks

von Makari, Ilyas Said
Veröffentlicht in ICSR (20. : 2022 : Online) Reuse and software quality (2022)

Result Invalidation for Incremental Modular Analyses

von Plas, Jens Van der
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)