******************* 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/[email protected]/. 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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
