Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. QuickCheck for Java
  5. Download

QuickCheck for Java 4j

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over QuickCheck for Java

QC4J is een geautomatiseerd, specificatiegebaseerd testframework, gebaseerd op QuickCheck voor Haskell. Het maakt het gemakkelijk om referentiële transparante code te testen, door het creëren van testgegevens automatisch via door de gebruiker gedefinieerde generatoren.

Gerelateerde programma's

  • Invisible Protector II Pro Gratis

    Invisible Protector bescherm uw privé-applicaties met nepfoutWat en #39;s de beste app protector? Sterk wachtwoord? Natuurlijk niet. De beste proector zou laten duurder zich niet bewust zijn van enige bescherming en het kan

  • BDB Developer Edition Gratis proefperiode

    BDB is een full-featured database design software.Het ondersteunt Oracle, SQL Server, MySQL, Access, SQLAnywhere en Sybase.Daarnaast is BDB ook een geweldige SQL Query Intellisense Tool.Belangrijkste BDB-functies:•

  • Supermount removable media support Gratis

    Supermount is een pseudo-filesysteem dat bestandssystemen beheert op verwisselbare media zoals diskettes en CD-ROM's. Het bevrijdt u van noodzaak om handmatig te monteren en te demonteren media.

  • Smart Lock Lite(App Protector) Gratis

    Vergrendel elke app op je telefoon.Geen zorgen meer als je je telefoon aan vrienden laat zien.Heb je een beetje privacy nodig voor je Android-apparaat?Haat je iemand om te spelen met gevoelige berichten, foto's, etc op

  • Airpush Finder Gratis proefperiode

    Heb je last van ad. melding? Airpush Finder kan u helpen om de apps met Airpush-melding eenvoudig te vinden en te verwijderen.De zoeksnelheid van Airpush Finder is zeer snel, hoeft slechts enkele seconden. En Airpush Find

  • Tamil Tools Gratis

    Het doel van Tamil Tools project is het consolideren van grote open source software gerelateerde Tamil taal op een plaats. Het onmiddellijke doel is om een standaard coderingsconvertor te ontwikkelen tussen TSCII, TAB en Uni

  • Petri-LLD Gratis

    Petri-LLD is een grafische ontwikkelomgeving voor real-time automatiseringscontrole en is geschreven in Java. Het is gebaseerd op een vorm van Petri net, en compileert een aantal programmeerbare logic controller (PLC) talen,

  • Advanced Message Gratis proefperiode

    Advanced Message is een verbeterde en geavanceerde Android-berichten-app, je emoji en groepsberichten verzenden en ontvangen met vrienden, je meer functies aanpassen in deze app, zie gewoon de volgende functie:Functie:-

  • Hoepsch JSON Gratis

    Hoepsch JSON is een Java-bibliotheek voor het maken en lezen van JSON Objects. De bibliotheek richt zich op gebruiksgemak, eenvoud en consistentie. Objectcreatie via add/get wordt ondersteund en objectcreatie. Testcases zijn

  • mspgcc4 Gratis

    Dit is een poort van de GCC 4.x tak naar de Texas Instruments MSP430 microcontroller kern. Het is gebaseerd op het MSPGCC-project dat vastzit aan GCC 3.2.3.