×

Found 19 Software Packages (Results 1–19)

MXNet

Software Authors:   T. Chen, M. Li, Y. Li, M. Lin, N. Wang, M. Wang, T. Xiao, B. Xu, C. Zhang, Z. Zhang
Referenced in: 11 Publications (2018–2021)
Related Software: TensorFlow; PyTorch; Caffe; Theano; Python; Keras; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Pex

Software Authors:   Nikolai Tillmann, Jonathan de Halleux
Referenced in: 25 Publications (2009–2021)
Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Sigma*

Software Authors:   Matko Botinčan, Domagoj Babić
Referenced in: 12 Publications (2013–2022)
Related Software: libalf; z3; RALib; LearnLib; Daikon; DART; …
Main Fields: Computer science (68-XX)

ATGen

Software Authors:   Christophe Meudec
Referenced in: 5 Publications (2005–2012)
Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; …
Main Fields: Computer science (68-XX)

Z3-str

Software Authors:   Zheng Y, Zhang X, Ganesh V
Referenced in: 8 Publications (2015–2021)
Related Software: S3; HAMPI; z3; PASS; Stranger; Norn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Consit

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.
Referenced in: 5 Publications (2005–2010)
Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields: Computer science (68-XX)

PEORL

Software Authors:   Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson
Referenced in: 5 Publications (2019–2021)
Related Software: REBA; BWIBots; ALM; CCalc; PDDL; Clingcon; …
Main Fields: Computer science (68-XX)

BINSEC/SE

Software Authors:   Robin David; Sébastien Bardin; Thanh Ta; Josselin Feist; Laurent Mounier; Marie-Laure Potet; Jean-Yves Marion
Referenced in: 3 Publications (2017–2021)
Related Software: z3; CBMC; DART; PathCrawler; NuSMV; CUTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DyTa

Software Authors:   Ge X, Taneja K, Xie T, Tillmann N
Referenced in: 2 Publications (2017–2018)
Related Software: Pex; SANTE; Frama-C; Coq; MarQ; LARVA; …
Main Fields: Computer science (68-XX)

ExpoSE

Software Authors:   Loring, B., Mitchell, D., Kinder, J.
Referenced in: 3 Publications (2019–2021)
Related Software: DART; z3; Z3str3; PASS; StrSolve; Norn; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FloPSy

Software Authors:   Lakhotia, K., Tillmann, N., Harman, M., de Halleux, J.
Referenced in: 1 Publication (2016)
Related Software: AUSTIN; CBMC; DART; GATeL; RealPaver; ICOS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Manticore

Software Authors:   Mossberg, M., et al.
Referenced in: 2 Publications (2021)
Related Software: VerX; solc-verify; SeaHorn; solgraph; EthVer; Mythril; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

SymJS

Software Authors:   Li, G., Andreasen, E., Ghosh, I.
Referenced in: 2 Publications (2017–2019)
Related Software: PASS; S3; Z3-str; HAMPI; KLEE; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

BinSim

Software Authors:   Ming, J., Xu, D., Jiang, Y., Wu, D.
Referenced in: 1 Publication (2019)
Related Software: VMHunt; NISLVMP; SEEAD; Capstone; VMAttack; VMGuard; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

EvoSuiteDSE

Software Authors:   Lebrero Rial IM, Galeotti JP.
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; T3; …
Main Fields:

LCTD

Software Authors:   Saarikivi, Olli; Heljanko, Keijo
Referenced in: 1 Publication (2016)
Related Software: STP; LCT; jCUTE; SMACK; BoogiePL; Vellvm; …
Main Fields: Computer science (68-XX)

QSYM

Software Authors:   Yun I, Lee S, Xu M, Jang Y, Kim T.
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

MSeqGen

Software Authors:   Suresh Thummalapenta; Tao Xie; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte
Referenced in: 0 Publications
Related Software:
Main Fields:

Taintscope

Software Authors:   Wang T, Wei T, Gu G, Zou W
Referenced in: 0 Publications
Related Software:
Main Fields: