| LDR | | 00000nmm u2200205 4500 |
| 001 | | 000000330078 |
| 005 | | 20241023134123 |
| 008 | | 181129s2018 ||| | | | eng d |
| 020 | |
▼a 9780438136601 |
| 035 | |
▼a (MiAaPQ)AAI10744363 |
| 035 | |
▼a (MiAaPQ)umd:18752 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 248032 |
| 049 | 1 |
▼f DP |
| 082 | 0 |
▼a 004 |
| 100 | 1 |
▼a Schulze, Christoph.
▼0 (orcid)0000-0001-9300-5641 |
| 245 | 10 |
▼a Model-based Testing of Off-nominal Behaviors. |
| 260 | |
▼a [S.l.] :
▼b University of Maryland, College Park.,
▼c 2018 |
| 260 | 1 |
▼a Ann Arbor :
▼b ProQuest Dissertations & Theses,
▼c 2018 |
| 300 | |
▼a 262 p. |
| 500 | |
▼a Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B. |
| 500 | |
▼a Advisers: Rance Cleaveland |
| 502 | 1 |
▼a Thesis (Ph.D.)--University of Maryland, College Park, 2018. |
| 520 | |
▼a Off-nominal behaviors (ONBs) are unexpected or unintended behaviors that may be exhibited by a system. They can be caused by implementation and documentation errors and are often triggered by unanticipated external stimuli, such as unforeseen se |
| 520 | |
▼a This thesis describes the development and evaluation of model-based techniques for the identification and documentation of ONBs. Model-Based Testing (MBT) techniques have been used to provide automated support for thorough evaluation of software |
| 520 | |
▼a The second part of the thesis presents a framework and associated tooling for the extraction and analysis of specifications for identifying and documenting ONBs. The framework infers behavioral specifications in the form of system invariants fro |
| 590 | |
▼a School code: 0117. |
| 650 | 4 |
▼a Computer science. |
| 690 | |
▼a 0984 |
| 710 | 20 |
▼a University of Maryland, College Park.
▼b Computer Science. |
| 773 | 0 |
▼t Dissertation Abstracts International
▼g 79-11B(E). |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0117 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2018 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T14996829
▼n KERIS |
| 980 | |
▼a 201812
▼f 2019 |
| 990 | |
▼a 관리자
▼b 관리자 |