Browsing Theses and Dissertations(library) by Subject "Automated testing"
Now showing items 1-2 of 2
-
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
(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 ... -
Using Property-Based Testing, Weighted Grammar-Based Generators, and a Consensus Oracle to Test Browser Rendering Engines and to Reproduce Minimized Versions of Existing Test Cases
(2019-12-10)Verifying that a web browser rendering engine correctly renders all valid web pages is challenging due to the size of the input space (valid web pages), the difficulty of determining correct rendering for any given web ...