4 Library Special 3 University 1

3 ZAIN Publications 2 Universitas PGRI Palembang 1 DEFAULT

3 Cognizance Journal of Multidisciplinary Studies 1 DEFAULT

4 Journal 4 Other Info 4 Software 4 less ...

Symbolic Execution 2 Software Verification 1 APIs 1 Abstract Interpretation 1 CEGAR 1 Constant-Time Programming more ... 1 DSLs 1 Databases 1 Floating-Point Numbers 1 KLEE 1 Numerical Accuracy 1 Partial-Order Reduction 1 Program Analysis 1 Program Instrumentation 1 Query Generation 1 Runtime Assertion Checking 1 Software security 1 Timing Attacks 1 Unstable Tests 1 software testing 1 sv-benchmarks less ...

1 Beyer, Dirk 1 Büning, Julian 1 Diego Garbervetsky 1 Guido de Caso 1 Iganio Perez 1 Jacquemin more ... 1 Javier Godoy 1 Kosmatov, Nikolai 1 Laprell, David 1 Lemberger, Thomas 1 Lesly-Ann Daniel 1 Rodríguez, César 1 Satiago Perez 1 Schemmel, Daniel 1 Sebastian Uchitel 1 Signoles, Julien 1 Sébastien Bardin 1 Tamara Rezk 1 Vedrine, Franck 1 Victor Braberman 1 Wehrle, Klaus less ...

4 eng

3 2020 2 2018