Vetii / wara-sw

WASP Research Arena for Software

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

WASP Research Arena for Software

The WARA for Software is a planned WASP research arena. Its goals are to

  • Foster collaboration between software technology and software engineering researchers and WASP industrial partners
  • Provide a research focus for WASP software technology and software engineering researchers
  • Provide resources for software technology and software engineering researchers, especially students
  • Support Open Source software through
    • Analysing and improving selected Open Source software projects
    • Contributing Open Source software development tools
    • Understanding strengths and limitations of existing tools and processes in the Open Source development process

Software Artifacts

Software artifacts collected and curated for further software research

Github repositories by WASP Software students

  • VoTE: Formal Verification of Tree Ensembles
  • MetaDL: A Datalog extension for program analysis using syntactic patterns
  • JBrainy: Benchmarking and performance analysis of Java data structures by fuzzing

About

WASP Research Arena for Software