| 1. |
|
|
| 2. |
- Khosrowjerdi, Hojat, et al.
(författare)
-
Virtualized-Fault Injection Testing : a Machine Learning Approach
- 2018
-
Ingår i: 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST). - : IEEE. - 9781538650127 ; , s. 297-308
-
Konferensbidrag (refereegranskat)abstract
- We introduce a new methodology for virtualized fault injection testing of safety critical embedded systems. This approach fully automates the key steps of test case generation, fault injection and verdict construction. We use machine learning to reverse engineer models of the system under test. We use model checking to generate test verdicts with respect to safety requirements formalised in temporal logic. We exemplify our approach by implementing a tool chain based on integrating the QEMU hardware emulator, the GNU debugger GDB and the LBTest requirements testing tool. This tool chain is then evaluated on two industrial safety critical applications from the automotive sector.
|
|
| 3. |
|
|
| 4. |
- Schueler, Wolfgang, et al.
(författare)
-
Complete Genome Sequence of Borrelia afzelii K78 and Comparative Genome Analysis
- 2015
-
Ingår i: PLOS ONE. - : Public Library of Science (PLoS). - 1932-6203. ; 10:3
-
Tidskriftsartikel (refereegranskat)abstract
- The main Borrelia species causing Lyme borreliosis in Europe and Asia are Borrelia afzelii, B. garinii, B. burgdorferi and B. bavariensis. This is in contrast to the United States, where infections are exclusively caused by B. burgdorferi. Until to date the genome sequences of four B. afzelii strains, of which only two include the numerous plasmids, are available. In order to further assess the genetic diversity of B. afzelii, the most common species in Europe, responsible for the large variety of clinical manifestations of Lyme borreliosis, we have determined the full genome sequence of the B. afzelii strain K78, a clinical isolate from Austria. The K78 genome contains a linear chromosome (905,949 bp) and 13 plasmids (8 linear and 5 circular) together presenting 1,309 open reading frames of which 496 are located on plasmids. With the exception of lp28-8, all linear replicons in their full length including their telomeres have been sequenced. The comparison with the genomes of the four other B. afzelii strains, ACA-1, PKo, HLJ01 and Tom3107, as well as the one of B. burgdorferi strain B31, confirmed a high degree of conservation within the linear chromosome of B. afzelii, whereas plasmid encoded genes showed a much larger diversity. Since some plasmids present in B. burgdorferi are missing in the B. afzelii genomes, the corresponding virulence factors of B. burgdorferi are found in B. afzelii on other unrelated plasmids. In addition, we have identified a species specific region in the circular plasmid, cp26, which could be used for species determination. Different non-coding RNAs have been located on the B. afzelii K78 genome, which have not previously been annotated in any of the published Borrelia genomes.
|
|
| 5. |
- Zomer, Aldert, et al.
(författare)
-
Genome Sequence of Moraxella catarrhalis RH4, an Isolate of Seroresistant Lineage
- 2012
-
Ingår i: Journal of Bacteriology. - 0021-9193. ; 194:24, s. 6969-6969
-
Tidskriftsartikel (refereegranskat)abstract
- Here we report the annotated genome sequence of Moraxella catarrhalis strain RH4, a seroresistant-lineage strain isolated from the blood of an infected patient. This genome sequence will allow us to gain further insight into the genetic diversity of clinical M. catarrhalis isolates and will facilitate study of M. catarrhalis pathogenesis.
|
|
