Home  |  Search  |  For Researchers  |  For Librarians  |  Customer Service  | Quick Links World Scientific Corporate Home WorldSciNet WorldSciBooks WorldSciNet Archives About Us Contact Us Browse by Subject Architecture and Building Management Asian Studies Business and Management Chemistry Computer Science Economics and Finance Engineering Environmental Science General Interest History of Science Life Sciences Materials Science Mathematics Medicine and Healthcare Nanotechnology and Nanoscience Nonlinear Science Physics Popular Science Social Sciences

AUTOMATED DATABASE APPLICATIONS TESTING Specification Representation for Automated Reasoning CONTENTS FRONT MATTER Rana Farid Mikhail, Donald Berndt and Abraham Kandel i Introduction Rana Farid Mikhail, Donald Berndt and Abraham Kandel 1 SpecDB: A Database Design for Software Specifications Rana Farid Mikhail, Donald Berndt and Abraham Kandel 21 Representing Formal Specifications in SpecDB: A Translation Algorithm Rana Farid Mikhail, Donald Berndt and Abraham Kandel 63 An Automated Constraint Generator Rana Farid Mikhail, Donald Berndt and Abraham Kandel 83 A Reverse Engineering Testing Tool Rana Farid Mikhail, Donald Berndt and Abraham Kandel 99 Enhancing Other Testing Tools Using SpecDB Rana Farid Mikhail, Donald Berndt and Abraham Kandel 125 Conclusion and Future Work Rana Farid Mikhail, Donald Berndt and Abraham Kandel 131 BACK MATTER Rana Farid Mikhail, Donald Berndt and Abraham Kandel 143 Back

Copyright © 2012 World Scientific Publishing Co. All rights reserved.