glockyco

PhD Student in Software Engineering at Alpen-Adria-Universität Klagenfurt

Alpen-Adria-Universität Klagenfurt

Pinned Repositories

active-mq-in-red-hat-fuse
Language:Java0 1 00
ags3-pocket-factory
Language:Scala0 1 00
clc3-project
Language:Java0 1 00
holo-path
Language:C#0 2 00
icse2024-docsym-paper
Language:TeX0 1 00
icse2024-docsym-poster
Language:TeX0 1 00
movies-example-application
Language:Java0 2 00
odata-example-application
Language:C#1 1 00
PASDA
Language:Java0 0 01
scalable-coffee-shop
Language:Java0 0 00

glockyco's Repositories

glockyco/odata-example-application
Language:C#1 1 00
glockyco/active-mq-in-red-hat-fuse
Language:Java0 1 00
glockyco/ags3-pocket-factory
Language:Scala0 1 00
glockyco/clc3-project
Language:Java0 1 00
glockyco/conference-crawler
Language:Python0 1 00
glockyco/EqBench
Language:Java0 0 00
glockyco/holo-path
Language:C#0 2 00
glockyco/icse2024-docsym-paper
Language:TeX0 1 00
glockyco/icse2024-docsym-poster
Language:TeX0 1 00
glockyco/identityserver4-sample-application
Language:C#0 0 00
glockyco/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Language:Java00
glockyco/jpf-nhandler
Language:Java00
glockyco/jpf-symbc
Symbolic PathFinder
Language:Java00
glockyco/movies-example-application
Language:Java0 2 00
glockyco/PASDA
Language:Java0 0 01
glockyco/scalable-coffee-shop
Language:Java0 0 00
glockyco/qualisign
Language:Scala2 35
glockyco/qualisign-analysis
Language:Python
glockyco/QuixBugs
A multi-lingual program repair benchmark set based on the Quixey Challenge
Language:Python0 0