Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Borba, Paulo (Éditeur intellectuel), Cavalcanti, Ana (Éditeur intellectuel), Sampaio, Augusto (Éditeur intellectuel), Woodcook, Jim (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:1st ed. 2010.
Collection:Lecture Notes in Computer Science, 6153
Sujets:
Software engineering.
Computer programming.
Compilers (Computer programs).
Computer science.
Machine theory.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Accès en ligne:Texto Completo
Table des matières:
  • Software Testing: An Overview
  • Functional, Control and Data Flow, and Mutation Testing: Theory and Practice
  • Automatic Test-Case Generation
  • Testing a Software Product Line
  • Parameterized Unit Testing with Pex: Tutorial
  • Software Tool Issues
  • Software Testing Based on Formal Specification
  • A Systematic Introduction to Mutation Testing in Unifying Theories of Programming.

Documents similaires