CA:SP06

Besnik Seljimi, Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, Novembre 2006.

Contact

Besnik Seljimi
Ioannis Parissis

Référence BibTex

@InProceedings{CA:SP06,
   Author = {Seljimi, Besnik and Parissis, Ioannis},
   Title = {Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs},
   BookTitle = {17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)},
   Address = {Raleigh, NC, USA},
   Month = {November},
   Year = {2006}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)