Obserwuj
Fabrice Bouquet
Fabrice Bouquet
Professor in computer Sciences, University of Bourgogne Franche-Comté
Zweryfikowany adres z univ-fcomte.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
A subset of precise UML for model-based testing
F Bouquet, C Grandpierre, B Legeard, F Peureux, N Vacelet, M Utting
Proceedings of the 3rd international workshop on Advances in model-based …, 2007
1522007
BZ-TT: A tool-set for test generation from Z and B using constraint logic programming
F Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ...
Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2 …, 2002
1162002
A test generation solution to automate software testing
F Bouquet, C Grandpierre, B Legeard, F Peureux
Proceedings of the 3rd international workshop on Automation of software test …, 2008
802008
CLPS-B—a constraint solver for B
F Bouquet, B Legeard, F Peureux
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
712002
CLPS–B–A constraint solver to animate a B specification
F Bouquet, B Legeard, F Peureux
International Journal on Software Tools for Technology Transfer 6, 143-157, 2004
582004
Model-based testing as a service for iot platforms
A Ahmad, F Bouquet, E Fourneret, F Le Gall, B Legeard
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
542016
Recent advances in model-based testing
M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A Vernotte
Advances in computers 101, 53-120, 2016
542016
Requirements traceability in automated test generation: application to smart card software validation
F Bouquet, E Jaffuel, B Legeard, F Peureux, M Utting
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
502005
Symbolic animation of JML specifications
F Bouquet, F Dadeau, B Legeard, M Utting
International Symposium on Formal Methods, 75-90, 2005
442005
Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study
F Bouquet, B Legeard
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
442003
Automated boundary test generation from JML specifications
F Bouquet, F Dadeau, B Legeard
International Symposium on Formal Methods, 428-443, 2006
392006
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains.
J Zander, I Schieferdecker, PJ Mosterman
Model-based testing for embedded systems, 3-22, 2011
372011
Model-based testing from UML models
E Bernard, F Bouquet, A Charbonnier, B Legeard, F Peureux, M Utting, ...
Gesellschaft für Informatik eV, 2006
372006
Model-based testing of cryptographic components--lessons learned from experience
J Botella, F Bouquet, JF Capuron, F Lebeau, B Legeard, F Schadle
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
332013
Mastering test generation from smart card software formal models
F Bouquet, B Legeard, F Peureux, E Torreborre
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005
332005
Transformation of SysML structure diagrams to VHDL-AMS
F Bouquet, JM Gauthier, A Hammad, F Peureux
2012 Second Workshop on Design, Control and Software Implementation for …, 2012
322012
Model-based security verification and testing for smart-cards
E Fourneret, M Ochoa, F Bouquet, J Botella, J Jurjens, P Yousefi
2011 Sixth International Conference on Availability, Reliability and …, 2011
312011
Selective test generation method for evolving critical systems
E Fourneret, F Bouquet, F Dadeau, S Debricon
2011 ieee fourth international conference on software testing, verification …, 2011
292011
JML-testing-tools: A symbolic animator for JML specifications using CLP
F Bouquet, F Dadeau, B Legeard, M Utting
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
262005
Gestion de la dynamicité et énumération d'impliquants premiers: une approche fondée sur les Diagrammes de Décision Binaire
F Bouquet
Aix-Marseille 1, 1999
261999
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20