| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract domain adequacy
|
Mastroeni, Isabella
|
|
|
26 |
6 |
p. 747-765
|
artikel
|
| 2 |
ccReact: a rewriting framework for the formal analysis of reaction systems
|
Ballis, Demis
|
|
|
26 |
6 |
p. 707-725
|
artikel
|
| 3 |
Challenges of software verification
|
Arceri, Vincenzo
|
|
|
26 |
6 |
p. 669-672
|
artikel
|
| 4 |
Easing maintenance of academic static analyzers
|
Monat, Raphaël
|
|
|
26 |
6 |
p. 673-686
|
artikel
|
| 5 |
Inference of access policies through static analysis
|
Zanatta, Giacomo
|
|
|
26 |
6 |
p. 797-821
|
artikel
|
| 6 |
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
|
Erhard, Julian
|
|
|
26 |
6 |
p. 647-667
|
artikel
|
| 7 |
IntraJ: an on-demand framework for intraprocedural Java code analysis
|
Riouak, Idriss
|
|
|
26 |
6 |
p. 687-705
|
artikel
|
| 8 |
Leveraging static analysis for cost-aware serverless scheduling policies
|
De Palma, Giuseppe
|
|
|
26 |
6 |
p. 781-796
|
artikel
|
| 9 |
Reformulating regression test suite optimization using quantum annealing - an empirical study
|
Trovato, Antonio
|
|
|
26 |
6 |
p. 767-780
|
artikel
|
| 10 |
Six years later: testing vs. model checking
|
Beyer, Dirk
|
|
|
26 |
6 |
p. 633-646
|
artikel
|
| 11 |
The digest framework: concurrency-sensitivity for abstract interpretation
|
Schwarz, Michael
|
|
|
26 |
6 |
p. 727-746
|
artikel
|
Tijdschrift beschrijving