Username:
csallner@gmail.com
Starred developers:
None
| Role |
Project |
Summary |
| Owner |
check-n-crash
|
Check 'n' Crash and its successor DSD-Crasher are completely automated tools for bug finding |
| Owner |
jcrasher
|
An automatic robustness tester for Java |
| Owner |
roops
|
Benchmarks for reachability in object-oriented programs |
| Committer |
seteam3
|
Spring 2011 SE Project
|
|
Starred by csallner@gmail.com
|
| Type |
Name |
Summary |
| Project |
java-on-contracts
|
A highly customizable DBC library for Java.
|
| Project |
jvm-language-runtime
|
A set of APIs and utilities for building language implementations on the JVM
|
| Project |
roops
|
Benchmarks for reachability in object-oriented programs
|
| Project |
billme6
|
android application
|
| Project |
suggestmemovie
|
Android Application that will suggest movies based on my favorite list
|
| Project |
jchord
|
A Static and Dynamic Program Analysis Platform for Java
|
| Project |
gag
|
Google Annotations Gallery
|
| Project |
happyair
|
application to access air qulity index
|
| Project |
volatility
|
An advanced memory forensics framework
|
| Project |
google-guice
|
Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 5 and above, brought to you by Google.
|
| Project |
randoop
|
Random test generation
|
| Project |
robotium
|
It's like Selenium, but for Android™
|
| Project |
cofoja
|
Contracts for Java
|
| Project |
ucombinator
|
a static analysis framework for higher-order languages
|