- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 / Vojnar, Tomáš; Zhang, Lijun (Hrsg.). - Cham : Springer International Publishing, 2019. - (Lecture Notes in Computer Science ; 11427). - S. 226-243. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-17461-3
In: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems, 6. Apr. 2019 - 11. Apr. 2019, Prag
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2019
- Urheber
-
Christakis, Maria
Heizmann, Matthias
Mansur, Muhammad Numair
Schilling, Christian
Wüstholz, Valentin
- URN
-
urn:nbn:de:bsz:352-2-9vuy5c6ldmfz0
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Christakis, Maria
- Heizmann, Matthias
- Mansur, Muhammad Numair
- Schilling, Christian
- Wüstholz, Valentin
- KOPS Universität Konstanz
Entstanden
- 2019
Ähnliche Objekte (12)
Semantic fault localization and suspiciousness ranking
Software fault injection and localization in embedded systems
Automated Fault Localization in Large Java Applications
Using contextual knowledge in interactive fault localization
Accurate visual localization with semantic masking and attention
Semantic Snippets via Query-Biased Ranking of Linked Data Entities
Timecourse and source localization of abstract and concrete semantic representations
Scale-invariant localization using quasi-semantic object landmarks
Data-driven Methods for Fault Localization in Process Technology
An empirical study of fault localization in Python programs
Robust localization and mapping in changing environments using semantic perception
Off-fault deformation feedback and strain localization precursor during laboratory earthquakes
Semantic fault localization and suspiciousness ranking
Software fault injection and localization in embedded systems
Automated Fault Localization in Large Java Applications
Using contextual knowledge in interactive fault localization
Accurate visual localization with semantic masking and attention
Semantic Snippets via Query-Biased Ranking of Linked Data Entities
Timecourse and source localization of abstract and concrete semantic representations
Scale-invariant localization using quasi-semantic object landmarks
Data-driven Methods for Fault Localization in Process Technology
An empirical study of fault localization in Python programs
Robust localization and mapping in changing environments using semantic perception
Off-fault deformation feedback and strain localization precursor during laboratory earthquakes
Semantic fault localization and suspiciousness ranking
Software fault injection and localization in embedded systems
Automated Fault Localization in Large Java Applications
Using contextual knowledge in interactive fault localization
Accurate visual localization with semantic masking and attention
Semantic Snippets via Query-Biased Ranking of Linked Data Entities
Timecourse and source localization of abstract and concrete semantic representations
Scale-invariant localization using quasi-semantic object landmarks
Data-driven Methods for Fault Localization in Process Technology
An empirical study of fault localization in Python programs
Robust localization and mapping in changing environments using semantic perception