Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. QuickCheck for Java
  5. Download

QuickCheck for Java 4j

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang QuickCheck for Java

QC4J adalah rangka kerja ujian berasaskan spesifikasi automatik, berdasarkan QuickCheck untuk Haskell. Ia memudahkan untuk menguji kod rujukan telus, dengan membuat data ujian secara automatik melalui penjana yang ditakrifkan pengguna.

Atur Cara Berkaitan

  • Invisible Protector II Pro Percuma

    Pelindung Tidak Kelihatan melindungi aplikasi peribadi anda dengan ralat palsu&Apa yang #39&s pelindung aplikasi terbaik? Kata laluan yang kukuh? Sudah tentu TIDAK. Proector terbaik akan membiarkan prier tidak menye

  • BDB Developer Edition Percubaan Percuma

    BDB adalah perisian reka bentuk pangkalan data yang diketengahkan sepenuhnya.Ia menyokong Oracle, SQL Server, MySQL, Access, SQLAnywhere dan Sybase.Di samping itu, BDB juga merupakan Alat Intellisense Pertanyaan SQL yang

  • Supermount removable media support Percuma

    Supermount adalah pseudo-filesystem yang menguruskan filesystems pada media boleh tanggal seperti cakera liut dan CD-ROM. Ia membebaskan anda daripada keperluan untuk melekapkan media secara manual dan tidak bersemangat.

  • Smart Lock Lite(App Protector) Percuma

    Kunci sebarang apl pada telefon anda.Tidak perlu risau lagi apabila menunjukkan telefon anda kepada rakan.Adakah anda memerlukan sedikit privasi untuk peranti android anda?Adakah anda membenci seseorang untuk bermain-ma

  • Airpush Finder Percubaan Percuma

    Pernahkah anda diganggu oleh pemberitahuan Iklan? Pencapai Airpush boleh membantu anda mencari dan mengalih keluar aplikasi dengan pemberitahuan Airpush dengan mudah.Kelajuan carian Airpush Finder sangat cepat, hanya meme

  • Tamil Tools Percuma

    Matlamat projek Alat Tamil adalah untuk menyatukan perisian sumber terbuka utama yang berkaitan dengan bahasa Tamil di satu tempat. Matlamat segera adalah untuk membangunkan penukar pengekodan standard antara TSCII, TAB dan

  • Petri-LLD Percuma

    Petri-LLD adalah persekitaran pembangunan grafik untuk kawalan automasi masa nyata dan ditulis di Jawa. Ia berdasarkan satu bentuk petri bersih, dan menyusun beberapa bahasa pengawal logik yang boleh diprodeksi (PLC) serta Ja

  • Advanced Message Percubaan Percuma

    Mesej Lanjutan ialah apl mesej android yang dipertingkatkan dan maju, anda boleh menghantar dan menerima emoji dan mesej kumpulan dengan rakan, anda boleh menyesuaikan lebih banyak ciri dalam aplikasi ini, hanya melihat cir

  • Hoepsch JSON Percuma

    Hoepsch JSON adalah perpustakaan Java untuk mencipta dan membaca Objek JSON. Perpustakaan memberi tumpuan kepada kemudahan penggunaan, kesederhanaan dan konsistensi. Penciptaan objek melalui add / get disokong serta objek mar

  • mspgcc4 Percuma

    Ini adalah pelabuhan cawangan GCC 4.x kepada Texas Instrumen MSP430 mikrocontroller teras. Ia berdasarkan projek MSPGCC yang terjebak dengan GCC 3.2.3.