Suchergebnisse - Aichernig, B.K. | OPAC THWS

1

Test case generation by OCL mutation and constraint solving von Aichernig, B.K., Salas, P.A.P.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Validating voice communication requirements using lightweight formal methods von Horl, J., Aichernig, B.K.

Veröffentlicht in IEEE software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Variability modelling in the ABS language von Clarke, Dave, Muschevici, Radu, Proenca, Jose, Schaefer, Ina, Schlatte, Rudolf

Volltext

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Formal specification techniques as a catalyst in validation von Aichernig, B.K., Gerstinger, A., Aster, R.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods von Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Fault-Based Test Case Generation for Component Connectors von Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Meng Sun, Rutten, J.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Requirements validation of a voice communication system used in air traffic control. An industrial application of light-weight formal methods von Horl, J., Aichernig, B.K.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Coalgebraic Component Specification and Verification in RSL von Sun Meng, Aichernig, B.K., Zhang Naixiao

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: