se2p Goto Github PK

.github

artifact-ase2020

Replication package for our paper "Verified from Scratch: Program Analysis for Learners’ Programs"

artifact-esecfse2019

Artifact for our paper on "Testing Scratch Programs Automatically"

artifact-iticse2020

artifact-pynguin-ssbse2020

artifact-scam2021

asm-example

bastet

BASTET program analysis and verification framework

catnip

code-critters

A block-based mutation testing tool to teach software testing

crisce-tool

This repository hosts the code of the CRISCE (CRItical SCEnario) tool by Jasim Ahmed and others.

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

flapy

A Tool for Mining Flaky Tests at Scale

frenetic-sbst21

Frenetic submission to the SBST21 competition

gamekins-intellij-plugin

intelligame

litterbox

Static code analysis tool for detecting recurring patterns in Scratch projects.

mutpy-pynguin

MutPy is a mutation testing tool for Python 3.x source code

nuzzlebug

A debugger for Scratch

pattern-examples

perfumator

programming-styles-ss-2020-program-description

This repository hosts the description of the program that students must implement for the assignments of the Programming Style, SS2020

programming-styles-ss-2020-public-tests

This repository hosts the public tests for the assignments of the Programming Style, SS2020

ps-2019-assignment-02-public-tests

The repository hosting the definition of the public tests for the second assignment of PS-2019

ps-2019-assignment-03-public-tests

The repository hosting the definition of the public tests for the third assignment of PS-2019

ps-wise-2021-exercises

Public Repo for Programming Styles WiSe 20-21

ps-wise-2021-program-description

Public repository hosting the description of the prorgam for the assignments

ps-wise-2021-public-tests

This repo hosts the public tests for the assignments of Programming Styles WiSe 20-21

pylot

Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.

pynguin

The PYthoN General UnIt Test geNerator is a test-generation tool for Python