<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>smart contracts | SynTest</title><link>https://www.syntest.org/tag/smart-contracts/</link><atom:link href="https://www.syntest.org/tag/smart-contracts/index.xml" rel="self" type="application/rss+xml"/><description>smart contracts</description><generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Tue, 25 Jan 2022 00:00:00 +0100</lastBuildDate><image><url>https://www.syntest.org/media/logo_huafd67e902bfc9b2e98f841ab8c6828bf_125251_300x300_fit_lanczos_3.png</url><title>smart contracts</title><link>https://www.syntest.org/tag/smart-contracts/</link></image><item><title>SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts</title><link>https://www.syntest.org/publication/olsthoorn-2022-syntest/</link><pubDate>Tue, 25 Jan 2022 00:00:00 +0100</pubDate><guid>https://www.syntest.org/publication/olsthoorn-2022-syntest/</guid><description/></item></channel></rss>