How to Create MongoDB Schemas and Data Models - Node.js Tutorials for Beginners
Learn to create MongoDB schemas and data models in Node.js. Define document structure, interact with collections, and implement user registration using Mongoose.
How to Setup Routes with Express Router - Node.js & Express Tutorials for Beginners
Learn to organize and structure Express.js applications by setting up routes with Express Router, including creating multiple routers, handling REST API routes, and working with route parameters.
Functions and Determinism in Property-based Testing - Lecture 9
Explore property-based testing, its implementation, and advanced techniques. Learn to create robust test suites using generators, determinism, and invariants for more effective software validation.
Generic Swift: Simplifying Protocols and Generics
Demystifying Swift generics: Learn to choose the right tools for protocol-oriented programming, avoiding common pitfalls and creating elegant, reusable code without fighting the compiler.
Alexa Voice Interface for Special Delivery Unit at Children's Hospital of Philadelphia
Exploring Alexa's potential in healthcare: A proof-of-concept for hands-free access to critical information during special deliveries at Children's Hospital of Philadelphia, addressing challenges and adaptations.
Understanding Latency: Pitfalls, Lessons and Tools - Philly ETE 2014
Explore common pitfalls in latency measurement, learn techniques for accurate reporting, and discover open-source tools to improve confidence in application responsiveness analysis.
Cypress - Web Testing Framework Crash Course - 2021
Learn Cypress web testing framework: setup, commands, writing tests, and mocking HTTP requests. Simplify your testing process and make it enjoyable with this comprehensive crash course.
React Testing Library Crash Course
Comprehensive guide to React Testing Library, covering automated testing, TDD, and key concepts like FireEvent. Ideal for developers seeking to enhance their React testing skills.
Java Unit Testing with JUnit - How to Create and Use Unit Tests
Learn to create and use JUnit tests in Java to verify code correctness. Covers test creation, complex scenarios, edge cases, and best practices for confident Java development.
Invariant Synthesis for Linear Dynamical Systems - Pierre Ohlmann, ENS de Lyon
Explore linear dynamical systems, the Orbit Problem, and invariant synthesis. Learn about semialgebraic and semilinear invariants, Jordan blocks, and related concepts in computational mathematics.
Harnessing the Unreal Engine Automation Framework for Performance Measurement
Explore Dovetail Games' approach to automation in Unreal Engine for performance measurement, covering test writing, data analysis, and scalability for efficient game development.
ESP32 Automated Irrigation Control System Project - Water Meter Implementation
Develop a water meter library for ESP32 irrigation control, including pulse detection, measurement conversion, and data storage using SPIFFS. Practical testing with a DIY meter emulator.
Static Evaluation of Noninterference Using Approximate Model Counting
Explore quantitative information flow and interference assessment in software security using approximate model counting, with applications to real-world scenarios like search engines and TCP.
Verification State-Space Reduction Through Restricted Parsing Environments
Explore state-space reduction in verification through restricted parsing environments. Learn about Crema language and its application in simplifying input-handling software verification.
A Posteriori Taint-Tracking for Demonstrating Non-Interference in Expressive Low-Level Languages
Explore a novel approach to information-flow analysis in low-level languages, focusing on non-interference proofs, taint-tracking optimization, and performance improvements in security applications.
Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Explore incremental hybrid fuzzing techniques using polyhedral path abstraction to enhance efficiency in bug detection and input generation for software testing.
Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Efficient binary-level verification tool for constant-time programming, providing bug-finding and bounded-verification through relational symbolic execution and optimizations for information flow analysis.
IJON: Exploring Deep State Spaces via Fuzzing
Explore advanced fuzzing techniques for deep state spaces, covering high-level mutation, feedback mechanisms, and practical applications in software testing and security.
SAVIOR: Towards Bug-Driven Hybrid Testing
Explore bug-driven hybrid testing with SAVIOR, a novel approach combining compile-time analysis and runtime instrumentation to enhance bug detection efficiency in software development.
Krace: Data Race Fuzzing for Kernel File Systems
Innovative fuzzing technique for detecting data races in kernel file systems, enhancing concurrency coverage tracking and active interleaving exploration through delay injection.
VerX: Safety Verification of Smart Contracts
Explore automated safety verification for smart contracts using VerX, covering specification challenges, verification techniques, and practical applications in blockchain security.