Back to Results
First PageMeta Content



Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2
Add to Reading List

Document Date: 2013-07-17 03:25:30

Open Document

File Size: 317,30 KB

Share Result on Facebook

City

the CLP / pi(R / Korat / pi(L / using the ad-hoc test generation tool Korat / /

Currency

pence / /

/

Facility

University of Rome Tor Vergata / /

IndustryTerm

search strategies / ad-hoc filtering-based test generation tools / systematic search / proof search process / ad-hoc test generation tool / search tree / binary search tree / ordinary binary search trees / search space / proof search / software development / transformation tool / Web Services / using ad-hoc filtering-based test generation tools / /

OperatingSystem

GNU / /

Organization

University of Rome / U.S. Securities and Exchange Commission / /

Person

Ai / Tor Vergata / /

ProgrammingLanguage

XML / HTML / Java / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

HTML / Java / /

URL

http /

SocialTag