|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Model-based Integration and Testing Method to Reduce System Development Effort |
Braspenning, N.C.W.M. |
2006 |
164 | 4 |
p. 13-28 16 p. |
artikel |
|
| 2 | An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events |
Conrad, Mirko |
2006 |
164 | 4 |
p. 3-11 9 p. |
artikel |
|
| 3 | Controlling Testing Using Three-Tier Model Architecture |
Kervinen, Antti |
2006 |
164 | 4 |
p. 53-66 14 p. |
artikel |
|
| 4 | Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions |
Bourdonov, Igor B. |
2006 |
164 | 4 |
p. 83-96 14 p. |
artikel |
|
| 5 | Preface |
Finkbeiner, Bernd |
2006 |
164 | 4 |
p. 1- 1 p. |
artikel |
|
| 6 | Runtime Verification for High-Confidence Systems: A Monte Carlo Approach |
Callanan, Sean |
2006 |
164 | 4 |
p. 41-52 12 p. |
artikel |
|
| 7 | Test Case Generation for Mutation-based Testing of Timeliness |
Nilsson, Robert |
2006 |
164 | 4 |
p. 97-114 18 p. |
artikel |
|
| 8 | Testing Self-Similar Networks |
Djouvas, Constantinos |
2006 |
164 | 4 |
p. 67-82 16 p. |
artikel |
|
| 9 | Towards Test Purpose Generation from CTL Properties for Reactive Systems |
da Silva, Daniel Aguiar |
2006 |
164 | 4 |
p. 29-40 12 p. |
artikel |
|
| 10 | When Model-based Testing Fails |
Aichernig, Bernhard K. |
2006 |
164 | 4 |
p. 115-128 14 p. |
artikel |
10 gevonden resultaten