Geno Software Authors: Lämmel, Ralf; Schulte, Wolfram Cited in: 5 Publications (2006–2011) Related Software: Korat; DART; SpecExplorer; GenRGenS; jCUTE; HOL-TestGen; … Main Fields: Computer science (68-XX)
TWINLAW Software Authors: Li, M.; Lou, X. Y.; Kim, J. H.; Wagoner, R. H. Cited in: 5 Publications (2010–2019) Related Software: HYPLAS; UMAT; ABAQUS/Standard; ABAQUS Main Fields: Mechanics of deformable solids (74-XX)
global_report Software Authors: Roncero-Clemente, C.; Roanes-Lozano, E. Cited in: 4 Publications (2018–2020) Related Software: REDLOG; Maple Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
AdaptiveStressTesting.jl Software Authors: Ritchie Lee Cited in: 1 Publication (2021) Related Software: Breach; S-TaLiRo; OpenAI Gym; Julia; POMDPs.jl; POMDPStressTesting.jl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CTrigger Software Authors: Soyeon Park, Shan Lu, Yuanyuan Zhou Cited in: 3 Publications (2013–2016) Related Software: RacerX; PENELOPE; jPredictor; ASM; QuickLex; CHESS; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Csmith Software Authors: Xuejun Yang; Yang Chen; Eric Eide; John Regehr Cited in: 1 Publication (2018) Related Software: jsfunfuzz; Plum Hall; ACVS; Frama-C Main Fields: Computer science (68-XX)
POMDPStressTesting.jl Software Authors: Robert J. Moss Cited in: 0 Publications Related Software: AdaptiveStressTesting.jl; Breach; OpenAI Gym; S-TaLiRo; Julia; POMDPs.jl Main Fields: –