Avancerad sökning
Visar resultat 1 - 5 av 14 avhandlingar som matchar ovanstående sökkriterier.
1. Towards Automated Software Testing : Techniques, Classifications and Frameworks
Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER
2. Automating Black-Box Property Based Testing
Sammanfattning : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER
3. Data-driven Ship Performance Models - - Emphasis on Energy Efficiency and Fatigue Safety
Sammanfattning : Due to digitalization in the maritime industry, a huge amount of ship operation-related data has been collected. The main objective of this thesis is to exploit machine learning/big data analytics to build data-driven ship performance models, focusing on speed-power relationship modeling, and fatigue accumulation assessment during a ship’s operation at sea. LÄS MER
4. Following the white rabbit : release and regulation of HMGB1 in inflammation
Sammanfattning : Dysregulated inflammatory responses are characterized by excessive release of endogenous pro-inflammatory molecules, danger-associated molecular patterns (DAMPs). A prototypical DAMP, High Mobility Group Box 1 protein (HMGB1), is primarily bound to DNA in the nucleus of most eukaryotic cells. LÄS MER
5. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning
Sammanfattning : Automotive systems are not only becoming more open through developments like advanced driving assistance functions, autonomous driving, vehicle-to-everything communication and software-defined vehicle functionality, but also more complex. At the same time, technology from standard IT systems become frequently adopted in this setting. LÄS MER