Search the dblp DataBase

Publications of Author

1. Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem
   Anzu: A Tool for Property Synthesis. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:258-262 [Conf]
   
2. Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
   Interactive presentation: Automatic hardware synthesis from specifications: a case study. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:1188-1193 [Conf]
   
3. 
   Asynchronous Input-Output Conformance Testing. [Citation Graph (, )][DBLP]
   
   
4. 
   Executing Abstract Test Cases. [Citation Graph (, )][DBLP]
   
   
5. 
   A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. [Citation Graph (, )][DBLP]
   
   
6. 
   Using Spectrum-Based Fault Localization for Test Case Grouping. [Citation Graph (, )][DBLP]
   
   
7. 
   Coverage Based Testing with Test Purposes. [Citation Graph (, )][DBLP]
   
   
8. 
   Improving Coverage Based Test Purposes. [Citation Graph (, )][DBLP]
   
   
9. 
   Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. [Citation Graph (, )][DBLP]
   
   
10. 
    Using Observer Automata to Select Test Cases for Test Purposes. [Citation Graph (, )][DBLP]
    
    
11. 
    Unifying Input Output Conformance. [Citation Graph (, )][DBLP]
    
    
12. 
    Test purpose generation in an industrial application. [Citation Graph (, )][DBLP]
    
    
13. 
    When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. [Citation Graph (, )][DBLP]
    
    
14. 
    Specify, Compile, Run: Hardware from PSL. [Citation Graph (, )][DBLP]
    
    
15. 
    Improving Fault-based Conformance Testing. [Citation Graph (, )][DBLP]