Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

2021 ◽  
pp. 94-111
Author(s):  
Boutheina Bannour ◽  
Arnault Lapitre ◽  
Pascale Le Gall
Keyword(s):  
Model Checking ◽  
Symbolic Execution ◽  
Timed Model Checking

scholarly journals FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

2021 ◽  
pp. 363-367 ◽  
Author(s):  
Kaled M. Alshmrany ◽  
Rafael S. Menezes ◽  
Mikhail R. Gadelha ◽  
Lucas C. Cordeiro
Keyword(s):  
Model Checking ◽  
Symbolic Execution ◽  
Bounded Model Checking ◽  
Test Cases ◽  
Security Vulnerabilities ◽  
C Programs ◽  
Code Coverage

AbstractWe describe and evaluate a novel white-box fuzzer for C programs named , which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. explores and analyzes C programs (1) to find execution paths that lead to property violations and (2) to incrementally inject labels to guide the fuzzer and the BMC engine to produce test-cases for code coverage. successfully participates in Test-Comp’21 and achieves first place in the category and second place in the category.

Issues in distributed timed model checking

2004 ◽  
Vol 7 (1) ◽  
pp. 4-18 ◽  
Author(s):  
Víctor Braberman ◽  
Alfredo Olivero ◽  
Fernando Schapachnik
Keyword(s):  
Model Checking ◽  
Timed Model Checking

Probabilistic Timed Model Checking for Atomic Web Service

2011 ◽  
Author(s):  
Honghao Gao ◽  
Huaikou Miao ◽  
Shengbo Chen ◽  
Jia Mei
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Timed Model Checking

Timed model checking with abstractions

2012 ◽  
Author(s):  
Georgia Giannopoulou ◽  
Kai Lampka ◽  
Nikolay Stoimenov ◽  
Lothar Thiele
Keyword(s):  
Model Checking ◽  
Timed Model Checking
Sign in / Sign up

Export Citation Format

Share Document