| Originalsprog | Engelsk |
|---|---|
| Titel | ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Redaktører | Eric Bodden, Frank Tip |
| Antal sider | 11 |
| Forlag | Association for Computing Machinery |
| Publikationsdato | 12 jul. 2018 |
| Sider | 38-48 |
| ISBN (Elektronisk) | 978-1-4503-5699-2 |
| DOI | |
| Status | Udgivet - 12 jul. 2018 |
| Begivenhed | 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 - Amsterdam, Holland Varighed: 16 jul. 2018 → 21 jul. 2018 |
Konference
| Konference | 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 |
|---|---|
| Land | Holland |
| By | Amsterdam |
| Periode | 16/07/2018 → 21/07/2018 |
| Sponsor | ACM SIGSOFT, AWS, et al., Facebook, Google, vmware |
Fingerprint
Citer dette
}
Safe and sound program analysis with Flix. / Madsen, Magnus; Lhoták, Ondřej.
ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. red. / Eric Bodden; Frank Tip. Association for Computing Machinery, 2018. s. 38-48.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
TY - GEN
T1 - Safe and sound program analysis with Flix
AU - Madsen, Magnus
AU - Lhoták, Ondřej
PY - 2018/7/12
Y1 - 2018/7/12
KW - Lattices
KW - Monotonicity
KW - Safety
KW - Soundness
KW - Static analysis
UR - http://www.scopus.com/inward/record.url?scp=85051461806&partnerID=8YFLogxK
U2 - 10.1145/3213846.3213847
DO - 10.1145/3213846.3213847
M3 - Article in proceeding
AN - SCOPUS:85051461806
SP - 38
EP - 48
BT - ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
A2 - Bodden, Eric
A2 - Tip, Frank
PB - Association for Computing Machinery
ER -