Failures in reactive embedded systems are often unacceptable. In this thesis, the author describes the test suite generation and reduction technique in detail and present the results of the case studies.
Year Manuscript Completed
Computer Science (0984)
Embedded computer systems Testing; Embedded computer systems Reliability; Computer software Testing; Computer software Quality control; Computer software Reliability.
Primary Language of Manuscript
Recommended CitationPrasad Bokil (January 2013) Generating Effective Test Suites for Reactive Systems Using Specification Mining, MScResearch, ePublications@bond, Faculty of Business.
01Front.pdf (55 kB)