Category: Masters of Science

18
Feb
2024

JML – Java Modelling Language and KeY Prover

JML (Java Modeling Language) provides several keywords and constructs to specify properties of Java programs. Here are…

05
Nov
2022

Protected: LFD Progress: Learning From Data

There is no excerpt because this is a protected post.

09
Oct
2022

Protected: Formal Specification and Verification

There is no excerpt because this is a protected post.

28
May
2022

Unit Test Example Code With Python:

I have done unit testing for the triangle function which finds if it is Scalene, Isoscalene or…

19
Apr
2022

Protected: IT Security:

There is no excerpt because this is a protected post.

22
Jan
2022

Selenium Testing with Python

  https://demo.seleniumeasy.com/basic-first-form-demo.html Python selenium commands cheat sheet from selenium import webdriver #chrome_browser=webdriver.Chrome(‘./chromedriver’) driver = webdriver.Chrome() driver.get(“https://demo.seleniumeasy.com/basic-first-form-demo.html”) driver.maximize_window()…