1. INTRODUCTION

2. BOOLEAN SPECIFICATIONS BASED TESTING STRATEGIES - METHODS  
2.1 Experimental steps in empirical analysis of various testing techniques based on Boolean expressions  
2.2 Boolean specification testing techniques  
2.3 Fault based approach  

3. COMPARING BOOLEAN SPECIFICATION TESTING STRATEGIES  

4. CONCLUSIONS