Find the word definition

The Collaborative International Dictionary
Douglas Harper's Etymology Dictionary

n. (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proff of a proposition by showing that its negation leads to a contradiction [syn: reductio ad absurdum]


Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.

The primary objective of Reductio is to make testing as rigorous as possible, while alleviating developer effort through automation of many common testing tasks. Reductio includes usage examples that demonstrate how this objective has been met using both traditional Java 1.5 and Java 7 BGGA syntax as well as Scala programming language examples.

  • Java 1.5 examples
  • Java BGGA examples
  • Scala examples