aduquet Goto Github PK

arm-testoracle-extention

arm-testoraclegeneration

we developed a method which generates test oraclesby comparing information extracted from object state data created during the execution of two subsequent versions of the SUT

assessing-the-strength-of-metamorphic-testing

blitz

Blitz++ Multi-Dimensional Array Library for C++

bugsinpy

BugsInPy: Benchmarking Bugs in Python Projects

clustering_microbial-growth

yeasts are important cell factories for the transition towards more sustainable industrial processes. Their physiological characterization in bioreactors generates large amounts of data that is manually analyzed by the scientists to find patterns and cluster the growth into different phases. The development of improved tools for efficient and accurate data analysis is essential for bioprocesses. We want to present a tool that can organize, cluster, and derive meaningful patterns from the physiological characterization of microbial cell factories.

colt-javalibrary

Original source of CERN Colt library, as the homepage https://dst.lbl.gov/ACSSoftware/colt/ doesn't contain it anymore

datasharing

The Leek group guide to data sharing

deepdiveinto_memo-maltesque22

deeplearningfornlpinpytorch

An IPython Notebook tutorial on deep learning for natural language processing, including structure prediction.

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

exploring-atheris

I forked this repo for reproducing its examples

flask-hello-world

Flask Hello World Example for Render

flutter-quizstar

This is a Quiz App With Timer In Flutter

flutterapp

This is a small application, to get started in the dart programming language and the Flutter framework.

fuzzingbook

Project page for "The Fuzzing Book"

fuzzingexp-googleoss-fuzz

This repo explores Google OSS-Fuzz

kmeans_python

El K-means es un método de Clustering que separa ‘K’ grupos de objetos (Clusters) de similar varianza, minimizando un concepto conocido como inercia

matmute-docker

memo

metaexplorex-logs

This repository contains log files and example data for the MetaExploreX tool, a visualisation and exploration tool designed for analysing the outcomes of metamorphic testing.

metaexplorex-masterthesis

metatrimmer

mrs-where2findthem

Metamorphic Relations and Where to Find Them :)

mypublications

numpy

The fundamental package for scientific computing with Python.

phdstuff_repo

predicting-survived-and-killed-mutants

probabilistic-programming-and-bayesian-methods-for-hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

pyc-cfg

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.