Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, and Robert Chen. Securing Aptos Framework with Formal Verification. In 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 9:1-9:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{park_et_al:OASIcs.FMBC.2024.9, author = {Park, Junkil and Zhang, Teng and Grieskamp, Wolfgang and Xu, Meng and Di Giacomo, Gerardo and Chen, Kundu and Lu, Yi and Chen, Robert}, title = {{Securing Aptos Framework with Formal Verification}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {9:1--9:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-317-1}, ISSN = {2190-6807}, year = {2024}, volume = {118}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.9}, URN = {urn:nbn:de:0030-drops-198741}, doi = {10.4230/OASIcs.FMBC.2024.9}, annote = {Keywords: Formal verification, Smart contracts, Aptos Network, The Move language, The Move Prover} }
Published in: Dagstuhl Seminar Proceedings, Volume 10421, Model-Based Testing in Practice (2011)
Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner. 10421 Abstracts Collection – Model-Based Testing in Practice. In Model-Based Testing in Practice. Dagstuhl Seminar Proceedings, Volume 10421, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{grieskamp_et_al:DagSemProc.10421.1, author = {Grieskamp, Wolfgang and Hierons, Robert M. and Pretschner, Alexander}, title = {{10421 Abstracts Collection – Model-Based Testing in Practice}}, booktitle = {Model-Based Testing in Practice}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2011}, volume = {10421}, editor = {Wolfgang Grieskamp and Robert M. Hierons and Alexander Pretschner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10421.1}, URN = {urn:nbn:de:0030-drops-29243}, doi = {10.4230/DagSemProc.10421.1}, annote = {Keywords: Testing, Modeling, Model-Driven Development} }
Published in: Dagstuhl Seminar Proceedings, Volume 10421, Model-Based Testing in Practice (2011)
Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner. 10421 Summary – Model-Based Testing in Practice. In Model-Based Testing in Practice. Dagstuhl Seminar Proceedings, Volume 10421, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{grieskamp_et_al:DagSemProc.10421.2, author = {Grieskamp, Wolfgang and Hierons, Robert M. and Pretschner, Alexander}, title = {{10421 Summary – Model-Based Testing in Practice}}, booktitle = {Model-Based Testing in Practice}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2011}, volume = {10421}, editor = {Wolfgang Grieskamp and Robert M. Hierons and Alexander Pretschner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10421.2}, URN = {urn:nbn:de:0030-drops-29258}, doi = {10.4230/DagSemProc.10421.2}, annote = {Keywords: Testing, Modeling, Model-Driven Development} }
Published in: Dagstuhl Seminar Proceedings, Volume 10111, Practical Software Testing : Tool Automation and Human Factors (2010)
Antonia Bertolino, Wolfgang Grieskamp, Robert Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit Paradkar, David Rosenblum, and Jan Tretmans. Model-Based Testing for the Cloud. In Practical Software Testing : Tool Automation and Human Factors. Dagstuhl Seminar Proceedings, Volume 10111, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bertolino_et_al:DagSemProc.10111.8, author = {Bertolino, Antonia and Grieskamp, Wolfgang and Hierons, Robert and Le Traon, Yves and Legeard, Bruno and Muccini, Henry and Paradkar, Amit and Rosenblum, David and Tretmans, Jan}, title = {{Model-Based Testing for the Cloud}}, booktitle = {Practical Software Testing : Tool Automation and Human Factors}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10111}, editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.8}, URN = {urn:nbn:de:0030-drops-26251}, doi = {10.4230/DagSemProc.10111.8}, annote = {Keywords: Cloud computing, Model based testing, Non-functional properties} }
Published in: Dagstuhl Seminar Proceedings, Volume 4371, Perspectives of Model-Based Testing (2005)
Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans. 04371 Abstracts Collection – Perspectives of Model-Based Testing. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{brinksma_et_al:DagSemProc.04371.1, author = {Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan}, title = {{04371 Abstracts Collection – Perspectives of Model-Based Testing}}, booktitle = {Perspectives of Model-Based Testing}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4371}, editor = {Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.1}, URN = {urn:nbn:de:0030-drops-3655}, doi = {10.4230/DagSemProc.04371.1}, annote = {Keywords: Model-based testing, software testing, formal methods, automatic test generation} }
Published in: Dagstuhl Seminar Proceedings, Volume 4371, Perspectives of Model-Based Testing (2005)
Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans. 04371 Summary – Perspectives of Model-Based Testing. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{brinksma_et_al:DagSemProc.04371.2, author = {Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan}, title = {{04371 Summary – Perspectives of Model-Based Testing}}, booktitle = {Perspectives of Model-Based Testing}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4371}, editor = {Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.2}, URN = {urn:nbn:de:0030-drops-3640}, doi = {10.4230/DagSemProc.04371.2}, annote = {Keywords: Model-based testing, software testing, formal methods, automatic test generation} }
Feedback for Dagstuhl Publishing