davidhonfi

Pinned Repositories

• abcd-vcs-ci-lab

  vcs-ci-lab created for abcd

  Language:Java0120

• ACsapat-verification-lab

  verification-lab created for ACsapat

  Language:Java0300

• Akarmi-vcs-ci-lab

  vcs-ci-lab created for Akarmi

  Language:Java0110

• Alma-vcs-ci-lab

  vcs-ci-lab created for Alma

  Language:Java0110

• alpha-team-vcs-ci-lab

  vcs-ci-lab created for alpha-team

  Language:Java0110

• Anonymous-vcs-ci-lab

  vcs-ci-lab created for Anonymous

  Language:Java0110

• Apples-vcs-ci-lab

  vcs-ci-lab created for Apples

  Language:Java0100

• base

  Sample application for the Systems Engineering Laboratory. Do not clone this repository - use the fork provided by the lab instructors.

  Language:Java510268

• autoisolator

  Tool for automatically generating mocks for white-box test generation

  Language:HTML01100

• seviz

  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

  Language:C#2022104

davidhonfi's Repositories