YoVDO

Pattern Explorer Tool for Testing CEP Patterns

Offered By: HyperComplex Seminar via YouTube

Tags

Automata Theory Courses Regular Languages Courses Symbolic Execution Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the Pattern Explorer tool for testing Complex Event Processing (CEP) patterns in this 44-minute seminar from HyperComplex. Learn about the challenges of understanding complex patterns and detecting subtle errors in event stream processing. Discover how the tool compiles patterns into non-deterministic automata with variables, enabling pattern matching with event streams. Gain insights into the tool's ability to generate symbolic event sequences using extended narrowing, facilitating the detection of unintended matching complex events. Examine the efficient representation of skipped events in generated symbolic streams, which reduces search space and prevents spurious instances. Access key functionalities through a user-friendly web interface and enhance your understanding of CEP pattern testing and validation.

Syllabus

Bartosz Zieliński, Paweł Maślanka, Pattern Explorer tool for testing CEP patterns


Taught by

HyperComplex Seminar

Related Courses

Formal Software Verification
University System of Maryland via edX
Software Analysis & Testing
Georgia Institute of Technology via Udacity
Computer Systems Security
Massachusetts Institute of Technology via MIT OpenCourseWare
Reverse Engineering 3201: Symbolic Analysis
OpenSecurityTraining2 via Independent
angr: Binary Analysis Framework - Demonstration and Analysis
New York University (NYU) via YouTube