Titel

Merkliste
1 Ergebnisse

Computing summaries of string loops in C for better testing..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Kapus, Timotej ; Ish-Shalom, Oren ; Itzhaky, Shachar.. - p. 874-888 , 2019

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

RT 
T1 <cTitle>Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation</cTitle>: T1 <Title>Computing summaries of string loops in C for better testing and refactoring</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3314610&Exemplar=1&LAN=DE
				
A1 Kapus, Timotej
A1 Ish-Shalom, Oren
A1 Itzhaky, Shachar
A1 Rinetzky, Noam
A1 Cadar, Cristian
PB ACM
YR 2019
K1 Loop Summarisation
K1 Optimisation
K1 Refactoring
K1 Strings
K1 Symbolic Execution
K1 Synthesis
K1 Software and its engineering
K1 Software organization and properties
K1 Extra-functional properties
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Software development techniques
K1 Automatic programming
K1 Software notations and tools
K1 Formal language definitions
K1 Semantics
SP 874
OP 888
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3314221.3314610
DO https://dl.acm.org/doi/10.1145/3314221.3314610
SF ELIB - SuUB Bremen

Export

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