An Environment for Testing Concurrent Programs Based on Rewrite-theory Specifications

Autor:	Do, Minh Canh
Jazyk:	angličtina
Rok vydání:	2019
Předmět:	Maude divide & conquer meta-programming ComputingMilieux_THECOMPUTINGPROFESSION testing concurrent programs simulation relations ComputerApplications_COMPUTERSINOTHERSYSTEMS specification-based testing Java Pathfinder(JPF)
Popis:	Supervisor:緒方 和博 先端科学技術研究科 修士（情報科学）
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::8f94e2c43e41626253388776b08a235c http://hdl.handle.net/10119/17563 Zobrazit plný text záznamu