HOL-TestGen
Specification-based test case generator built on Isabelle/HOL
TestKit
Unit testing framework for Objective-C on Mac OS X
Tool overview
TestKit is a unit testing framework for Mac OS X and Objective-C, modelled after JUnit. It lets Cocoa developers write unit tests against objects, with command-line and graphical test runners.
TestKit is available on SourceForge; the last update dates from 2013.
Useful links
Official website
Screenshots & video
Community reviews
Login to Write Your ReviewThere are no reviews yet.
Source & attribution
Original contributor
Jean-Baptiste CROUIGNEAU
Original listing URL
External references
https://sourceforge.net/projects/testkit/
XMLTestSuite
XML-based testing of web applications
Isolator
Mocking and unit testing tool for .NET
Serenity BDD
BDD and automated acceptance testing with living documentation
Harness
Object-oriented framework for functional testing of Java software
AntUnit
Apache Ant library for testing Ant tasks and types