Concepedia

Julien Botella

JB

3

Publications

47

Citations

3

H-Index

2011

Active since

Affiliations

Université de franche-comté(Current)

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Smartesting (France)

Julien Botella is an author at Université de franche-comté specializing in computer engineering, formal verification, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringVerificationData SecurityFormal Methods

Publications per year

2011–2014

3

Publications

3

Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience

Julien Botella, Fabrice Bouquet, Jean-François Capuron et al. · 2013 · 22 citations

Engineering, Information Security, Verification +19

Model-Based Security Verification and Testing for Smart-cards

Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet et al. · 2011 · 14 citations

Engineering, Information Security, Verification +22

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet et al. · 2014 · 11 citations

Software Maintenance, Engineering, New Tests +24

Rows per page

1–3 of 3