Quality Assurance through Rigorous Software Specification and Testing: A Case Study☆
Under a Creative Commons license
open access
Keywords
Rigorous software specification
sequence-based specification
model-based statistical testing
automated testing
Markov chain usage models
requirements engineering
software quality assurance
Cited by (0)
- ☆
Peer-review under responsibility of organizing committee of The 2015 International Conference on Soft Computing and Software Engineering (SCSE 2015).
Copyright © 2015 The Authors. Published by Elsevier B.V.