Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Coverage based test-case generation using model checkers
S. Rayadurgam
,
M. P.E. Heimdahl
Computer Science and Engineering
Research output
:
Contribution to conference
›
Paper
›
peer-review
142
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Coverage based test-case generation using model checkers'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Avionics
100%
Software engineering
72%
Specifications
58%
Costs
34%