Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer

STLC-related snippets in Agda

🧊 Типізоване ‏-ג‏‎числення

write a little simply typed functional language to practice Rust

px is an experimental, typed lambda calculus for _

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

An STLC to Forth386 compiler.

Simply Typed Lambda Calculus

Performed manual testing on the Flipkart e-commerce application by following the STLC process. Created and executed test cases using Black Box Testing techniques & Edge cases for Search, Login & Add2Cart modules. Tested in both Web & Mobile applications. Successfully identified critical bugs, reported & retested.

Manual and Automation Testing (Selenium Java)

Introduced subtyping into Simply Typed Lambda Calculus (STLC), allowing for more flexible type assignments following Liskov’s Substitution Principle. We implemented an algorithmically driven type system supporting subtyping, and then expanded it with joins and meets, based on TaPL by Pierce.

The repository provides an automation testing demo for the Cura Health Care application, using scripts to verify its functionality and performance.

this repo contains information about software testing

Hi there! 👋 I'm Vamshi, a passionate SDET. I love exploring new technologies and applying them to solve real-world problems. My repository features various projects, including a comprehensive 10-day Python course designed to help beginners master the basics of Python programming.

API & Web Tests. Testing module practical tasks. Internship at Solvd Inc. Bug-tracking systems, SDLC, Carina Framework

My Linkedin

It contains all the information about the process, activities and tools used in Quality Assurance process

Theoretical knowledge of software testing and quality assurance

Разработка блок-схемы для визуализации жизненного цикла тестирования ПО в draw.io