Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool.

Simon Van Mierlo Hans Vangheluwe

Published in: MoDELS (Satellite Events) (2017)

Keyphrases

statistical analysis
analysis tool
quantitative analysis
databases
database systems
relational databases
fault localization