Titel

Merkliste
1 Ergebnisse

aPET: a test case generation tool for concurrent objects:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel. - p. 595-598 , 2013

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

RT 
T1 <cTitle>Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering</cTitle>: T1 <Title>aPET: a test case generation tool for concurrent objects</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2494590&Exemplar=1&LAN=DE
				
A1 Albert, Elvira
A1 Arenas, Puri
A1 Gómez-Zamalloa, Miguel
A1 Wong, Peter Y. H.
PB ACM
YR 2013
K1 Concurrency
K1 Concurrent objects
K1 Software testing
K1 Symbolic execution
K1 Test case generation
K1 Computing methodologies
K1 Concurrent computing methodologies
K1 Concurrent programming languages
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Development frameworks and environments
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
SP 595
OP 598
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2491411.2494590
DO https://dl.acm.org/doi/10.1145/2491411.2494590
SF ELIB - SuUB Bremen

Export

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