Cover Image

QR Code

Static analysis of software the abstract interpretation /

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Boulanger, Jean-Louis
Format:	Electronic eBook
Language:	English
Published:	Hoboken, N.J. : Wiley, 2012.
Subjects:	Computer software > Testing. Debugging in computer science. Computer software > Quality control. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The art of software testing
by: Myers, Glenford J., 1946-
Published: (2012)

Software error detection through testing and analysis
by: Huang, J. C., 1935-
Published: (2009)

Software testing using Visual Studio 2012
by: Satheesh Kumar, N.
Published: (2013)

Software testing with Visual Studio team system 2008 a comprehensive and concise guide to testing your software applications with Visual Studio team system 2008 /
by: Subashni S.
Published: (2008)

Open source fuzzing tools
Published: (2007)

Software testing using Visual Studio 2010 a step-by-step guide to understanding the features and concepts of testing applications using Visual studio /
by: Subashni S.
Published: (2010)

Testing and quality assurance for component-based software
by: Gao, Jerry
Published: (2003)

Practical malware analysis the hands-on guide to dissecting malicious software /
by: Sikorski, Michael
Published: (2012)

Artificial intelligence methods in software testing
Published: (2004)

Achieving software quality through teamwork
by: Evans, Isabel
Published: (2004)

Metrics-driven enterprise software development effectively meeting evolving business needs /
by: Datta, Subhajit
Published: (2007)

Software process quality management and control /
by: Kenett, Ron
Published: (1999)

Mastering software quality assurance best practices, tools and techniques for software developers /
by: Chemuturi, Murali, 1950-
Published: (2011)

Handbook of software quality assurance
Published: (2008)

Practical guide to software quality management
by: Horch, John W.
Published: (2003)

Machine learning applications in software engineering
Published: (2005)

Software testing techniques finding the defects that matter /
Published: (2005)

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

Tools and methods for analysis, debugging, and performance improvement of equation-based models /
by: Sjolund, Martin
Published: (2015)

Software testing : concepts and operations /
by: Mili, Ali, et al.
Published: (2015)

Coder to developer tools and strategies for delivering your software /
by: Gunderloy, Mike
Published: (2004)

Testing in software development /
Published: (1986)

Software testing fundamentals methods and metrics /
by: Hutcheson, Marnie L., 1951-
Published: (2003)

Software testing for conventional and logic programming
by: Jack, Oliver
Published: (1996)

A practitioner's guide to software test design
by: Copeland, Lee
Published: (2004)

The science of debugging
by: Telles, Matthew A.
Published: (2001)

Computational intelligence in software quality assurance
by: Dick, Scott
Published: (2005)

The certified software quality engineer handbook /
by: Westfall, Linda, 1954-
Published: (2009)

Django 1.1 testing and debugging building rigorously tested and bug-free Django applications /
by: Tracey, Karen M.
Published: (2010)

Practical model-based testing a tools approach /
by: Utting, Mark
Published: (2006)

Test-driven development with Mockito /
by: Acharya, Sujoy
Published: (2013)

Crouching tiger quality and its implementation in the Indian and Irish software communities /
by: Keane, Brendan
Published: (2007)

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

Designing and implementing test automation frameworks with QTP /
by: Bhargava, Ashish
Published: (2013)

Debugging Visual FoxPro applications
by: Folsom, Nancy
Published: (2002)

TestNG beginner's guide
by: Menon, Varun
Published: (2013)

Can static type systems speed up programming? an experimental evaluation of static and dynamic type systems /
by: Kleinschmager, Sebastian
Published: (2013)

The software audit guide /
by: Helgeson, John W., 1945-
Published: (2009)

Software design methodology
by: Zhu, Hong, 1961-
Published: (2005)

Component-based software development case studies /
by: Lau, Kung-Kiu
Published: (2004)