- decks
- flashcards
- learners
Decks in this class (11)
1. Introduction to Software Analysis
What is program analysis 1,
What are the three kinds of analy...,
What is dynamic program analysis 3
6
cards
2. Introduction to Software Testing
What does testing check 1,
Automated vs manual testing 2,
Black box vs white box testing 3
6
cards
3. Random Testing
What is random testing aka fuzzing 1,
What is the depth of a concurrenc...,
Why does systematic randomization...
6
cards
4. Automated Test Generation
Explain what the following kinds ...,
What is a concise test 2,
What is a diverse test 3
7
cards
5. Dataflow Analysis
What is dataflow analysis 1,
What is a control flow graph 2,
True or false it is impossible fo...
7
cards
6. Pointer Analysis
What is pointer analysis 1,
What is pointer aliasing 2,
What is may alias analysis 3
17
cards
7. Constraints Based Analysis
What is constraints based analysis 1,
What are the benefits of constrai...
2
cards
8. Type Systems
What is the purpose of a type sys...,
What is a type 2,
What is an inference rule schema ...
4
cards
9. Statistical Debugging
0
cards
10. Delta Debugging
0
cards
11. Dynamic Symbolic Execution
0
cards
More about
CS 6340 Software Analysis & Testing
- Company name Unspecified
- Training purpose Unspecified
- Industry Unspecified
- Number of employees who could use this Unspecified
The creator of this class did not yet add a description for what is included in this class.
How studying works.
Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.
Add your own flashcards.
Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!
What's Brainscape anyway?
Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.
We use an adaptive study algorithm that is proven to help you learn faster and remember longer....
Looking for something else?
cs6340
- 6 decks
- 146 flashcards
- 33 learners
Decks:
6 Pointer Analysis, 7 Constraint Based Analysis, 8 Type Systems, And more!
Certified Associate in Software Testing
- 11 decks
- 532 flashcards
- 258 learners
Decks:
Cast Full Deck, Practice Questions, Cast Ch 1, And more!
Software Douchebags
- 15 decks
- 2303 flashcards
- 101 learners
Decks:
Se3352 Final, Ece4436 Final, Se3316 Final, And more!
