Abstracting path conditions release_6qxcvnyn4jcjfkppr6e6s26fhq

by Jan Strejček, Marek Trtík

Published in International Symposium on Software Testing and Analysis by ACM Press.

2012   p155-165

Archived Files and Locations

application/pdf   341.2 kB
file_lit7suhyhbhedap7cyilr2y6ra
application/pdf   298.6 kB
file_debf3cekl5awvipfzrj3yiwcue
web.archive.org (webarchive)
www.fi.muni.cz (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 921f1980-f3c6-4a1f-9c36-2efa277136bb
API URL: JSON