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

QuickCheck for Java 4j

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

Sobre QuickCheck for Java

O QC4J é uma estrutura de teste automatizada baseada em especificações, baseada no QuickCheck para Haskell. Facilita o teste de código referencialmente transparente, criando dados de teste automaticamente através de geradores definidos pelo usuário.

Programas Relacionados

  • Invisible Protector II Pro Livre

    Protetor invisível proteja seus aplicativos privados com erro falsoQual e #39;é o melhor protetor de aplicativos? Senha forte? Claro que não. O melhor proector permitiria que Prier não estivesse ciente de qualquer proteção

  • BDB Developer Edition Avaliação gratuita

    BDB é um software de design de banco de dados completo.Ele suporta Oracle, SQL Server, MySQL, Access, SQLAnywhere e Sybase.Além disso, o BDB também é uma ótima Ferramenta intellisense de Consulta SQL.Principais caract

  • Supermount removable media support Livre

    Supermount é um sistema pseudo-arquivo que gerencia sistemas de arquivos em mídia removível como disquetes e CD-ROMs. Ele libera você da necessidade de montar manualmente e desmontar mídia.

  • Smart Lock Lite(App Protector) Livre

    Bloqueie qualquer aplicativo no seu telefone.Não se preocupe mais quando mostrar seu telefone para amigos.Você precisa de um pouco de privacidade para o seu dispositivo android?Você odeia alguém para brincar com mensage

  • Airpush Finder Avaliação gratuita

    Você se incomodou com a notificação do anúncio? O Airpush Finder pode ajudá-lo a encontrar e remover os aplicativos com a notificação do Airpush facilmente.A velocidade de busca do Airpush Finder é muito rápida, só precis

  • Tamil Tools Livre

    O objetivo do projeto Tamil Tools é consolidar os principais softwares de código aberto relacionados à língua tamil em um só lugar. O objetivo imediato é desenvolver um conversor de codificação padrão entre TSCII, TAB e Unic

  • Petri-LLD Livre

    Petri-LLD é um ambiente de desenvolvimento gráfico para controle de automação em tempo real e é escrito em Java. É baseado em uma forma de rede Petri, e compila para uma série de linguagens de controlador de lógica programáve

  • Advanced Message Avaliação gratuita

    Advanced Message é um aplicativo de mensagens android aprimorado e avançado, você pode enviar e receber emojis e mensagens em grupo com amigos, você pode personalizar mais recursos neste aplicativo, basta ver o recurso a se

  • Hoepsch JSON Livre

    Hoepsch JSON é uma biblioteca Java para criar e ler Objetos JSON. A biblioteca se concentra na facilidade de uso, simplicidade e consistência. A criação de objetos via add/get é suportada, bem como a marshalling de objetos. O

  • mspgcc4 Livre

    Esta é uma porta da filial GCC 4.x para o núcleo microcontrolador TEXAS Instruments MSP430. É baseado no projeto MSPGCC que está preso ao GCC 3.2.3.