Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mining for Safety using Interactive Trace Analysis
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2017 (English)In: Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017, no 15, article id 14Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2017. no 15, article id 14
Keywords [en]
tracing, dynamic analysis, heap analysis, tracing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-334817OAI: oai:DiVA.org:uu-334817DiVA, id: diva2:1160791
Conference
Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)
Available from: 2017-11-28 Created: 2017-11-28 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(427 kB)49 downloads
File information
File name FULLTEXT01.pdfFile size 427 kBChecksum SHA-512
637ab61faaee7396bcf3f8e094fd6e2583b1a41f19bcca53f321d192dc60a90915c41a879740150e33fcacc92f63b7d9d8dee83f4e656eabcbf9caef8072c5a4
Type fulltextMimetype application/pdf

Other links

Pre-Proceedings

Search in DiVA

By author/editor
Brandauer, StephanWrigstad, Tobias
By organisation
Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 49 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 116 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf