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, November 2006.

Contact

Besnik Seljimi
Ioannis Parissis

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)