Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen

Über Yet Another QuickCheck for Java

Yaqc4j ist ein spezifikationsbasiertes Testframework, das auf QuickCheck for Haskell von John Hughes basiert. Es erstellt Testdaten automatisch über benutzerdefinierte und integrierte Generatoren. Dieses Projekt wird von der Universidad Nacional de Quilmes unterstützt.

Verwandte Programme

  • ds-Lucas kostenlos

    Project ds-Lucas ist ein einfaches PHP-Skript, das Ihre PHP-Skripte und HTML-Vorlagen trennt. Einschließlich Funktionen zur Ausgabe von mehrleitungen, Handhabung mit externen Dateiausgängen, Multi-Setting-Ausgänge.

  • HInput kostenlos

    HInput ist eine Eingabeabstraktionsschicht, die entwickelt wurde, um Spielcode von Eingabeimplementierungen zu entkoppeln. Das System ist vollständig datengesteuert und kann zur Laufzeit geändert und/oder konfiguriert werden.

  • P3: The Portable Unix Programming System kostenlos

    PUPS/P3 erleichtert die Entwicklung von Multi-Prozess-Multihost-Berechnungen, indem Tools zur Emulierung von Kolonien von heimostatischen Organismen zur Verfügung gestellt werden. Es ermöglicht permanente Berechnung, homeosta

  • Brainiac Artificial Intelligence kostenlos

    Brainiac, Is C/C++ Libraries, Programs, And Python, And Lua Scripts For Neural Networking And Genetic Programming, In An Attempt To Create A "Glue-It-All-Together" Project, Striving Towards General Artificial Intell

  • PeiAsm kostenlos

    PeiAsm Multi-Prozessor Assembler/Emulator für x86 Windows. -Kodiert von M. Keaton (Die Polyester-Methode)

  • Proton Voltage Control kostenlos

    BITTE, bevor Sie 1-Sterne verlassen, überprüfen Sie, ob Sie einen unterstützten Kernel auf einem Nexus S oder Nexus S 4G ausführen. Wir sind für Fehlerbehebungen über den untenstehenden Link "Website des Entwicklers besuche

  • syncSQL kostenlos

    syncSQL ist ein perl-serverseitiges CVS-Skript, das Commit-Informationen an eine mySQL-Datenbank sendet, sodass Commits über eine einfache Webseite oder einen beliebigen mySQL-Client angezeigt, nachverfolgt und gefiltert werd

  • GLipKit kostenlos

    GLipKit (GL Image Processing Kit) ist eine Sammlung von Bildverarbeitungs- und Computer-Vision-Algorithmen, die auf aktueller programmierbarer 3D-Grafikhardware für eine schnellere Ausführung durchgeführt werden. Der Hauptfok

  • RoboCup MSL refbox kostenlos

    Die RoboCup MSL Refbox wird verwendet, um dem Schiedsrichter zu helfen, ein Roboter-Fußballspiel zu steuern (verwendet von RoboCup Midsize League).

  • Dataflow processing parallelization-Cell kostenlos

    Dies ist eine Bibliothek zum Parallelisieren von Flussdatenberechnungen auf Zellprozessoren.