Personal information

Activities

Works (2)

Reference mutability for DOT

Leibniz International Proceedings in Informatics, LIPIcs
2020 | Conference paper
EID:

2-s2.0-85115261083

Part of ISSN: 18688969
Contributors: Dort, V.; Lhoták, O.
Source: Self-asserted source
Vlastimil Dort via Scopus - Elsevier

Lightweight verification of array indexing

ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
2018 | Conference paper
EID:

2-s2.0-85051518076

Contributors: Kellogg, M.; Dort, V.; Millstein, S.; Ernst, M.D.
Source: Self-asserted source
Vlastimil Dort via Scopus - Elsevier