Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Dynamic program analysis—Reconciling developer productivity and tool performance Sarimbekov, Aibek
 2014
 95 P3 p. 344-358
15 p.
 artikel
2 Field-sensitive unreachability and non-cyclicity analysis Scapin, Enrico
 2014
 95 P3 p. 359-375
17 p.
 artikel
3 Mitigating the effects of equivalent mutants with mutant classification strategies Papadakis, Mike
 2014
 95 P3 p. 298-319
22 p.
 artikel
4 NAT2TEST SCR : Test case generation from natural language requirements based on SCR specifications Carvalho, Gustavo
 2014
 95 P3 p. 275-297
23 p.
 artikel
5 Selected and extended papers from Bytecode 2013 Gómez-Zamalloa, Miguel
 2014
 95 P3 p. 343-
1 p.
 artikel
6 Special section on Software Verification and Testing Mousavi, Mohammad Reza
 2014
 95 P3 p. 273-274
2 p.
 artikel
7 Specification and verification of GPGPU programs Blom, Stefan
 2014
 95 P3 p. 376-388
13 p.
 artikel
8 Static analysis of lists by combining shape and numerical abstractions Chen, Liqian
 2014
 95 P3 p. 320-342
23 p.
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland