<--- Back to Details
First PageDocument Content
K2 / K1 / Tiny Encryption Algorithm / En / Evaluation / Computing / Physical geography / ISTQB Foundation Level / ISTQB Advanced Level / Software testing / International Software Testing Qualifications Board / Rex Black
Date: 2011-04-04 03:57:26
K2
K1
Tiny Encryption Algorithm
En
Evaluation
Computing
Physical geography
ISTQB Foundation Level
ISTQB Advanced Level
Software testing
International Software Testing Qualifications Board
Rex Black

Microsoft Word - ISTQB_CTFL_Syll 2011.docx

Add to Reading List

Source URL: www.software-tester.ch

Download Document from Source Website

File Size: 1,09 MB

Share Document on Facebook

Similar Documents

Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

DocID: 1xVf0 - View Document

Central Intelligence Agency / Cold War in popular culture / McLean /  Virginia / Change impact analysis / Program slicing / Mining software repositories / Reverse engineering / Software engineering / Computing / Change

SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. ReliabPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: stvr.1475 A survey of code-based change impact analysis te

DocID: 1xUzu - View Document

Software testing / Software engineering / Model checkers / Computing / Theoretical computer science / Formal methods / Model checking / Formal verification / Random testing / Test automation / SPIN model checker / Acceptance testing

Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1

DocID: 1xUpo - View Document

Software engineering / Computing / Computer programming / Language workbench / High-level programming languages / Domain-specific language / JetBrains MPS / JetBrains / Red / Interpreter / Structure editor / Declarative programming

Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·

DocID: 1xTVB - View Document

Software testing / Software engineering / Computing / Software development / Symbolic execution / Random testing / Unit testing / Code coverage / Test automation / Algorithm / Manual testing / Concolic testing

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

DocID: 1xTHa - View Document