| Title: | Test-Case Generation for Embedded Simulink via Formal Concept Analysis |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Nannan He |
| Philipp Rümmer | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{hrk2011-dac,
AUTHOR = { He, Nannan
and R{\"u}mmer, Philipp
and Kroening, Daniel },
TITLE = { Test-Case Generation for Embedded {Simulink} via Formal Concept Analysis },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2011 },
PUBLISHER = { ACM },
PAGES = { 224--229 },
ISBN = { 978-1-4503-0636-2 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.