UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
DCOPolis was originally developed to provide a testbed for comparing Distributed Constraint Optimization (DCOP) algorithms in a sterile environment. It was the authors' opinion (along with many in the DCOP community) that existing metrics for comparing solution techniques did not adequately capture the many intricacies inherent in such a problem. A byproduct of this testbed is a framework in which a single representation of a DCOP problem can be solved by a multitude of different solution algorithms, either in simulation or deployed on a live (possibly ad-hoc) network.