Browsing Department of Computer Science and Engineering by Author "Csallner, Christoph"
Now showing items 1-13 of 13
-
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 ... -
An Experiment In Developing Small Mobile Phone Applications Comparing On-phone To Off-phone Development
Nguyen, Tuan Anh (Computer Science & Engineering, 2013-03-20)TouchDevelop represents a radically new mobile application development model, as TouchDevelop enables mobile application development on a mobile device. I.e., with TouchDevelop, the task of programming say a Windows Phone ... -
INFERRING IN-SCREEN ANIMATIONS AND INTER-SCREEN TRANSITION FROM USER INTERFACE SCREENSHOTS
Balasubramania, Siva Natarajan (2017-05-12)In practice, many companies have adopted the concept of creating interactive prototypes for explaining workflows and animations. Designing and developing a user interface is a time-consuming process, and the user experience ... -
JSSpe: A Symbolic Partial Evaluator for JavaScript
Suslu, Sumeyye; 0000-0001-9016-2676 (2018-04-19)Currently, JavaScript is one of the mostly used programming languages for Web and Mobile platforms. This brings a large demand for optimization and smarter resource allocation of the applications written in JavaScript. ... -
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 ... -
Searching and Classifying Mobile Application Screenshots
Kovacevic, Adis (2016-12-16)Searching for a particular application layout image is a challenging task. No search provider gives an adequate method to filter the query results to the look of a mobile application. Searching for a particular style of ... -
Social Coding Standards on TouchDevelop: An Empirical Study
Kulshrestha, Shivangi; 0000-0002-7450-1874 (2017-12-20)This study compares and contrasts the application development pattern on Microsoft’s mobile application development platform with leading version control and social coding sites like Github. TouchDevelop is an in-browser ... -
A Source Code Search Engine For Keyword Based Structural Relationship Search
Hamid, Asheq (Computer Science & Engineering, 2013-07-22)In an Object Oriented Program, we often see that a package contains several classes, a class contains several methods, a method calls other methods. We may say, there is a contains relationship between a package and a class ... -
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 ... -
Voice Controlled Accessibility and Testing tool (VCAT)
Kasaghatta Ramachandra, Nagendra Prasad; 0000-0002-0201-8154 (2019-08-07)Most current browser-based web applications and software engineering tools, such as test generators and management tools, are not accessible to users who cannot use a traditional input device, such as a mouse and/or a ...