Skip to content

Files

Latest commit

OliverKillaneOliverKillane
70004 & 70024: Added final software reliability and Avanced security …
Mar 23, 2024
77d8ea4 · Mar 23, 2024

History

History

70024 - Software Reliability

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
American Fuzzy Lop (AFL).md
American Fuzzy Lop (AFL).md
 
 
Black-Box Fuzzing.md
Black-Box Fuzzing.md
 
 
Compiler Sanitizers.md
Compiler Sanitizers.md
 
 
Compiler Testing.md
Compiler Testing.md
 
 
Concolic Execution.md
Concolic Execution.md
 
 
Constraint Solving.md
Constraint Solving.md
 
 
Correctness of Tools.md
Correctness of Tools.md
 
 
Coverage Criteria.md
Coverage Criteria.md
 
 
Data Race.md
Data Race.md
 
 
Differential Testing.md
Differential Testing.md
 
 
Dumb Fuzzing.md
Dumb Fuzzing.md
 
 
Dynamic Analysis.md
Dynamic Analysis.md
 
 
EMI-Based Fuzzer.md
EMI-Based Fuzzer.md
 
 
EXE.md
EXE.md
 
 
Feedback-Directed Fuzzing.md
Feedback-Directed Fuzzing.md
 
 
Functional Bugs.md
Functional Bugs.md
 
 
Functional Properties.md
Functional Properties.md
 
 
Fuzzing.md
Fuzzing.md
 
 
General Properties.md
General Properties.md
 
 
Generation-Based Fuzzer.md
Generation-Based Fuzzer.md
 
 
Generic Bugs.md
Generic Bugs.md
 
 
Grammar-Based Fuzzing.md
Grammar-Based Fuzzing.md
 
 
Grey-Box Fuzzing.md
Grey-Box Fuzzing.md
 
 
Implementation Defined Behaviour.md
Implementation Defined Behaviour.md
 
 
KLEE.md
KLEE.md
 
 
Liveness Properties.md
Liveness Properties.md
 
 
Manual Testing.md
Manual Testing.md
 
 
Memory Safety Violations Based Attacks.md
Memory Safety Violations Based Attacks.md
 
 
Metamorphic Testing.md
Metamorphic Testing.md
 
 
Mutation Testing.md
Mutation Testing.md
 
 
Mutation-Based Fuzzer.md
Mutation-Based Fuzzer.md
 
 
Non-Testable Programs.md
Non-Testable Programs.md
 
 
Oracle.md
Oracle.md
 
 
Path Explosion.md
Path Explosion.md
 
 
Random Program Generation.md
Random Program Generation.md
 
 
Reliability Tools.md
Reliability Tools.md
 
 
SUT.md
SUT.md
 
 
Safety Properties.md
Safety Properties.md
 
 
Satisfiability Modulo Theories.md
Satisfiability Modulo Theories.md
 
 
Smart Fuzzing.md
Smart Fuzzing.md
 
 
Software Reliability Techniques.md
Software Reliability Techniques.md
 
 
Static Analysis.md
Static Analysis.md
 
 
Swarm Testing.md
Swarm Testing.md
 
 
Symbolic Execution.md
Symbolic Execution.md
 
 
Test Case Reduction.md
Test Case Reduction.md
 
 
Thread Sanitizer.md
Thread Sanitizer.md
 
 
Undefined Behaviour.md
Undefined Behaviour.md
 
 
Unspecified Behaviour.md
Unspecified Behaviour.md
 
 
Valgrind.md
Valgrind.md
 
 
White-Box Fuzzing.md
White-Box Fuzzing.md