Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre Yet Another QuickCheck for Java

Yaqc4j é uma estrutura de testes baseada em especificações, baseada no QuickCheck for Haskell de John Hughes. Ele cria dados de teste automaticamente através de geradores integrados e definidos pelo usuário. Este projeto conta com o apoio da Universidad Nacional de Quilmes.

Programas Relacionados

  • ds-Lucas Livre

    Project ds-Lucas é um script PHP simples que separete seus scripts PHP e modelos HTML. Incluindo funções para saída de várias linhas, manuseio com saídas de arquivos externos, saídas de configuração multi.

  • HInput Livre

    HInput é uma camada de abstração de entrada projetada para desacoplar o código do jogo das implementações de entrada. O sistema é completamente orientado por dados e pode ser modificado e/ou configurado em tempo de execução.

  • P3: The Portable Unix Programming System Livre

    PUPS/P3 facilita o desenvolvimento de cálculos multiprocessos multi-host, fornecendo ferramentas para emular colônias de organismos homeostáticos. Permite computação persistente, proteção de recursos homeostáticos e comunicaç

  • Brainiac Artificial Intelligence Livre

    Brainiac, é bibliotecas C/C++, programas, e scripts python e lua para rede neural e programação genética, na tentativa de criar um "Cola-tudo-junto" Projeto, lutando pela inteligência artificial geral

  • PeiAsm Livre

    Conjunto/Emulador Multiprocessador PeiAsm para Windows x86. -Codificado por M. Keaton (O Método poliéster)

  • Proton Voltage Control Livre

    POR FAVOR, antes de sair com uma estrela verifique se você está executando um kernel suportado em um Nexus S ou Nexus S 4G. Estamos disponíveis para correções de bugs através do link "Visite o Site do Desenvolvedor" abaixo.

  • syncSQL Livre

    syncSQL é um script CVS do lado do servidor perl, que envia informações de compromisso para um banco de dados mySQL, para que os compromissos possam ser visualizados, rastreados e filtrados através de uma simples página da We

  • GLipKit Livre

    GLipKit (GL Image Processing Kit) é uma coleção de algoritmos de processamento de imagens e visão computacional realizados no hardware gráfico 3D programável atual para execução mais rápida. O foco principal é atualmente o es

  • RoboCup MSL refbox Livre

    O RoboCup MSL Refbox é usado para ajudar o árbitro a controlar um jogo de futebol robótico (usado pela RoboCup Midsize league).

  • Dataflow processing parallelization-Cell Livre

    Esta é uma biblioteca para a paraleloção de cálculos de dados de fluxo em processadores Cell.