Cover Image

Robot framework test automation /

Main Author:	Bisht, Sumit.
Format:	Book
Language:	English
Subjects:	Computer software > Verification.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10790288

Similar Items

Principles of model checking /
by: Baier, Christel
Published: (2008)

Dependable software systems engineering /

Engineering dependable software systems /

Software verification and analysis : an integrated, hands-on approach /
by: Łaski, Janusz
Published: (2009)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Program verification /
by: Francez, Nissim.
Published: (1992)

Software safety and security tools for analysis and verification /
Published: (2012)

Principles of the Spin model checker/
by: Ben-Ari, M., 1948-
Published: (2008)

The software audit guide /
by: Helgeson, John W., 1945-

Software testing verification & reliability
Published: (1991)

Systems and software verification: model-checking techniques and tools/
by: Berard, Beatrice.
Published: (2001)

Temporal verification of reactive systems: safety/
by: Manna, Zohar
Published: (1995)

Computer aided verification :10th International Conference, CAV. ʹ98, Vancouver, BC, Canada, June 28 - July 2, 1998 :proceedings /
Published: (1998)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Validation numerics : Theory and applications ; R. Albrecht, G. Alefeld, H. J. Stetter
Published: (1993)

Temporal verification of reactive systems : safety /
by: Manna, Zohar
Published: (1995)

Verification of sequential and concurrent programs/
by: Apt, Krzysztof R., 1949-
Published: (1997)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Model checking /
by: Clarke, E. M., 1945-
Published: (1999)

Program verification/
by: Francez, Nissim
Published: (1992)

Software inspection: an industry best practice/
by: Wheeler, David A.
Published: (1996)

Automated database applications testing specification representation for automated reasoning /
by: Mikhail, Rana Farid.
Published: (2010)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael, 1917-
Published: (2008)

Software verification and validation for practitioners and managers /
by: Rakitin, Steven R.
Published: (2001)

Verifiable programming /
by: Dahl, Ole-Johan, 1931-
Published: (1992)

The foundations of program verification/
by: Loeckx, Jacques, 1931-
Published: (1987)

Modular compiler verification: a refinement-algebraic approach advocating stepwise abstraction/
by: Muller - Olm, Markus
Published: (1997)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Robotium automated testing for android /
by: Zadgaonkar, Hrushikesh.

Eclipse development using the graphical editing framework and the eclipse modeling framework
Published: (2004)

Soccer robotics /
Published: (2004)

Model checking/
by: Clarke, Edmund M., 1945-
Published: (1999)

Pragmatic software testing : becoming an effective and efficient test professional /
by: Black, Rex, 1964-
Published: (2007)

Black-box testing : techniques for functional testing of software and systems /
by: Beizer, Boris, 1934-
Published: (1995)

Guide to advanced software testing
by: Hass, Anne Mette Jonassen.
Published: (2008)

Testing in software development /
Published: (1986)

Test-driven development with Mockito /
by: Acharya, Sujoy.

TestComplete cookbook : over 110 practical recipes teaching you to master TestComplete - one of the most popular tools for testing automation /
by: Alpaev, Gennadiy.

Testing IT : an off-the-shelf software testing process /
by: Watkins, John
Published: (2001)

Integrated circuit test engineering: modern techniques/
by: Grout, Ian A.
Published: (2006)

Cannot write session to /tmp/vufind_sessions/sess_2r4rnvijkolt9m5j9kagdtac60