Pinned Repositories
Bastet
BASTET program analysis and verification framework
FlaPy
A Tool for Mining Flaky Tests at Scale
IntelliGame
LitterBox
Static code analysis tool for detecting recurring patterns in Scratch projects.
pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
sbse2024
sbst-2021-tutorial
se2thesis
A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany
tool-competition-av
The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.
whisker
A Testing Utility for Scratch 3.0
Chair of Software Engineering II, Uni Passau's Repositories
se2p/Bastet
BASTET program analysis and verification framework
se2p/artifact-pynguin-ssbse2020
se2p/ps-wise-2021-exercises
Public Repo for Programming Styles WiSe 20-21
se2p/sbst-2021-tutorial
se2p/crisce-tool
This repository hosts the code of the CRISCE (CRItical SCEnario) tool by Jasim Ahmed and others.
se2p/programming-styles-ss-2020-public-tests
This repository hosts the public tests for the assignments of the Programming Style, SS2020
se2p/sbse2020
se2p/mutpy-pynguin
MutPy is a mutation testing tool for Python 3.x source code
se2p/pattern-examples
se2p/ps-wise-2021-program-description
Public repository hosting the description of the prorgam for the assignments
se2p/scratch-anomalies
Anomaly Detection in Scratch
se2p/st-examples
Examples for the Software Testing course
se2p/artifact-esecfse2019
Artifact for our paper on "Testing Scratch Programs Automatically"
se2p/artifact-scam2021
se2p/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
se2p/ps-2019-assignment-02-public-tests
The repository hosting the definition of the public tests for the second assignment of PS-2019
se2p/ps-2019-assignment-03-public-tests
The repository hosting the definition of the public tests for the third assignment of PS-2019
se2p/pylot
Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.
se2p/st-2020-lecture-examples
se2p/whisker-web
A Web GUI for Whisker - A Testing Utility for Scratch 3.0
se2p/ps-wise-2021-public-tests
This repo hosts the public tests for the assignments of Programming Styles WiSe 20-21
se2p/semantic-analysis
se2p/study-teacher-chall-opps
Replication package for the paper "Challenging but Full of Opportunities: Teachers' Perspectives on Programming in Primary Schools"
se2p/artifact-ase2020
Replication package for our paper "Verified from Scratch: Program Analysis for Learners’ Programs"
se2p/artifact-iticse2020
se2p/asm-example
se2p/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
se2p/frenetic-sbst21
Frenetic submission to the SBST21 competition
se2p/software-analysis-examples
Examples from the Software Analysis class
se2p/subjectiveLogic
A small framework with code to support and Subjective Logic operations and visualise results.