nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A formal approach for run-time verification of web applications using scope-extended LTL
|
Haydar, May |
|
2013 |
55 |
12 |
p. 2191-2208 18 p. |
artikel |
2 |
A metric towards evaluating understandability of state machines: An empirical study
|
Bae, Jung Ho |
|
2013 |
55 |
12 |
p. 2172-2190 19 p. |
artikel |
3 |
A systematic review of systematic review process research in software engineering
|
Kitchenham, Barbara |
|
2013 |
55 |
12 |
p. 2049-2075 27 p. |
artikel |
4 |
BPELDebugger: An effective BPEL-specific fault localization framework
|
Sun, Chang-ai |
|
2013 |
55 |
12 |
p. 2140-2153 14 p. |
artikel |
5 |
Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities
|
Avancini, Andrea |
|
2013 |
55 |
12 |
p. 2209-2222 14 p. |
artikel |
6 |
Estimating software testing complexity
|
Ferrer, Javier |
|
2013 |
55 |
12 |
p. 2125-2139 15 p. |
artikel |
7 |
IFC Editorial Board
|
|
|
2013 |
55 |
12 |
p. IFC- 1 p. |
artikel |
8 |
Mutation-oriented test data augmentation for GUI software fault localization
|
Yu, Zhongxing |
|
2013 |
55 |
12 |
p. 2076-2098 23 p. |
artikel |
9 |
Ontological and linguistic metamodelling revisited: A language use approach
|
Eriksson, Owen |
|
2013 |
55 |
12 |
p. 2099-2124 26 p. |
artikel |
10 |
To what extent can maintenance problems be predicted by code smell detection? – An empirical study
|
Yamashita, Aiko |
|
2013 |
55 |
12 |
p. 2223-2242 20 p. |
artikel |
11 |
When agile meets the enterprise
|
van Waardenburg, Guus |
|
2013 |
55 |
12 |
p. 2154-2171 18 p. |
artikel |