Name: Pietro Braione
Type: User
Company: Università degli Studi di Milano-Bicocca
Bio: I am an associate professor working in the field of automated software analysis and test generation.
Twitter: PBraione
Location: Milan, Italy
argouml
Main project of argouml. Some information in the wiki. Some old releases in releases.
daikon
Dynamic detection of likely invariants
evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
fund-my-project
A directory of verified programs that offer grants + funding towards side projects/startups
gasp
A tool that performs WCET analysis on Java software
javassist
Java bytecode engineering toolkit
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
jbse-examples
Some examples to learn how to use JBSE
jbse-manual
A manual for using and modifying JBSE
jpose
Path-optimal symbolic execution, in Java
ocaml
The core OCaml system: compilers, runtime system, base libraries
pose
Path-optimal symbolic execution
sushi
The SUSHI test case generator
sushi-experiments
Various SUSHI experiments (data structures, GanttProject, TSAFE)
sushi-experiments-closure01
Google Closure compiler SUSHI experiment, bug 01
sushi-experiments-closure72
Google Closure compiler SUSHI experiment, bug 72
sushi-lib
The runtime library part of SUSHI
tardis
The TARDIS concolic test case generator
tardis-experiments
Some experiment subjects that demonstrate the use of TARDIS
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
