A model reduction method for parallel software testing

DOI10.1155/2013/595897zbMath1311.68049OpenAlexW2139575396WikidataQ59003210 ScholiaQ59003210MaRDI QIDQ364436

Xinming Ye, Tao Sun

Publication date: 9 September 2013

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/595897

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities

Cites Work

• Unnamed Item

This page was built for publication: A model reduction method for parallel software testing