jCUTE

MaRDI QIDQ38421swMATHFDO

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

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

Cited in

(43)

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

This page was built for software: jCUTE