ATGen : automatic test data generation using constraint logic programming and symbolic execution
Meudec, C.
ATGen : automatic test data generation using constraint logic programming and symbolic execution [Journal article] / C. Meudec - John Wiley & Sons, 2001.
From: Software Testing Verification & Reliability, Volume 11(2), June 2001, pages 81-96. The library holds this journal in hardcopy format. Authored by an IT Carlow / Carlow RTC staff member.
Software testing--Periodical articles.
Automatic test data generation--Periodical articles.
Symbolic execution--Periodical articles.
Constraint logic programming--Periodical articles.
IT Carlow / Carlow RTC--Author affiliation.
ATGen : automatic test data generation using constraint logic programming and symbolic execution [Journal article] / C. Meudec - John Wiley & Sons, 2001.
From: Software Testing Verification & Reliability, Volume 11(2), June 2001, pages 81-96. The library holds this journal in hardcopy format. Authored by an IT Carlow / Carlow RTC staff member.
Software testing--Periodical articles.
Automatic test data generation--Periodical articles.
Symbolic execution--Periodical articles.
Constraint logic programming--Periodical articles.
IT Carlow / Carlow RTC--Author affiliation.