Automated test generation from formal specifications of real-time reactive systems
Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. They are often used in safety-critical contexts. Consequently, the correction of such systems must be assured before they are deployed. This t...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2002
|
| Online Access: | http://spectrum.library.concordia.ca/1575/1/NQ68212.pdf Zheng, Mao <http://spectrum.library.concordia.ca/view/creators/Zheng=3AMao=3A=3A.html> (2002) Automated test generation from formal specifications of real-time reactive systems. PhD thesis, Concordia University. |