Author of the publication

Automated Model-based Testing Based on an Agnostic-platform Modeling Language.

, , , , , and . MODELSWARD, page 239-246. SciTePress, (2015)

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

Automated Model-based Testing Based on an Agnostic-platform Modeling Language., , , , , and . MODELSWARD, page 239-246. SciTePress, (2015)Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128., , and . SPICE, volume 609 of Communications in Computer and Information Science, page 3-16. Springer, (2016)A Property-based Testing Framework for Multi-Agent Systems., and . AAMAS, page 1823-1825. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Jsongen: a quickcheck based library for testing JSON web services., , , and . Erlang Workshop, page 33-41. ACM, (2014)Honesty and trust revisited: the advantages of being neutral about other's cognitive models., , and . Auton. Agents Multi Agent Syst., 15 (3): 313-335 (2007)eJason: An Implementation of Jason in Erlang., , and . ProMAS, volume 7837 of Lecture Notes in Computer Science, page 1-16. Springer, (2012)A Case Study on Verifying a Supervisor Component Using McErlang., , , , and . PROLE, volume 271 of Electronic Notes in Theoretical Computer Science, page 23-40. Elsevier, (2010)Executable contracts for Elixir., , , , , , and . Erlang Workshop, page 40-46. ACM, (2022)Teaching Students Property-Based Testing., , , and . EUROMICRO-SEAA, page 437-442. IEEE Computer Society, (2014)Verifying fault-tolerant Erlang programs., , and . Erlang Workshop, page 26-34. ACM, (2005)