Softwaretestning
-
String Analysis for Software Verification and Security (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Java Unit Testing with JUnit 5: Test Driven Development with JUnit 5 (Bog, Paperback / softback, Engelsk)
Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Appium Insights: Strategies for Successful Platform Agnostic Test Automation (Bog, Paperback / softback, Engelsk)Levering: 6 - 9 hverdage
-
Formal Methods, Informally: How to Write Programs That Work (Bog, Paperback / softback, Engelsk)
Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on... Læs mere
Levering: 6 - 9 hverdage -
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Bog, Hardback, Engelsk)
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Software Testing: Foundations, Applications and Challenges (Bog, Hardback, Engelsk)
This book covers both theory and applications in the automation of software testing tools and techniques for various types of software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Software Testing: Foundations, Applications and Challenges (Bog, Paperback / softback, Engelsk)
This book covers both theory and applications in the automation of software testing tools and techniques for various types of software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Code Clone Analysis: Research, Tools, and Practices (Bog, Hardback, Engelsk)
The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Code Clone Analysis: Research, Tools, and Practices (Bog, Paperback / softback, Engelsk)
The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Java Testing with Selenium: A Comprehensive Syntax Guide for Automation (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
