| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
AATT+: Effectively manifesting concurrency bugs in Android apps
|
Wang, Jue
|
|
2018
|
163 |
C |
p. 1-18
|
artikel
|
| 2 |
A practical approach for detecting multi-tenancy data interference
|
Furda, Andrei
|
|
2018
|
163 |
C |
p. 160-173
|
artikel
|
| 3 |
A tool for domain-independent model mutation
|
Gómez-Abajo, Pablo
|
|
2018
|
163 |
C |
p. 85-92
|
artikel
|
| 4 |
A two-step approach for pattern-based API-call constraint checking
|
Kim, Dongwoo
|
|
2018
|
163 |
C |
p. 19-41
|
artikel
|
| 5 |
Context-aware reconfiguration in evolving software product lines
|
Mauro, Jacopo
|
|
2018
|
163 |
C |
p. 139-159
|
artikel
|
| 6 |
Editorial Board
|
|
|
2018
|
163 |
C |
p. ii
|
artikel
|
| 7 |
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
|
Song, Jiyoung
|
|
2018
|
163 |
C |
p. 115-137
|
artikel
|
| 8 |
Improving custom-tailored variability mining using outlier and cluster detection
|
Wille, David
|
|
2018
|
163 |
C |
p. 62-84
|
artikel
|
| 9 |
Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016
|
Potanin, Alex
|
|
2018
|
163 |
C |
p. 138
|
artikel
|
| 10 |
Projected control graph for computing relevant program behaviors
|
Tamrawi, Ahmed
|
|
2018
|
163 |
C |
p. 93-114
|
artikel
|
| 11 |
Specification and verification of synchronization with condition variables
|
de C. Gomes, Pedro
|
|
2018
|
163 |
C |
p. 174-189
|
artikel
|
| 12 |
Technical Debt tracking: Current state of practice
|
Martini, Antonio
|
|
2018
|
163 |
C |
p. 42-61
|
artikel
|
Tijdschrift beschrijving