Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
write a little simply typed functional language to practice Rust
🧊 Мінімальна внутрішня мова декартово-замкнених категорій
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
IFARLAB-EDIH Cloud Platform providing UR10e and Kawasaki RS005L digital twin visualization, FMI/FMU simulation, ROS2 telemetry ingestion, analytics for monitoring/experimentation, and an integrated STLC Manager for test lifecycle management.
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.
Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization
Senior QA Release Readiness Portfolio | Regression Strategy | Risk-Based Testing | Defect Governance
QA Strategy & Test Documentation Portfolio | Functional Testing | Regression Coverage | Quality Process Design
Comprehensive QA manual testing project | OpenCart E-commerce | 25+ test cases | RTM | Defect tracking | MySQL validation | STLC/SDLC
Manual and Automation Testing (Selenium Java)
Manual Testing project on an OpenCart E-commerce web application covering STLC, test scenarios, detailed test cases, RTM mapping, test execution, and structured bug reporting with evidence. Simulates real QA Engineer workflow.
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.
Add a description, image, and links to the stlc topic page so that developers can more easily learn about it.
To associate your repository with the stlc topic, visit your repo's landing page and select "manage topics."