Verification, Validation and Testing | Önder Gürcan/tags/verification-validation-and-testing/Verification, Validation and TestingSource Themes Academic (https://sourcethemes.com/academic/)en-usFri, 01 Jan 2021 00:00:00 +0000img/map[gravatar:%!s(bool=false) shape:circle]Verification, Validation and Testing/tags/verification-validation-and-testing/A Survey of Verification, Validation andTesting Solutions for Smart Contracts/publication/benabbou-2021-bcca/Fri, 01 Jan 2021 00:00:00 +0000/publication/benabbou-2021-bcca/Towards Secure and Trusted-by-Design Smart Contracts/publication/dargaye-2018-jfla/Mon, 01 Jan 2018 00:00:00 +0000/publication/dargaye-2018-jfla/RatKit: Repeatable automated testing toolkit for agent-based modeling and simulation/publication/cakirlar-2015-mabs/Thu, 01 Jan 2015 00:00:00 +0000/publication/cakirlar-2015-mabs/A generic testing framework for agent-based simulation models/publication/gurcan-2013-j-sim/Thu, 01 Aug 2013 00:00:00 +0000/publication/gurcan-2013-j-sim/Towards a generic testing framework for agent-based simulation models/publication/gurcan-2011-fed-csis/Thu, 01 Sep 2011 00:00:00 +0000/publication/gurcan-2011-fed-csis/