Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

CS 6340 Software Analysis & Testing

This class was created by Brainscape user Allison Urban. Visit their profile to learn more about the creator.

By: Allison Urban
Start Studying

Decks in this class (11)

1. Introduction to Software Analysis
What is program analysis,
What are the three kinds of analyses,
What is dynamic program analysis ...
6  cards
2. Introduction to Software Testing
What does testing check,
Automated vs manual testing,
Black box vs white box testing
6  cards
3. Random Testing
What is random testing aka fuzzing,
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,
What is a diverse test
7  cards
5. Dataflow Analysis
What is dataflow analysis,
What is a control flow graph,
True or false it is impossible fo...
7  cards
6. Pointer Analysis
What is pointer analysis,
What is pointer aliasing,
What is may alias analysis
17  cards
7. Constraints Based Analysis
What is constraints based analysis,
What are the benefits of constrai...
2  cards
8. Type Systems
What is the purpose of a type system,
What is a type,
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

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Allison Urban's CS 6340 Software Analysis & Testing flashcards now!

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.

Learn more about spaced repetition

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?

CS 6340
  • 6 decks
  • 135 flashcards
  • 42 learners
Decks: L1, L2, L3, And more!
Certified Associate in Software Testing
  • 11 decks
  • 532 flashcards
  • 239 learners
Decks: Cast Full Deck, Practice Questions, Cast Ch 1, And more!
cs6340
  • 6 decks
  • 146 flashcards
  • 31 learners
Decks: 6 Pointer Analysis, 7 Constraint Based Analysis, 8 Type Systems, And more!
Software Douchebags
  • 15 decks
  • 2303 flashcards
  • 88 learners
Decks: Se3352 Final, Ece4436 Final, Se3316 Final, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions