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 ...