2 automatic PhD positions at Newcastle University

PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | United Kingdom | 19 days ago

: ·       Learning how to express software requirements precisely using formal models. ·       Using these specifications to automatically generate test cases for software systems and code. ·       Exploring how test

PhD Studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | Newcastle upon Tyne, England | United Kingdom | about 1 month ago

work. The project will involve: Learning how to express software requirements precisely using formal models. Using these specifications to automatically generate test cases for software systems and code