Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1357163, author = {Chalupa, Marek and Jonáš, Martin and Slabý, Jiří and Strejček, Jan and Vitovská, Martina}, address = {Berlin, Heidelberg}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016}, doi = {http://dx.doi.org/10.1007/978-3-662-49674-9_67}, editor = {Marsha Chechik and Jean-Francois Raskin}, keywords = {instrumentation; symbolic execution; program slicing}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin, Heidelberg}, isbn = {978-3-662-49673-2}, pages = {946-949}, publisher = {Springer}, title = {Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)}, year = {2016} }
TY - JOUR ID - 1357163 AU - Chalupa, Marek - Jonáš, Martin - Slabý, Jiří - Strejček, Jan - Vitovská, Martina PY - 2016 TI - Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) PB - Springer CY - Berlin, Heidelberg SN - 9783662496732 KW - instrumentation KW - symbolic execution KW - program slicing N2 - Symbiotic 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor Klee has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow. ER -
CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK a Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. \textit{Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016}. Berlin, Heidelberg: Springer, 2016, s.~946-949. ISBN~978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9\_{}67.
|