nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An empirical, path-oriented approach to software analysis and testing
|
Murrill, Branson W. |
|
2008 |
81 |
2 |
p. 249-261 13 p. |
artikel |
2 |
Applying machine learning to software fault-proneness prediction
|
Gondra, Iker |
|
2008 |
81 |
2 |
p. 186-195 10 p. |
artikel |
3 |
A relation-based method combining functional and structural testing for test case generation
|
Liu, Shaoying |
|
2008 |
81 |
2 |
p. 234-248 15 p. |
artikel |
4 |
A search-based framework for automatic testing of MATLAB/Simulink models
|
Zhan, Yuan |
|
2008 |
81 |
2 |
p. 262-285 24 p. |
artikel |
5 |
Automated generation of test suites from formal specifications of real-time reactive systems
|
Zheng, Mao |
|
2008 |
81 |
2 |
p. 286-304 19 p. |
artikel |
6 |
Editorial
|
Tse, T.H. |
|
2008 |
81 |
2 |
p. 159-160 2 p. |
artikel |
7 |
Editorial Board
|
|
|
2008 |
81 |
2 |
p. iii-iv nvt p. |
artikel |
8 |
Experiments with test case prioritization using relevant slices
|
Jeffrey, Dennis |
|
2008 |
81 |
2 |
p. 196-221 26 p. |
artikel |
9 |
Testing input validation in Web applications through automated model recovery
|
Liu, Hui |
|
2008 |
81 |
2 |
p. 222-233 12 p. |
artikel |
10 |
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
|
Garousi, Vahid |
|
2008 |
81 |
2 |
p. 161-185 25 p. |
artikel |