My favorites | Sign in
User Profile

Username: csallner@gmail.com
Starred developers: None


Projects
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
Powered by Google Project Hosting