Conferences in DBLP

(amost)
2007 (conf/amost/2007)

1. 
   Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]
   
   
2. 
   Automatic generation of model based tests for a class of security properties. [Citation Graph (, )][DBLP]
   
   
3. 
   Combining test case generation for component and integration testing. [Citation Graph (, )][DBLP]
   
   
4. 
   Model-based test prioritization heuristic methods and their evaluation. [Citation Graph (, )][DBLP]
   
   
5. 
   An approach for selective state machine based regression testing. [Citation Graph (, )][DBLP]
   
   
6. 
   Model-based regression test suite generation using dependence analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Using LTL rewriting to improve the performance of model-checker based test-case generation. [Citation Graph (, )][DBLP]
   
   
8. 
   Relating counterexamples to test cases in CTL model checking specifications. [Citation Graph (, )][DBLP]
   
   
9. 
   Test case generation from formal models through abstraction refinement and model checking. [Citation Graph (, )][DBLP]
   
   
10. 
    A subset of precise UML for model-based testing. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards traceability of model-based testing artifacts. [Citation Graph (, )][DBLP]
    
    
12. 
    Test purpose generation in an industrial application. [Citation Graph (, )][DBLP]