دنبال کردن
Fabrice Bouquet
Fabrice Bouquet
Professor in computer Sciences, University of Franche-Comté
ایمیل تأیید شده در univ-fcomte.fr - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
1502007
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‏
1152002
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‏
822008
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‏
682002
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‏
602016
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
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‏
572016
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‏
512005
Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study‏
F Bouquet, B Legeard‏
International Symposium of Formal Methods Europe, 778-795, 2003‏
452003
Symbolic animation of JML specifications‏
F Bouquet, F Dadeau, B Legeard, M Utting‏
International Symposium on Formal Methods, 75-90, 2005‏
442005
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‏
402011
Automated boundary test generation from JML specifications‏
F Bouquet, F Dadeau, B Legeard‏
International Symposium on Formal Methods, 428-443, 2006‏
392006
Model-based testing from UML models‏
E Bernard, F Bouquet, A Charbonnier, B Legeard, F Peureux, M Utting, ...‏
INFORMATIK 2006–Informatik für Menschen–Band 2, Beiträge der 36 …, 2006‏
382006
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‏
342013
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‏
342012
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‏
342005
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‏
302011
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
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‏
271999
JML-testing-tools: A symbolic animator for JML specifications using CLP‏
F Bouquet, F Dadeau, B Legeard, M Utting‏
International Conference on Tools and Algorithms for the Construction and …, 2005‏
252005
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20