fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Tests and Proofs

Tests and Proofs

by Bernhard K. Aichernig, Carlo A. Furia

Computer software, testingComputer software, verificationSoftware engineering
0.0
Open Library
Open Library

Themes & subjects

Computer software, testingComputer software, verificationSoftware engineering

Authors

Bernhard K. Aichernig, Carlo A. Furia

Pages

213

Read time

≈ 5h

Editions

2

Language

English

Publisher

Springer London, Limited

ISBN

9783319411354

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Software Testing

Computer software · Computer software, testing

Software Testing

Brian Hambling

2009

Software Testing

Computer software, testing

Software Testing

Paul C. Jorgensen

2002

Lessons learned in software testing

Testing · Computer software

Lessons learned in software testing

Cem Kaner

2001

Testing computer software

Testing · Computer software

Testing computer software

Cem Kaner

1988

Software Quality Engineering

Computer Technology · Nonfiction

Software Quality Engineering

Jeff Tian

2005

Software testing

Testing · Computer software

Software testing

Paul Jorgensen

1995

Software Testing 2020

Computer software, testing · Computer software

Software Testing 2020

Mukesh Sharma

2016

Manage Software Testing

Computer Technology · Nonfiction

Manage Software Testing

Peter Farrell-Vinay

2008

Languages, Design Methods, and Tools for Electronic System Design

Software engineering · Computer software, verification

Languages, Design Methods, and Tools for Electronic System Design

Franco Fummi

2016

Principles of model checking

Computer systems · Verification

Principles of model checking

Christel Baier

2008

Reactive systems

Expert systems (Computer science) · Validation

Reactive systems

Luca Aceto

2003

Model checking

Datenverarbeitungssystem · Computersystemen

Model checking

Edmund M. Clarke Jr.

1999

Next generation Java testing

Java (Computer program language) · Testing

Next generation Java testing

Cédric Beust

2007

Text, Speech and Dialogue

Data Mining and Knowledge Discovery · Database management

Text, Speech and Dialogue

Petr Sojka

2012

Computer Aided Verification

Computer software, verification · Logic, symbolic and mathematical

Computer Aided Verification

Daniel Kroening

2015

Leveraging Applications of Formal Methods, Verification and Validation

Computer software, verification · Computer software, validation

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

2008

Software engineering reviews and audits

Validation · Verification

Software engineering reviews and audits

Boyd L. Summers

2011

Verification and Validation for Quality of UML 2.0 Models

Computer software · Quality control

Verification and Validation for Quality of UML 2.0 Models

Bhuvan Unhelkar

2005