Search result for Symbolic execution Online Courses & Certifications
FollowFilter ![]()
Filter ![]()
Showing 7 courses
By Category ![]()
By Subject![]()
By Language![]()
By Duration![]()
By Price![]()
Get Course Alerts by Email
Software Analysis & Testing
by Chris Pryby , Mayur Naik- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 16 weeks
Dynamic symbolic execution....
Free
Software Security
by Michael Hicks- 4.6
-
![]()
![]()
![]()
![]()
![]()
Approx. 18 hours to complete
Introducing Symbolic Execution Symbolic Execution: A Little History Basic Symbolic Execution Symbolic Execution as Search, and the Rise of Solvers Symbolic Execution Systems...
Formal Software Verification
by Renata Rand McFadden , Michael Scott Brown- 0.0
-
![]()
![]()
![]()
![]()
![]()
8 Weeks
Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly. Use Symbolic Execution to evaluate software for defects...
$249
Functional Programming with Streams in Java 9
by Packt Publishing- 4.3
-
![]()
![]()
![]()
![]()
![]()
5 hours on-demand video
execution model. library for symbolic manipulation of polyhedra....
$12.99
Xcode Debugging
by Jarrod Parkes- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 3 weeks
Examine application state and stack frames during the execution of an application. lesson 4 Breakpoints and Visual Tools Set special exception and symbolic breakpoints....
Free
Introduction to Automated Analysis
by Mike , Kevin Wendt- 4.1
-
![]()
![]()
![]()
![]()
![]()
Approx. 19 hours to complete
- Understand the foundations of automated verification: randomization and symbolic representations - Distinguish the strengths and weaknesses of random testing, symbolic analysis, static analysis, and model checking - Create executable requirements as an oracle suitable for automated testing and symbolic analysis Symbolic Representations Symbolic Representations Automated Test Generation using Symbolic Execution...
Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)
by Shimon SchockenTop Instructor , Noam NisanTop Instructor- 4.9
-
![]()
![]()
![]()
![]()
![]()
Approx. 44 hours to complete
What you’ll achieve: In this project-centered course* you will build a modern computer system, from the ground up. We’ll divide this fascinating journey into six hands-on projects that will take you from constructing elementary logic gates all the way through creating a fully functioning general purpose computer. What you’ll need: Course format:...
