jCUTE

MaRDI QIDQ38421swMATHFDO

Official website http://osl.cs.illinois.edu/software/jcute/

Source code repository https://github.com/osl/jcute

Cited in

(43)

• Integration of verification methods for program systems
• CUTE
• CalFuzzer
• Symbolic computation via program transformation
• KLEE
• UniTESK
• PathCrawler
• ADL
• DART
• Pex
• Machine learning steered symbolic execution framework for complex software code
• Algorithm selection for dynamic symbolic execution: a preliminary study
• ConTest
• Constraint programming for dynamic symbolic execution of JavaScript
• NModel
• SpecExplorer
• JPF-SE
• MODIST
• YOGI
• Snugglebug
• KLOVER
• LCTD
• Looper
• Combining model checking and testing
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• LCTD: test-guided proofs for C programs on LLVM
• Path Feasibility Analysis for String-Manipulating Programs
• Symbiotic 2
• CATG
• Jalangi
• XSat
• SymDIVINE
• Angelix
• LCT
• SymJS
• ExpoSE
• AGEDIS
• STP
• Concolic testing in CLP
• Geno
• JaCoCo
• Con2colic
• Automation of broad sanity test generation

This page was built for software: jCUTE