serperu

Pinned Repositories

EDG
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
Language:Java2 4 00
JavaSlicer
A program slicer for Java, based on the system dependence graph (SDG).
Language:Java53 6 3118
cuter
A concolic testing tool for the Erlang functional programming language.
Language:Erlang0 0 00
edbc
Erlang Design by Contract
Language:Erlang0 0 00
gpb
A Google Protobuf implementation for Erlang
Language:Erlang0 0 00
proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language:Erlang0 0 00
secer
SecEr: Erlang Code Evolution Control Tool
Language:Erlang12 1 01

serperu's Repositories

serperu/secer
SecEr: Erlang Code Evolution Control Tool
Language:Erlang12 1 01
serperu/cuter
A concolic testing tool for the Erlang functional programming language.
Language:Erlang0 0 00
serperu/edbc
Erlang Design by Contract
Language:Erlang0 0 00
serperu/gpb
A Google Protobuf implementation for Erlang
Language:Erlang0 0 00
serperu/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language:Erlang0 0 00