Conferences in DBLP

International Conference on Software Engineering (ICSE) (icse)
2008 (conf/icse/2008ast)

1. 
   Using Model Transformation to Support Model-Based Test Coverage Measurement. [Citation Graph (, )][DBLP]
   
   
2. 
   Requirements-based Test Case Specification by Using Information from Model Construction. [Citation Graph (, )][DBLP]
   
   
3. 
   QR-Model Based Testing. [Citation Graph (, )][DBLP]
   
   
4. 
   Supporting the Selection of Model-based Testing Approaches for Software Projects. [Citation Graph (, )][DBLP]
   
   
5. 
   An EFSM-based Test Generation for Validation of SDL Specifications. [Citation Graph (, )][DBLP]
   
   
6. 
   Test Generation for Graphical User Interfaces Based on Symbolic Execution. [Citation Graph (, )][DBLP]
   
   
7. 
   Generating Security Tests in Addition to Functional Tests. [Citation Graph (, )][DBLP]
   
   
8. 
   A Test Generation Solution to Automate Software Testing. [Citation Graph (, )][DBLP]
   
   
9. 
   An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead. [Citation Graph (, )][DBLP]
   
   
10. 
    A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization. [Citation Graph (, )][DBLP]
    
    
11. 
    Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET. [Citation Graph (, )][DBLP]
    
    
12. 
    An Automated Technique for Risk-based Test Case Generation and Prioritization. [Citation Graph (, )][DBLP]
    
    
13. 
    Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. [Citation Graph (, )][DBLP]
    
    
14. 
    Vision: Testing of Mechatronics Software using Agile Simulation. [Citation Graph (, )][DBLP]
    
    
15. 
    A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software. [Citation Graph (, )][DBLP]