Browsing by Author "Csallner, Christoph"
Now showing items 1-20 of 20
-
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 ... -
AUTOMATIC TEST CASE GENERATION WITH DYNAMIC SYMBOLIC EXECUTION FOR PROGRAMS THAT ARE CODED AGAINST INTERFACES AND ANNOTATIONS OR USE NATIVE CODE
Islam, Mainul (University of Texas at Arlington Libraries, 2015-05)It is important to generate useful test cases to ensure the quality of software programs. Modern software programs are built upon code written in different programming languages. Automatic test case generation for such ... -
Constructing Large Open-Source Corpora and Leveraging Language Models for Simulink Toolchain Testing and Analysis
Shrestha, Sohil Lal; 0000-0002-0837-8388 (2023-12-06)In several safety-critical industries such as automotive, aerospace, healthcare, and industrial automation, MATLAB/Simulink has emerged as the de-facto standard tool for system modeling and analysis, model compilation into ... -
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 ... -
DISTRIBUTED ON-DEMAND INTEGRITY MONITORING OF LEGACY APPLICATIONS AND RELIABLE ANALYSIS OF MIXED-MODE USER-KERNEL LEVEL ROOTKITS
Aboughadareh, Shabnam (2015-12-07)The increasing number of malicious programs has become a serious threat. The growth of malware samples has led computer security researchers to design and develop automatic malware detection and analysis tools. At the same ... -
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 ... -
PSDoodle: fast app screen search via partial screen doodle
Mohian, Soumik; Csallner, Christoph (ACM, 2022-10-17)Searching through existing repositories for a specific mobile app screen design is currently either slow or tedious. Such searches are either limited to basic keyword searches (Google Image Search) or require as input a ... -
PSDoodle: searching for app screens via interactive sketching
Mohian, Soumik; Csallner, Christoph (ACM, 2022-10-17)Keyword-based mobile screen search does not account for screen content and fails to operate as a universal tool for all levels of users. Visual searching (e.g., image, sketch) is structured and easy to adopt. Current visual ... -
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 ... -
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain
Sohil, Lal Shrestha; Csallner, Christoph (ACM, 2021-06-23)Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language specifications are not available. While ... -
SLNET: a redistributable corpus of 3rd-party simulink models
Shrestha, Sohil Lal; Chowdhury, Shafiul Azam; Csallner, Christoph (ACM, 2022-10-17)MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare ... -
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 ...