Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was...

 Deadlock Resolution in Computer-Integrated Systems

Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many...

 Just Enough Software Test Automation

Just Enough Test Automation is a practical, hands-on guide to software test automation from the perspective of test developers and users. Two leading software testing consultants offer real-world dos and don'ts for designing and implementing test automati...

  Automated Software Testing Introduction, management and performance

With the urgent demand for rapid turnaround on new software releases--without compromising quality--the testing element of software development must keep pace, requiring a major shift from slow, labor-intensive testing methods to a faster and more thorou...

 Visual basic for testers

The goal of Visual Basic for Testers is to teach the reader how to use Visual Basic to increase their level of sophistication as a tester. They will learn for example how to use VB to write an automated testing project. Along the way, Sweeney shows them w...

 Mastering Unix Shell Scripting

Discover how to solve real-world system administration problems with this collection of end-to-end shell scripts This comprehensive book takes you step-by-step through the process of writing shell scripts to solve real-world Unix problems and tasks. Each ...