Search
Now showing items 1-2 of 2
SPIN Model Checker for MACT
(North Dakota State University, 2013)
The SPIN (Simple PROMELA Interpreter) model checker is a verification system used to check high-level models of concurrent systems and improve the overall system’s performance. The SPIN model checker takes the PROMELA model ...
An Application of Association Rule Mining to Unit Test Selection
(North Dakota State University, 2013)
Appropriate selection of unit tests during the software development process is vital when many unit tests exist. The developer may be unfamiliar with some tests and non-obvious relationships between application code and ...