Results 111 to 111 of about 116 (111)
Some of the next articles are maybe not open access.
Concolic Testing of Concurrent Programs.
Azadeh Farzan
, Andreas Holzer, Niloofar Razavi, Helmut Veith
+3 more
openaire
dl.gi.de
+1 more source
fos: computer and information sciences
software engineering cs.se
symbolic execution
computer science - software engineering
software testing
logic in computer science cs.lo
computer science - programming languages
computer science - logic in computer science
lenguajes y sistemas informaticos
previous
10
11
12
Home
-
About
-
Disclaimer
-
Privacy