Julien Botella
According to our database1,
Julien Botella
authored at least 10 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
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
J. Signal Process. Syst., 2016
2014
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
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
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Sixth International Conference on Availability, 2011