Titel

Merkliste
1 Ergebnisse

A regression testing approach for Lustre/SCADE programs:

, In: Proceedings of the Sixth International Symposium on Information and Communication Technology,

Duy, Trinh Cong ; Binh, Nguyen Thanh ; Parissis, Ioannis - p. 288-295 , 2015

Link: https://dl.acm.org/doi/10.1145/2833258.2833278

RT 
T1 <cTitle>Proceedings of the Sixth International Symposium on Information and Communication Technology</cTitle>: T1 <Title>A regression testing approach for Lustre/SCADE programs</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2833278&Exemplar=1&LAN=DE
				
A1 Duy, Trinh Cong
A1 Binh, Nguyen Thanh
A1 Parissis, Ioannis
PB ACM
YR 2015
K1 Lustre
K1 Regression testing
K1 SCADE
K1 activation conditions
K1 operator networks
K1 paths
K1 Software and its engineering
K1 Software creation and management
K1 Software development process management
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Software verification
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
SP 288
OP 295
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2833258.2833278
DO https://dl.acm.org/doi/10.1145/2833258.2833278
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)