Titel

Merkliste
1 Ergebnisse

SELECT—a formal system for testing and debugging programs b..:

, In: Proceedings of the international conference on Reliable software,

Boyer, Robert S. ; Elspas, Bernard ; Levitt, Karl N. - p. 234-245 , 1975

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

RT 
T1 <cTitle>Proceedings of the international conference on Reliable software</cTitle>: T1 <Title>SELECT—a formal system for testing and debugging programs by symbolic execution</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-808445&Exemplar=1&LAN=DE
				
A1 Boyer, Robert S.
A1 Elspas, Bernard
A1 Levitt, Karl N.
PB ACM
YR 1975
K1 Program debugging
K1 Program testing
K1 Program verification
K1 Solution of systems of inequalities
K1 Symbolic execution
K1 Test data generation
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Abstraction
K1 Models of computation
K1 Abstract machines
SP 234
OP 245
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/800027.808445
DO https://dl.acm.org/doi/10.1145/800027.808445
SF ELIB - SuUB Bremen

Export

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