Pinned Repositories
EDG
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
JavaSlicer
A program slicer for Java, based on the system dependence graph (SDG).
cuter
A concolic testing tool for the Erlang functional programming language.
edbc
Erlang Design by Contract
gpb
A Google Protobuf implementation for Erlang
proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
secer
SecEr: Erlang Code Evolution Control Tool
serperu's Repositories
serperu/secer
SecEr: Erlang Code Evolution Control Tool
serperu/cuter
A concolic testing tool for the Erlang functional programming language.
serperu/edbc
Erlang Design by Contract
serperu/gpb
A Google Protobuf implementation for Erlang
serperu/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang