1
Published 2010
Table of Contents: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... to Software Engineering -- Tutorials -- Using Metrics to Improve Software Testing -- Increase ICT Project...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...
View full text
Electronic eBook
8
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... – The Courseware Modeling Tool -- Tutorial 2: FOOM – Functional and Object Oriented Methodology: An Integrated...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... -- On Partial Tests and Partial Reducts for Decision Tables -- The Second Attribute -- Pairwise Cores...
View full text
Electronic eBook