Author of the publication

Generating Transition Probabilities for Automatic Model-Based Test Generation.

, and . ICST, page 99-102. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unifying Theories in Isabelle/HOL., , and . UTP, volume 6445 of Lecture Notes in Computer Science, page 188-206. Springer, (2010)Handling B models in the PERF integrated verification framework: Formalised and certified embedding., , , , and . Sci. Comput. Program., (2020)Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus).. University of Paris-Sud, Orsay, France, (2012)B-PERFect - Applying the PERF Approach to B Based System Developments., , , , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 160-172. Springer, (2017)The Circus Testing Theory Revisited in Isabelle/HOL., , , and . ICFEM, volume 8144 of Lecture Notes in Computer Science, page 131-147. Springer, (2013)Isabelle/Circus: A Process Specification and Verification Environment., , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 243-260. Springer, (2012)Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study., , and . Int. J. Softw. Informatics, 9 (2): 177-203 (2015)Generating Transition Probabilities for Automatic Model-Based Test Generation., and . ICST, page 99-102. IEEE Computer Society, (2010)Isabelle/Circus., , and . Arch. Formal Proofs, (2012)Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems., , , , , and . RSSRail, volume 14198 of Lecture Notes in Computer Science, page 165-177. Springer, (2023)