Home
About Us
UI Blog
Contact Us
Clipboard & History
Search history (0)
Clipboard (0)
searchable interface
Affiliation
All Fields
Author
Author - First
Author - Identifier
Author - Last
Book
Conflict of Interest Statements
Editor
Issue
Journal
Language
MeSH Terms
Pagination
Publication Type
Publication Year
Publisher
Title
Title/Abstract
Transliterated Title
Volume
Find
Please fill out this field.
Display options
Format
Abstract
PubMed
PMID
Save
Email
Cite
Cite
AMA
APA
MLA
NLM
Copy
Download .nbib
Format:
MLA
AMA
APA
MLA
NLM
Send to
Clipboard
My Bibliography
Collections
Citation Manager
Share it on
Link
Direct link
Direct link
Generating test data from OCL constraints with search techniques.
[No authors listed]
GSID: h31hUM5vZGYJ
Abstract
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances of adoption in industrial contexts …
Save results to a file
No records selected. Please select records to continue.
Format
Summary (text)
PubMed
PMID
Abstract (text)
CSV
Email results
Only first 240 records will be saved in your file.
No records selected. Please select records to continue.
Email subject
UIINDEX - GSID: h31hUM5vZGYJ
Send email to
Format
Summary
Summary (text)
Abstract
Abstract (text)
Captcha
Citation copied successfully.
