[–] rramadass 4d ago ↗ Official Course Page: https://omscs.gatech.edu/cs-6340-software-analysisIncludes:1) Random Testing.2) Automated Test Generation.3) Dataflow Analysis.4) Pointer Analysis.5) Constraint-based Analysis.6) Type Systems.7) Statistical Debugging.8) Delta Debugging.9) Dynamic Symbolic Execution.
1 comment
[ 2.8 ms ] story [ 11.3 ms ] threadIncludes:
1) Random Testing.
2) Automated Test Generation.
3) Dataflow Analysis.
4) Pointer Analysis.
5) Constraint-based Analysis.
6) Type Systems.
7) Statistical Debugging.
8) Delta Debugging.
9) Dynamic Symbolic Execution.