Library of American University of Madaba
Your cart is empty.
Borba, Paulo.
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / [electronic resource] : edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. - IX, 313p. 73 illus. online resource. - Lecture Notes in Computer Science, 6153 0302-9743 ; .
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.
This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.
9783642143359
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / [electronic resource] : edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. - IX, 313p. 73 illus. online resource. - Lecture Notes in Computer Science, 6153 0302-9743 ; .
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.
This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.
9783642143359
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1