Home
Home
Search
Open menu
About
Research
Education
Innovation
Careers
More
Search
About
Toggle About navigation
Organisation
Leadership
Simula Culture
Simula Awards
Milestones
People
News
Research
Toggle Research navigation
Research Areas
Research Departments
Publications
Contract research
Projects
Education
Toggle Education navigation
Simula Academy
Courses & summer schools
Master's students
PhD candidates
Researcher training
Research exchanges
Innovation
Toggle Innovation navigation
Simula Innovation
Simula Consulting
Careers
Toggle Careers navigation
Summer internships
Professional development
Job openings
publications
Challenges in Constraint-Based Testing
Challenges in Constraint-Based Testing
Authors
A. Gotlieb
and
V. Ganesh
Status
Published
Publication type
Presentation
Year of publication
2014
Journal
Selected talk at 'Verification meets CP' workshop 2014, Lyon, France
Publisher
.
Citation key
8882
Google Scholar
BibTex