MateusAraujoBorges/janala2
a concolic testing engine for Java
Developer Profile
MateusAraujoBorges
Discovered public repositories for MateusAraujoBorges in the GitHub catalog.
MateusAraujoBorges/motorola-ftestes-15
Materiais adicionais utilizados no curso de Ferramentas de Teste em 2015.1
MateusAraujoBorges/pp
Disciplina de Programação Paralela do CIn-UFPE
MateusAraujoBorges/rwset
Public repository.
MateusAraujoBorges/you-fb
Public repository.
MateusAraujoBorges/scriptviz
Public repository.
MateusAraujoBorges/cheepcheep
Set Coverage applied to SPL
MateusAraujoBorges/perfectatm
ATM system developed in Perfect
MateusAraujoBorges/contests
some solutions for problems from programming competitions
MateusAraujoBorges/boiler
Boiler control system in CSP-M (university project)
MateusAraujoBorges/music-computing
Public repository.