Laski, Janusz
Software Verification and Analysis
2. Why Not Write Correct Software the First Time?
Janusz Laski, William Stanley
3. How to Prove a Program Correct: Programs Without Loops
Janusz Laski, William Stanley
4. How to Prove a Program Correct: Iterative Programs
Janusz Laski, William Stanley
5. Prepare Test for Any Implementation: Black-Box Testing
Janusz Laski, William Stanley
6. Intermediate Program Representation
Janusz Laski, William Stanley
7. Program Dependencies
Janusz Laski, William Stanley
8. What Can One Tell About a Program Without Its Execution: Static Analysis
Janusz Laski, William Stanley
9. Is There a Bug in the Program? Structural Program Testing
Janusz Laski, William Stanley
10. Dynamic Program Analysis
Janusz Laski, William Stanley
Avainsanat: Computer Science, Programming Techniques, Software Engineering, Software Engineering/Programming and Operating Systems
- Tekijä(t)
- Laski, Janusz
- Stanley, William
- Julkaisija
- Springer
- Julkaisuvuosi
- 2009
- Kieli
- en
- Painos
- 1
- Sivumäärä
- 14 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781848822405