scholarly journals Experience Report: Teaching Code Analysis and Verification Using Frama-C

2021 ◽  
Vol 349 ◽  
pp. 69-75
Author(s):  
Salwa Souaf ◽  
Frédéric Loulergue
Keyword(s):  
Experience Report ◽  
Code Analysis

Debugging the performance of Maven’s test isolation: experience report

2020 ◽  
Author(s):  
Pengyu Nie ◽  
Ahmet Celik ◽  
Matthew Coley ◽  
Aleksandar Milicevic ◽  
Jonathan Bell ◽  
...  
Keyword(s):  
Experience Report

Processes, challenges and recommendations of grey literature review: An experience report

2021 ◽  
pp. 106607
Author(s):  
He Zhang ◽  
Runfeng Mao ◽  
Huang Huang ◽  
Qiming Dai ◽  
Xin Zhou ◽  
...  
Keyword(s):  
Literature Review ◽  
Grey Literature ◽  
Experience Report
Sign in / Sign up

Export Citation Format

Share Document