Browsing PhD Dissertations - DO NOT EDIT by Author "Csallner, Christoph"
Now showing items 1-6 of 6
-
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
Chowdhury, Shafiul Azam; 0000-0001-9019-6067 (2019-11-14)Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ... -
CYBER-PHYSICAL SYSTEMS: FROM SPECIFICATION INFERENCE TO DESIGN ANALYSIS
Nguyen, Luan Viet (2018-05-02)Due to the high degree of uncertainty and complexity, design and analysis of cyber-physical systems (CPS) are very challenging tasks. The challenge arises immediately in the early CPS development cycle, which is the stage ... -
Dynamic Symbolic Data Structure Repair And Evaluation Of Program Analysis Tools With The RUGRAT Random Program Generator
Hussain, Ishtiaque (Computer Science & Engineering, 2014-07-14)Generic automatic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a ... -
Practical End-To-End Performance Evaluation Of Backend Software Applications
Nivas, TuliThis dissertation makes contributions to four areas of performance testing - the test process itself, monitoring, automation and end-to-end performance evaluation of backend applications. The first contribution deals with ... -
Tools For Program Understanding And Reverse-engineering Of Mobile Applications
Nguyen, Tuan Anh (Computer Science & Engineering, 2015)Mobile software development is evolving rapidly. Software development includes computer programing, documenting, testing and bug fixing processes. These processes need a detail understanding of the application logic which ... -
Toward a deeper integration of low-fidelity sketches into mobile application development
Mohian, Soumik; 0000-0003-4818-1210 (2023-05-18)Mobile application development often starts with creating low-fidelity sketches of user interfaces. Integrating these sketches into the software development process can reduce repetition, narrow the gap between user ...