Julien Botella

According to our database1, Julien Botella authored at least 10 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Tool Support for Refactoring Manual Tests.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Complementary test selection criteria for model-based testing of security components.
Int. J. Softw. Tools Technol. Transf., 2019

2016
Achieving SCA Conformance Testing with Model-Based Testing.
J. Signal Process. Syst., 2016

2014
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Risk-Based Vulnerability Testing Using Security Test Patterns.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Model-Based Filtering of Combinatorial Test Suites.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Scenario Based Test Generation Using Test Designer.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model-Based Security Verification and Testing for Smart-cards.
Proceedings of the Sixth International Conference on Availability, 2011


  Loading...