[klee-dev] More Information About KLEE

[Nani Hutagaol]

*******************
This email from originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. 
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.
*******************
Hello all..

Sorry for interrupting you all, I'm just new in KLEE and now I'm working on
my last project that discuss about KLEE when generating test case with
non-numerical input.
Before we continue our research about KLEE, we still lack an information
about this tools. I had read a lot of paper about this tools, but I still
can't conclude some information.

May be you will laugh at me when you read my question. But whatever it is,
please help me with this question, because I need it on my project
documentation.
1. The name of this tools KLEE, what kind of things that inspiring you to
make the name to be called KLEE? I see the name of Paul Klee under
https://klee.github.io/, is true this tools name, come from that name?
If it is not true, why should the name to be KLEE?

2. I had read some email from
https://www.mail-archive.com/klee-dev@imperial.ac.uk/. Until now, all the
question just discuss about numerical program. Then, I also read some
publication paper from https://klee.github.io/publications/, but all paper
just talked about numerical program too. So, my question, Is this program
only use for numerical program input? Is it possible to use this tools for
non-numerical program input? If its is possible, is there any publication
discussed about it? Can you give me some insight?

Sorry if I have so many question, but I really need this information to be
the guidelines of what to do in my project.

thank you so much before.

--
Salam
Nani Renova Hutagaol
0895618554836
-------------- next part --------------
HTML attachment scrubbed and removed